3053 search results - page 48 / 611 » Hybrid Systems Diagnosis |
HYBRID
2003
Springer
14 years 28 days 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...
HYBRID
2007
Springer
14 years 1 months 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...
CAV
2012
Springer
11 years 10 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...
HYBRID
2000
Springer
13 years 11 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...
SRDS
2007
IEEE
14 years 2 months ago
2007
IEEE
