3823 search results - page 59 / 765 » Stability of Hybrid Systems |
ENGL
2007
13 years 8 months ago
2007
—This paper deals with stabilization of LTI switched systems with input time delay. A description of systems’ stabilization is presented. Common Lyapunov function is introduced...
AUTOMATICA
2004
13 years 8 months ago
2004
A new approach to robust sampled-data control is introduced. The system is modelled as a continuous-time one, where the control input has a piecewise-continuous delay. Su cient li...
AUTOMATICA
2000
13 years 8 months ago
2000
This paper describes a systematic procedure to exponentially stabilize relative equilibria of mechanical systems. We review the notion of relative equilibria and their stability i...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we consider the control of general hybrid systems. In this context we show that time-abstract bisimulation is not adequate for solving such a problem. That is why w...