Reachability and control synthesis for piecewise-affine hybrid systems on simplices

IEEE Transactions on Automatic Control

Volumn 51, Issue 6, 2006, Pages 938-948

  Habets, Luc C G J M ^a,b   Collins, Pieter J ^b   van Schuppen, Jan H ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b CWI   (Netherlands)

Author keywords

Discrete event system (DES); Exit facet; Piecewise affine hybrid systems; Reachability; Simplex; Stability

Indexed keywords

ALGORITHMS; DISCRETE TIME CONTROL SYSTEMS; DYNAMIC PROGRAMMING; LINEAR ALGEBRA; PIECEWISE LINEAR TECHNIQUES;

DISCRETE-EVENT SYSTEM (DES); EXIT FACET; PIECEWISE-AFFINE HYBRID SYSTEMS; REACHABILITY;

CONTROL SYSTEM SYNTHESIS;

EID: 33745700843     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2006.876952     Document Type: Article

References (32)

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. Hybrid systems," in Lecture Notes in Computer Science, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. Berlin, Germany: Springer-Verlag, 1993, vol. 736, pp. 209-229.
2. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theoret. Comput. Sci., vol. 138, pp. 3-34, 1995.
3. E. Asarin, O. Bournez, T. Dang, and O. Maler, "Approximate reachability analysis of piecewise-linear hybrid systems," in Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, N. Lynch and B. H. Krogh, Eds. Berlin, Germany: Springer-Verlag, 2000, vol. 1790, pp. 20-31.
4. C. Belta, L. C. G. J. M. Habets, and V. Kumar, "Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks," in Proc. 41st IEEE Conf. Decision and Control, New York, 2002, pp. 534-539, IEEE Press.
5. A. Bemporad, G. Ferrari-Trecate, and M. Morari, "Observability and controllability of piecewise affine and hybrid systems," in Proc. 38th IEEE Conf. Decision and Control, New York, 1999, pp. 3966-3971, IEEE Press.
6. A. Bemporad and M. Morari, "Control of systems integrating logic, dynamics, and constraints," Automatica, vol. 35, pp. 407-427, 1999.
7. M. D. Di Benedetto and A. Sangiovanni-Vincentelli, Eds., Hybrid Systems: Computation and Control (HSCC2001). Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 2001, vol. 2034.
8. N. P. Bhatia and G. P. Szegö, Stability Theory of Dynamical Systems. Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen. Berlin, Germany: Springer-Verlag, 1970, vol. 161.
9. C. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, MA: Kluwer, 1999.
10. F. H. Clarke, Y. S. Ledyaev, R. J. Stern, and P. R. Wolenski, "Nonsmooth analysis and control theory," in Graduate Texts in Mathematics. New York: Springer-Verlag, 1998, vol. 178.
11. B. Grünbaum, "Convex polytopes," in Graduate Texts in Mathematics, 2nd ed. New York: Springer-Verlag, 2003, vol. 221.
12. L. C. G. J. M. Habets and J. H. van Schuppen, "Control of piecewise-linear hybrid systems on simplices and rectangles," in Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, M. D. Di Benedetto and A. Sangiovanni-Vincentelli, Eds. Berlin, Germany: Springer-Verlag, 2001, vol. 2034, pp. 261-274.
13. L. C. G. J. M. Habets and J. H. van Schuppen, "A controllability result for piecewise-linear hybrid systems," in Proc. Eur. Control Conf. (ECC2001), 2001, pp. 3870-3873.
14. L. C. G. J. M. Habets and J. H. van Schuppen, "Reduction of affine systems on polytopes," in Proc. Int. Symp. MTNS 2002, 2002.
15. L. C. G. J. M. Habets and J. H. van Schuppen, "A control problem for affine dynamical systems on a full-dimensional polytope," Automatica, vol. 40, pp. 21-35, 2004.
16. T. A. Henzinger, "Hybrid automata with finite bisimulations," in ICALP 95: Proc. Int. Colloquium on Automata, Languages, and Programming, Z. Fülöp and F. Gécseg, Eds., Berlin, Germany, 1995, vol. 944, pp. 324-335, Springer-Verlag.
17. T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya, "What's decidable about hybrid automata?," J. Comput. Syst. Sci., vol. 57, pp. 97-124, 1998.
18. T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, "Symbolic model checking for real-time systems," Inform. Comput., vol. 111, pp. 193-244, 1994.
19. E. Hille, Lectures on Ordinary Differential Equations. Reading, MA: Addison-Wesley, 1969.
20. B. Jeannet, Convex polyhedral library Verimag, Grenoble, France, 1999, Tech. Rep..
21. J. Kapinski, B. H. Krogh, O. Maler, and O. Stursberg, "On systematic simulation of open continuous systems," in Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, O. Maler and A. Pnueli, Eds. Berlin, Germany: Springer-Verlag, 2003, vol. 2623, pp. 283-297.
22. G. Lafferriere, G. J. Pappas, and S. Sastry, "O-minimal hybrid systems," Math. Control Signals Syst., vol. 13, pp. 1-21, 2000.
23. N. Lynch and B. H. Krogh, Eds., Hybrid Systems: Computation and Control (HSCC2000). Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 2000, vol. 1790.
24. O. Maler and A. Pnueli, Eds., Hybrid Systems: Computation and Control (HSCC2003). Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 2003, vol. 2623.
25. J. H. van Schuppen, "A sufficient condition for controllability of a class of hybrid systems," in Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, T. A. Henzinger and S. Sastry, Eds. Berlin, Germany: Springer-Verlag, 1998, vol. 1386, pp. 374-383.
26. E. H. Snoussi, "Qualitative dynamics of piecewise-linear differential equations: A discrete mapping approach," Dyna. Stabil. Syst., vol. 4, pp. 189-207, 1989.
27. E. D. Sontag, "Nonlinear regulation: The piecewise linear approach," IEEE Trans. Autom. Control, vol. AC-26, no. 4, pp. 346-358, Apr. 1981.
28. E. D. Sontag, "Remarks on piecewise-linear algebra," Pacific J. Math., vol. 98, pp. 183-201, 1982.
29. E. D. Sontag, "From linear to nonlinear: Some complexity questions," in Proc. 34th IEEE Conf. Decision and Control, New York, 1995, pp. 2916-2920, IEEE Press.
30. E. D. Sontag, "Interconnected automata and linear systems: A theoretical framework in discrete-time," in Hybrid Systems III: Verification and Control. Lecture Notes in Computer Science R. Alur, T. A. Henzinger, and E. D. Sontag, Eds. Berlin, Germany: Springer-Verlag, 1996, vol. 1066, pp. 436-448.
31. P. Varaiya, "Reachset computation using optimal control," in Proc. KIT Workshop, Grenoble, France, 1998, Verimag.
32. D. K. Wilde, A Library for Doing Polyhedral Operations. Rennes, France: Publication Interne, 1993, vol. 785, IRISA.