Sciweavers

1127 search results - page 61 / 226
» A Dynamical Systems Approach to Behavior-Based Formation Con...
Sort
View
ICSE
1999
IEEE-ACM
14 years 1 months ago
Information Survivability Control Systems
We address the dependence of critical infrastructures— including electric power, telecommunications, finance and transportation—on vulnerable information systems. Our approach...
Kevin J. Sullivan, John C. Knight, Xing Du, Steve ...
ICRA
2007
IEEE
189views Robotics» more  ICRA 2007»
14 years 3 months ago
Context Estimation and Learning Control through Latent Variable Extraction: From discrete to continuous contexts
— Recent advances in machine learning and adaptive motor control have enabled efficient techniques for online learning of stationary plant dynamics and it’s use for robust pre...
Georgios Petkos, Sethu Vijayakumar
ERCIMDL
1999
Springer
121views Education» more  ERCIMDL 1999»
14 years 1 months ago
An Indexing, Browsing, Search and Retrieval System for Audiovisual Libraries
This paper describes an application which enables the computer-assisted generation of Dublin Core-based metadata descriptions and online digital visual summaries for videos. It is...
Jane Hunter, Jan Newmarch
FORMATS
2006
Springer
14 years 16 days ago
Temporal Logic Verification Using Simulation
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
Georgios E. Fainekos, Antoine Girard, George J. Pa...
HASE
1998
IEEE
14 years 1 months ago
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
Ragavan Manian, Joanne Bechta Dugan, David Coppit,...