4434 search results - page 31 / 887 » On the Composition of Hybrid Systems |
167
click to vote
HYBRID
2007
Springer
16 years 7 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...
141
click to vote
IPPS
2007
IEEE
16 years 12 days ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
148
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
We describe a hybrid planar image-based servo algorithm which, for a simplified planar convex rigid body, converges to a static goal for all initial conditions within the workspac...
143
Voted
HYBRID
2009
Springer
16 years 26 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...