2364 search results - page 19 / 473 » On O-Minimal Hybrid Systems |
165
click to vote
HYBRID
2009
Springer
16 years 29 days 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...
167
click to vote
HYBRID
2007
Springer
16 years 9 days 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...
133
click to vote
HYBRID
2003
Springer
15 years 11 months 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...
144
click to vote
HYBRID
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodical...
155
click to vote
ENTCS
2008
15 years 6 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...