3053 search results - page 106 / 611 » Hybrid Systems Diagnosis |
EUROCAST
2001
Springer
14 years 2 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...
ENTCS
2008
13 years 10 months ago
2008
HYPE is a process algebra developed to model hybrid systems
CDC
2008
IEEE
14 years 4 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...
CDC
2008
IEEE
14 years 4 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...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— In this paper, we consider a motion planning problem for a class of constrained nonlinear systems. In each simplex of a triangulation of the set of states, the nonlinear dynami...