4985 search results - page 18 / 997 » Observation of String-Rewriting Systems |
HYBRID
2003
Springer
14 years 25 days ago
2003
Springer
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...
DSRT
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— We report an autonomous observation system with multiple pan-tilt-zoom (PTZ) cameras assisted by a fixed wideangle camera. The wide-angle camera provides large but low resolut...
CDC
2009
IEEE
13 years 8 months ago
2009
IEEE
The presented work addresses the observation problem for a large class of nonlinear systems, including systems which are nonlinear in the unmeasured states. Assuming partial state ...
SIAMCO
2002
13 years 7 months ago
2002
The paper introduces a new detectability concept for continuous-time Markov jump linear systems with finite Markov space that generalizes previous concepts found in the literature....