14190 search results - page 89 / 2838 » Abstractions for hybrid systems |
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
— Analyses of position and force control laws in the case of perfectly rigid bodies have been made so far with strong assumptions on the state of the contacts such as supposing t...
ENTCS
2008
14 years 12 months ago
2008
HYPE is a process algebra developed to model hybrid systems
CDC
2008
IEEE
15 years 6 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...
105
click to vote
CDC
2008
IEEE
15 years 6 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...
103
click to vote
IJCAI
2001
15 years 1 months ago
2001
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...