Sciweavers

4971 search results - page 11 / 995
» Observation systems
Sort
View
AIIA
2005
Springer
14 years 1 months ago
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
Alban Grastien, Marie-Odile Cordier, Christine Lar...
CSMR
2003
IEEE
14 years 23 days ago
Using Observation and Refinement to Improve Distributed Systems Test
Testing a distributed system is difficult. Good testing depends on both skill and understanding the system under test. We have developed a method to observe the system at the CORB...
Johan Moe, David A. Carr, Mikael Patel
CDC
2008
IEEE
169views Control Systems» more  CDC 2008»
13 years 9 months ago
Control of underactuated mechanical systems: Observer design and position feedback stabilization
We identify a class of mechanical systems for which a globally exponentially stable reduced order observer can be designed. The class is characterized by (the solvability of) a set...
Aneesh Venkatraman, Romeo Ortega, Ioannis Sarras, ...
DNA
2004
Springer
165views Bioinformatics» more  DNA 2004»
14 years 26 days ago
Computing by Observing Bio-systems: The Case of Sticker Systems
Abstract. A very common approach in chemistry and biology is to observe the progress of an experiment, and take the result of this observation as the final output. Inspired by thi...
Artiom Alhazov, Matteo Cavaliere
HYBRID
2003
Springer
14 years 21 days ago
Observability of Linear Hybrid Systems
We analyze the observability of the continuous and discrete states of continuous-time linear hybrid systems. For the class of jumplinear systems, we derive necessary and sufficient...
René Vidal, Alessandro Chiuso, Stefano Soat...