2377 search results - page 24 / 476 » Hybrid Systems in TLA |
HYBRID
1995
Springer
13 years 11 months ago
1995
Springer
This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper, we consider hybrid models of mechanical systems undergoing impacts — Lagrangian hybrid systems, and study their periodic orbits in the presence of Zeno b...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
HYBRID
2003
Springer
14 years 17 days ago
2003
Springer
We analyze the observability of the continuous and discrete states of continuous-time linear hybrid systems. For the class of jumplinear systems, we derive necessary and sufficient...