Computation of Maximal Safe Sets for Switching Systems

IEEE Transactions on Automatic Control

Volumn 49, Issue 2, 2004, Pages 184-195

  De Santis, Elena ^a   Di Benedetto, Maria Domenica ^a   Berardi, Luca ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Controlled invariance; Hybrid systems; Idle speed control; Inner approximations; Safety constraints; Switching systems

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL METHODS; CONSTRAINT THEORY; CONTROL SYSTEM ANALYSIS; DISCRETE TIME CONTROL SYSTEMS; GRAPH THEORY; LINEAR CONTROL SYSTEMS; MATHEMATICAL MODELS; NUMBER THEORY; PROBLEM SOLVING; SPEED CONTROL;

CONTROLLED INVARIANCE; HYBRID SYSTEMS; SAFETY CONSTRAINTS;

SWITCHING SYSTEMS;

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

References (36)

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 Hybrid Systems, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Risehel, Eds. New York: Springer-Verlag, 1993, Lecture Notes in Computer Science, pp. 366-393.
2. J. P. Aubin, Viability Theory. Boston, MA: Birkhauser, 1991.
3. A. Balluchi, M. D. Di Benedetto, C. Pinello, C. Rossi, and A. San-giovanni-Vincentelli, "Hybrid control in automotive applications: The cut-off control," Automatica, vol. 35, 1999.
4. G. Basile and G. Marro, "On the robust controlled invariant," Syst. Control Lett., no. 9, pp. 191-195, 1987.
5. A. Bemporad, G. Ferrari-Trecate, and M. Morari, "Observability and controllability of piecewise affine and hybrid systems," IEEE Trans. Automat. Contr., vol. 45, pp. 1864-1876, Oct. 2000.
6. L. Berardi, E. De Santis, and M. D. Di Benedetto, "Hybrid systems with safety specifications: Procedures for the computation and approximations of controlled invariant sets," Univ. L'Aquila, Dept. Elect. Eng., Res. Rep. no. R.03-66, 2003.
7. _, "A structural approach to the control of switching systems with an application to engine control," presented at the 38th IEEE Conf. Decision Control, Phoenix, AZ, Dec. 7-10, 1999.
8. L. Berardi, E. De Santis, M. D. Di Benedetto, and G. Pola, "Controlled safe sets for continuous time linear systems," in Proc. Eur. Control Conf. 2001, Porto, Sept. 4-7, 2001, pp. 803-808.
9. D. P. Bertsekas and I. B. Rhodes, "On the minimax reachability of target sets and target tubes," Automatica, vol. 7, pp. 233-247, 1971.
10. F. Blanchini, "Constrained control for systems with unknown disturbances," in Control and Dynamic Systems, C. T. Leondes, Ed. New York: Academic, 1992, vol. 51.
11. _, "Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions," IEEE Trans. Automat. Contr., vol. 39, pp. 428-433, Mar. 1994.
12. _, "Set invariance in control - A survey," Automatica, vol. 35, no. 11, pp. 1747-1768, Nov. 1999.
13. M. Broucke, "A geometric approach to bisimulation and verification of hybrid systems," in Proc. HSCC'99, Hybrid Systems: Computation Control, vol. 1569, Lecture Notes in Computer Science, F. Vaandrager and J. H. van Schuppen, Eds., 1999, pp. 61-75.
14. P. Caravani and E. De Santis, "Doubly invariant equilibria of linear discrete time games," Automatica, vol. 38, pp. 1531-1538, 2002.
15. A. Chutinan and B. H. Krogh, "Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations," in Proc. HSCC'99, Hybrid Systems: Computation and Control, vol. 1569, Lecture Notes in Computer Science, F. Vaandrager and J. H. van Schuppen, Eds., 1999, pp. 76-90.
16. P. d'Alessandro and E. De Santis, "Controlled invariance and feedback laws," IEEE Trans. Automat. Contr., vol. 46, pp. 1141-1146, July 2001.
17. T. Dang, "Vérification et synthèse des systèmes hybrides," Ph.D. dissertation, Institut National Polytechnique de Grenoble (Verimag), Grenoble, France, 2000.
18. T. Dang and O. Maler, "Reachability analysis via face lifting, " in Proc. 1st Int. Workshop, HSCC'98, Hybrid Systems: Computation Control, vol. 1386, Lecture Notes in Computer Science, S. Sastry and T. Henzinger, Eds., 1998, pp. 96-109.
19. E. De Santis, "On maximal invariant sets for discrete time linear systems with disturbances," presented at the 3rd IEEE Med. Symp., Cyprus, Greece, 1995.
20. C. E. T. Dorea and J. C. Hennet, "Computation of maximal admissible sets of constrained linear systems," in Proc. 4th IEEE Med. Symp., Krete, Greece, 1996, pp. 286-291.
21. _, "(A, B)-Invariance conditions of polyhedral domains for continuous-time systems," Eur. J. Control, vol. 5, pp. 70-81, 1999.
22. L. Farina and L. Benvenuti, "Invariant polytopes of linear systems," IMA J. Math. Control, Inform., vol. 15, pp. 233-240, 1998.
23. M. Greenstreet and I. Mitchell, "Reachability analysis using polygonal projections," in HSCC'99, Hybrid Systems: Computation Control, vol. 1569, Lecture Notes in Computer Science, F. Vaandrager and J. H. van Schuppen, Eds., 1999, pp. 103-116.
24. P. O. Gutman and M. Cwikel, "Admissible sets and feedback control for discrete-time linear dynamical systems with bounded controls and states," IEEE Trans. Automat. Contr., vol. AC-31, pp. 373-376, Mar. 1986.
25. S. S. Keerthi and E. G. Gilbert, "Computation of minimum-time feedback control laws for discrete-time systems with state-control constraints," IEEE Trans. Automat. Contr., vol. AC-32, pp. 432-435, Mar. 1987.
26. J. L. Kelley and I. Namioka, Linear Topological Spaces. New York: Springer-Verlag, 1963.
27. A. B. Kurzhanski and P. Varaiya, "Ellipsoidal techniques for reachability analysis," in Proc. 3rd Int. Workshop, HSCC'00, Hybrid Systems: Computation Control, vol. 1790, Lecture Notes in Computer Science, N. Lynch and B. H. Krogh, Eds., 2000, pp. 202-214.
28. J. Lygeros, C. Tomlin, and S. Sastry, "Controllers for reachability specifications for hybrid systems," Automatica, vol. 35, 1999.
29. I. Mitchell and C. Tomlin, "Level set methods for computation in hybrid systems," in Proc. 3rd Int. Workshop, HSCC'00, Hybrid Systems: Computation Control, vol. 1790, Lecture Notes in Computer Science, N. Lynch and B. H. Krogh, Eds., 2000, pp. 310-323.
30. _, "Validating a Hamilton-Jacobi approximation to reachable sets," in Proc. 4th Int. Workshop, HSCC'01, Hybrid Systems: Computation Control, vol. 2034, Lecture Notes in Computer Science, M. D. Di Benedetto and A. Sangiovanni-Vincentelli, Eds., 2001, pp. 418-432.
31. A. S. Morse, "Supervisory control of families of linear set-point controllers - Part 1: Exact matching," IEEE Trans. Automat. Contr., vol. 41, pp. 1413-1431, Oct. 1996.
32. O. Shakernia, G. P. Pappas, and S. Sastry, "Decidable controller synthesis for classes of linear systems," in Proc. 3rd Int. Workshop, HSCC'00, Hybrid Systems: Computation Control, vol. 1790, Lecture Notes in Computer Science, N. Lynch and B. H. Krogh, Eds., 2000, pp. 407-420.
33. ∞-induced norm under full state feedback," IEEE Trans. Automat. Contr., vol. 41, pp. 533-544, Apr. 1996.
34. C. Tomlin, J. Lygeros, and S. Sastry, "Synthesizing controllers for nonlinear hybrid systems," in Proc. 1st Int. Workshop, HSCC'98, Hybrid Systems: Computation Control, vol. 1386, Lecture Notes in Computer Science, S. Sastry and T. Henzinger, Eds., 1998, pp. 360-373.
35. _, "Computing controllers for nonlinear hybrid systems," in Proc. HSCC'99, Hybrid Systems: Computation Control, vol. 1569, Lecture Notes in Computer Science, F. Vaandrager and J. H. van Schuppen, Eds., 1999, pp. 238-255.
36. R. Vidal, S. Schaffert, J. Lygeros, and S. Sastry, "Controlled invariance of discrete time systems," in Proc. 3rd Int. Workshop, HSCC'00, Hybrid Systems: Computation Control, vol. 1790, Lecture Notes in Computer Science, N. Lynch and B. H. Krogh, Eds., 2000, pp. 437-450.