4434 search results - page 35 / 887 » On the Composition of Hybrid Systems |
141
click to vote
HYBRID
2007
Springer
16 years 7 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...
174
Voted
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...
176
click to vote
HYBRID
2007
Springer
16 years 7 days ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...
168
click to vote
WSC
2007
15 years 8 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...