Computation Observability Regions for Discrete-time Hybrid Systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 2003, Pages 1153-1158

  Ferrari Trecate, Giancario ^a   Gati, Mehdi ^b  

^a INRIA   (France)

^b RENAULT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; LINEAR SYSTEMS; MATHEMATICAL PROGRAMMING; OBSERVABILITY; PREDICTIVE CONTROL SYSTEMS; SET THEORY; VECTORS;

HYBRID SYSTEMS; MIXED LOGIC DYNAMICAL (MLD) SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 1542329076     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. R. Alur, C. Courcoubetis, T.A. Henzinger, and P.H. Ho. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In A.P. Ravn R.L. Grossman, A. Nerode and H. Rischel, editors, Hybrid Systems, volume 736 of Lecture notes in computer Science, pages 209-229. Springer Verlag, 1993.
2. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, and A.L. Savgiovanni-Vincentelli. Design observers for hybrid systems. In C. J. Tomlin and M. R. Greenstreet, editors, Proc. 5th International Workshop on Hybrid Systems: Computation and Control, volume 2289 of Lecture Notes in Computer Science, pages 76-89. Springer-Verlag, 2002.
3. A. Bemporad, G. Ferrari-Trecate, and M. Morari. Observability and Controllability of Piecewise Affine and Hybrid Systems. IEEE Trans. Autom. Control, 45(10):1864-1876, 2000.
4. A. Bemporad and M. Morari. Control of systems integrating logic, dynamics, and constraints. Automatica, 35(3):407-428, March 1999.
5. V.D. Blondel and J.N. Tsitsiklis. Complexity of stability and controllability of elementary hybrid systems. Automatica, 35:479-489, March 1999.
6. F. Borrelli. Discrete Time Constrained Optimal Control, volume 290 of Lecture Notes in Control and Information Sciences. Springer-Verlag, 2003.
7. M.S. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. Autom. Control, 43(4):475-482, April 1998.
8. M.S. Branicky, V.S. Borkar, and S.K. Mitter. A unified framework for hybrid control: model and optimal control theory. IEEE Transactions on Automatic Control, 43(1):31-45, January 1998.
9. V. Dua and E.N. Pistikopoulos. An algorithm for the solution of multiparametric mixed-integer linear programming problems. Annals of Operation Research, 2003. To appear.
10. J. Ezzine and A.H. Haddad. On the controllability and observability of hybrid systems. Int. J. Control, 49:2045-2055, 1989.
11. G. Ferrari-Trecate, F.A. Cuzzola, D. Mignone, and M. Morari. Analysis of discrete-time piecewise affine and hybrid systems. Automatica, 38(12):2139-2146, 2002.
12. G. Ferrari-Trecate, E. Gallestey, P. Letizia, M. Spedicato, M. Morari, and M. Antoine. Modeling and control of co-generation power plants: A hybrid system approach. In C. J. Tomlin and M. R. Greenstreet, editors, Proc. 5th International Workshop on Hybrid Systems: Computation and Control, volume 2289 of Lecture Notes in Computer Science, pages 209-224. Springer-Verlag, 2002.
13. G. Ferrari-Trecate, D. Mignone, and M. Morari. Moving horizon estimation for hybrid systems. IEEE Trans. Autom. Contr., 47(10): 1663-1676, 2002.
14. W.P.M.H Heemels, J.M. Schumacher, and S. Weiland. Linear Complementarity Systems. SIAM Journal on Applied Mathematics, 60(4): 1234-1269, 2000.
15. J.P. Hespanha, D. Liberzon, and E.D. Sontag. Nonlinear observability and an invariance principle for switched systems. 41st IEEE Conference on Decision and Control, pages 4300, 4305, 2002.
16. M. Johannson and A. Rantzer. Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Trans. Autom. Control, 43(4):555-559, 1998.
17. D. Liberzon and A. S. Morse. Basic Problems in Stability and Design of Switched Systems. IEEE Control Systems Magazine, 19(5), 1999.
18. J. Lygeros, C. Tomlin, and S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3):349-370, 1999.
19. R. Vidal, A. Chiuso, and S. Soatto. Observability and Identifiability of Jump Linear Systems. 41st IEEE Conference on Decision and Control, pages 3614-3619, 2002.