Optimization-based verification and stability characterization of piecewise affine and hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1790, Issue , 2000, Pages 45-58

  Bemporad, Alberto ^a   Torrisi, Fabio Danilo ^a   Morari, Manfred ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; LINEAR PROGRAMMING; TRAJECTORIES;

ASYMPTOTICAL STABILITY; MIXED INTEGER LINEAR PROGRAMMING; PIECEWISE AFFINE SYSTEMS; SEMI-GLOBAL STABILITY; STABILITY CHARACTERIZATIONS; VERIFICATION ALGORITHMS; VERIFICATION OF HYBRID SYSTEMS; VERIFICATION PROBLEMS;

SYSTEM STABILITY;

EID: 84974658241     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46430-1_8     Document Type: Conference Paper

References (28)

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. Asarin, O. Maler, and A. Pnueli. On the analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science, 138:35-65, 1995.
3. A. Balluchi, M. Di Benedetto, C. Pinello, C. Rossi, and A. Sangiovanni-Vincentelli. Hybrid control for automotive engine management: the cut-off case. In T.A. Henzinger and S. Sastry, editors, Hybrid Systems: Computation and Control, volume 1386 of Lecture Notes in Computer Science, pages 13-32. Springer Verlag, 1998
4. A. Bemporad, G. Ferrari-Trecate, and M. Morari. Observability and controllability of piecewise affine and hybrid systems. IEEE Trans. Automatic Control, to appear. http://control.ethz.ch/.
5. A. Bemporad and M. Morari. Control of systems integrating logic, dynamics, and constraints. Automatica, 35(3):407-427, March 1999.
6. A. Bemporad and M. Morari. Verification of hybrid systems via mathematical programming. In F.W. Vaandrager and J.H. van Schuppen, editors, Hybrid Systems: Computation and Control, volume 1569 of Lecture Notes in Computer Science, pages 31-45. Springer Verlag, 1999.
7. A. Bemporad, M. Morari, V. Dua, and E. N. Pistikopoulos. The explicit linear quadratic regulator for constrained systems. Technical Report AUT99-16, Automatic Control Lab, ETH Zürich, Switzerland, 1999.
8. A. Bemporad and F.D. Torrisi. Inner and outer approximation of polytopes using hyper-rectangles. Technical Report AUT00-02, Automatic Control Lab, ETH Zurich, 2000.
9. V.D. Blondel and J.N. Tsitsiklis. Complexity of stability and controllability of elementary hybrid systems. Automatica, 35:479-489, March 1999.
10. M. S. Branicky. Studies in hybrid systems: modeling, analysis, and control. PhD thesis, LIDS-TH 2304, Massachusetts Institute of Technology, Cambridge, MA, 1995.
11. M. S. Branicky. Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. Automatic Control, 43(4):475-482, April 1998.
12. K. Fukuda. cdd/cdd+ Reference Manual. Institute for operations Research ETHZentrum, ETH-Zentrum, CH-8092 Zurich, Switzerland, 0.61 (cdd) 0.75 (cdd+) edition, December 1997.
13. E.G. Gilbert and I. Kolmanovsky. Maximal output admissible sets for discretetime systems with disturbance inputs. In Proc. American Contr. Conf., pages 2000-2005, 1995.
14. E.G. Gilbert and K. Tin Tan. Linear systems with state and control constraints: the theory and applications of maximal output admissible sets. IEEE Trans. Automatic Control, 36(9):1008-1020, 1991.
15. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: a model checker for hybrid systems. Software Tools for Technology Transfer, 1:110-122, 1997.
16. M. Johannson and A. Rantzer. Computation of piece-wise quadratic Lyapunov functions for hybrid systems. IEEE Trans. Automatic Control, 43(4):555-559, 1998.
17. M. Kantner. Robust stability of piecewise linear discrete time systems. In Proc. American Contr. Conf., pages 1241-1245, Evanston, IL, USA, 1997.
18. Y. Kesten, A. Pnueli, J. Sifakis, and S. Yovine. Integration graphs: a class of decidable hybrid systems. In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, editors, Hybrid Systems, volume 736 of Lecture Notes in Computer Science, pages 179-208. Springer Verlag, 1993.
19. S. Kowalewski, O. Stursberg, M. Fritz, H. Graf, I. Hoffmann, J. Preußig, M. Remelhe, S. Simon, and H. Treseler. A case study in tool-aided analysis of discretely controlled continuos systems: the two tanks problem. In Hybrid Systems V, volume 1567 of Lecture Notes in Computer Science, pages 163-185. Springer-Verlag, 1999.
20. D. Liberzon and A.S. Morse. Basic problems in stability and design of switched systems. IEEE Control Systems Magazine, 19(5):59-70, October 1999.
21. J. Lygeros, D.N. Godbole, and S. Sastry. A game theoretic approach to hybrid system design. In R. Alur and T. Henzinger, editors, Hybrid Systems III, volume 1066 of Lecture Notes in Computer Science, pages 1-12. Springer Verlag, 1996.
22. J. Lygeros, C. Tomlin, and S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3):349-370, 1999.
23. R. Raman and I. E. Grossmann. Relation between milp modeling and logical inference for chemical process synthesis. Computers Chem. Engng., 15(2):73-84, 1991.
24. E. Sontag. From linear to nonlinear: Some complexity comparisons. In Proc. 34th IEEE Conf. on Decision and Control, pages 2916-2920, 1995.
25. E. D. Sontag. Nonlinear regulation: The piecewise linear approach. IEEE Trans. Automatic Control, 26(2):346-358, April 1981.
26. E.D. Sontag. Interconnected automata and linear systems: A theoretical framework in discrete-time. In R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Hybrid Systems III - Verification and Control, number 1066 in Lecture Notes in Computer Science, pages 436-448. Springer-Verlag, 1996.
27. M.L. Tyler and M. Morari. Propositional logic in control and monitoring problems. Automatica, 35(4):565-582, 1999.
28. V. I. Utkin. Variable structure systems with sliding modes. IEEE Trans. Automatic Control, 22(2):212-222, April 1977.