4693 search results - page 99 / 939 » Verifying Hybrid Systems |
87
Voted
ASPDAC
2010
ACM
14 years 10 months ago
2010
ACM
Abstract-- A generalized Hamiltonian method (GHM) was recently proposed for the passivity test of hybrid descriptor systems [1]. This paper extends the GHM theory to its S-paramete...
136
click to vote
EUROCAST
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
69
Voted
ENTCS
2008
15 years 22 days ago
2008
HYPE is a process algebra developed to model hybrid systems
80
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper presents both necessary and sufficient conditions for the stability of Zeno equilibria in Lagrangian hybrid systems, i.e., hybrid systems that model mechanical syst...
114
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper is focused on adapting symmetry reduction, a technique that is highly successful in traditional model checking, to stochastic hybrid systems. To that end, we first sho...