-
1
-
-
0036209055
-
Lie-algebraic stability criteria for switched systems
-
Andrei A. Agrachev and Daniel Liberzon. Lie-algebraic stability criteria for switched systems. SIAM Jour. Ctr. Opt., 40:253-269, 2001.
-
(2001)
SIAM Jour. Ctr. Opt
, vol.40
, pp. 253-269
-
-
Agrachev, A.A.1
Liberzon, D.2
-
2
-
-
0000050873
-
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
-
R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems I, of, Springer Verlag
-
Alur, R., C. Courcoubetis, T.A. Henzinger, and P.-H. Ho. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems I, volume 736 of Lecture Notes in Computer Science, pages 209-229. Springer Verlag, 1993.
-
(1993)
Lecture Notes in Computer Science
, vol.736
, pp. 209-229
-
-
Alur, R.1
Courcoubetis, C.2
Henzinger, T.A.3
Ho, P.-H.4
-
4
-
-
0028738799
-
Stability of switched and hybrid systems
-
Orlando, FL
-
Michael S. Branicky. Stability of switched and hybrid systems. In Proc. 33rd IEEE Conf. Decision and Control, pages 3498-3503, Orlando, FL, 1994.
-
(1994)
Proc. 33rd IEEE Conf. Decision and Control
, pp. 3498-3503
-
-
Branicky, M.S.1
-
5
-
-
0032047505
-
Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
-
Michael S. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. Aut. Contr., 43:475-482, 1998.
-
(1998)
IEEE Trans. Aut. Contr
, vol.43
, pp. 475-482
-
-
Branicky, M.S.1
-
6
-
-
33646910241
-
Perspectives and results on the stability and stabilizability of hybrid systems
-
DeCarlo, Raymond A., Michael S. Branicky, Stefan Pettersson, and Bengt Lennartson. Perspectives and results on the stability and stabilizability of hybrid systems. In Proc. of the IEEE, volume 88, pages 1069-1082, 2000.
-
(2000)
Proc. of the IEEE
, vol.88
, pp. 1069-1082
-
-
DeCarlo, R.A.1
Branicky, M.S.2
Pettersson, S.3
Lennartson, B.4
-
7
-
-
0029701554
-
The theory of hybrid automata
-
Thomas A. Henzinger. The theory of hybrid automata. In Proceedings LICS'96, pages 278-292, 1996.
-
(1996)
Proceedings LICS'96
, pp. 278-292
-
-
Henzinger, T.A.1
-
9
-
-
0003620778
-
-
Adisson-Wesley, second edition
-
Rajeev Motwani Hopcroft, John E. and Jeffrey D. Ullman. Introduction to Automata Theory, Languages, and Computation. Adisson-Wesley, second edition, 2001.
-
(2001)
Introduction to Automata Theory, Languages, and Computation
-
-
Motwani, R.1
Hopcroft, J.E.2
Ullman, J.D.3
-
10
-
-
0032045898
-
Computation of piecewise quadratic Lyapunov functions for hybrid systems
-
Mikael Johansson and Anders Rantzer. Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Trans. Aut. Contr., 43:555-559, 1998.
-
(1998)
IEEE Trans. Aut. Contr
, vol.43
, pp. 555-559
-
-
Johansson, M.1
Rantzer, A.2
-
11
-
-
84865131521
-
Design of stabilizing switching control laws for discrete and continuous-time linear systems using piecewise-linear Lyapunov functions
-
ISIS-2001-002, ISIS, 2001
-
Xenofon D. Koutsoukos and Panos J. Antsaklis. Design of stabilizing switching control laws for discrete and continuous-time linear systems using piecewise-linear Lyapunov functions. Technical Report ISIS Technical Report ISIS-2001-002, ISIS, 2001.
-
Technical Report ISIS Technical Report
-
-
Koutsoukos, X.D.1
Antsaklis, P.J.2
-
12
-
-
0033311181
-
Basic problems in stability and design of switched systems
-
Daniel Liberzon and A. Stephen Morse. Basic problems in stability and design of switched systems. IEEE Control Systems Magazine, 19:59-70, 1999.
-
(1999)
IEEE Control Systems Magazine
, vol.19
, pp. 59-70
-
-
Liberzon, D.1
Stephen Morse, A.2
-
14
-
-
0032786193
-
Recent trends in the stability analysis of hybrid dynamical systems
-
Anthony N. Michel. Recent trends in the stability analysis of hybrid dynamical systems. IEEE Transactions on Circuits and Systems - I, 45:120-134, 1999.
-
(1999)
IEEE Transactions on Circuits and Systems - I
, vol.45
, pp. 120-134
-
-
Michel, A.N.1
-
15
-
-
0034438514
-
Stability and stabilization of piecewise affine and hybrid systems: An LMI approach
-
Giancarlo Ferrari-Trecate Mignone, Domenico and Manfred Morari. Stability and stabilization of piecewise affine and hybrid systems: an LMI approach. In Proceedings 39th IEEE CED, pages 504-509, 2000.
-
(2000)
Proceedings 39th IEEE CED
, pp. 504-509
-
-
Ferrari-Trecate, G.1
Mignone, D.2
Morari, M.3
-
18
-
-
0347374695
-
Introduction to mathematical systems theory: A behavioral approach
-
of, Springer, New York NY, USA
-
J.W. Polderman and J.C. Willems. Introduction to mathematical systems theory: a behavioral approach, volume 26 of Texts in Applied Mathematics. Springer, New York NY, USA, 1998.
-
(1998)
Texts in Applied Mathematics
, vol.26
-
-
Polderman, J.W.1
Willems, J.C.2
-
20
-
-
0032050689
-
Stability theory for hybrid dynamical systems
-
Anthony N. Michel Ye, Hui and Ling Hou. Stability theory for hybrid dynamical systems. IEEE Trans. Aut. Contr., 43:461-474, 1998.
-
(1998)
IEEE Trans. Aut. Contr
, vol.43
, pp. 461-474
-
-
Michel, A.N.1
Ye, H.2
Hou, L.3
|