613 search results - page 2 / 123 » Observability of Linear Hybrid Systems |
181
Voted
HYBRID
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. We study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbi...
222
click to vote
HYBRID
2003
Springer
16 years 18 days ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
146
Voted
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
172
Voted
HYBRID
2004
Springer
16 years 24 days ago
2004
Springer