3053 search results - page 48 / 611 » Hybrid Systems Diagnosis |
147
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract−Stabilization of uncertain hybrid systems with controllable transitions is considered. Uncertainty enters in the form of a disturbance input that can affect both the co...
142
click to vote
HYBRID
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. A measure differential inclusion (MDI) based modeling approach for rigidbody mechanical systems will be introduced, that can exhibit autonomous or controlled mode transi...
175
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
158
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
This paper studies the existence of solutions to a class of hybrid automata in which the underlying continuous dynamics are represented by inhomogeneous linear time-invariant syste...
