3823 search results - page 47 / 765 » Stability of Hybrid Systems |
HYBRID
1997
Springer
14 years 26 days ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
DEDS
2008
13 years 8 months ago
2008
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...
HYBRID
2007
Springer
14 years 2 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 11 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
14 years 9 days 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...