231 search results - page 28 / 47 » Continuity controlled hybrid automata |
127
click to vote
ADAEUROPE
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
80
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
Multiple-pursuer multiple-evader games raise fundamental and novel problems in control theory and robotics. In this paper, we propose a distributed solution to this problem that si...
AUTOMATICA
2008
14 years 12 months ago
2008
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
LFCS
2007
Springer
15 years 5 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...