Advertisement

Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications

  • Luca Berardi
  • Elena De Santis
  • Maria Domenica Di Benedetto
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1790)

Abstract

A structural procedure is proposed for solving the problem of maximal safe-set determination based on maximal controlled invari- ant sets. However, the procedure is not guaranteed to converge in a finite number of steps. The procedure is made computationally appealing first by linearizing and discretizing the dynamical systems and, second, by using an inner approximation of these sets that, together with the classical outer approximation, yields tight bounds for an error due to the truncation of the procedure after a finite number of steps. The theory is applied to idle-speed regulation in engine control.

Keywords

Hybrid System Switching System Nite Number General Dynamical System Linear State Feedback 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aubin, J.P. Viability theory, Birkhauser, Boston, (1991).zbMATHGoogle Scholar
  2. 2.
    Balluchi, A., Di Benedetto, M.D., Pinello, C., Rossi, C., Sangiovanni-Vincentelli, A. “Hybrid Control in Automotive Applications: the Cut-off Control”, Automatica, Special Issue on Hybrid Systems, vol. 35, March (1999).Google Scholar
  3. 3.
    Berardi, L., De Santis, E., Di Benedetto, M.D. “Invariant sets and control synthesis for switching systems with safety specifications”, Department of Electrical Engineering, University of L’Aquila, Research Report no. 99-35, October 1999.Google Scholar
  4. 4.
    Berardi, L., De Santis, E., Di Benedetto, M.D. “Control of switching systems under state and input constraints”, European Control Conference 1999, August 31–Sept. 3 (1999).Google Scholar
  5. 5.
    Berardi, L., De Santis, E., Di Benedetto, M.D. “Control of switching systems under state and input constraints”, 38th IEEE Conference on Decision and Control, Phoenix, AZ, Dec. 7–10, (1999).Google Scholar
  6. 6.
    Blanchini, F. “Ultimate Boundedness Control for Uncertain Discrete-Time Systems via Set-Induced Lyapunov Functions”, IEEE Trans. on Automatic Control, AC-39, pp. 428–433, (1994).CrossRefMathSciNetGoogle Scholar
  7. 7.
    Blanchini, F. “Nonquadratic Lyapunov functions for robust control”, Automatica 31, pp. 451–461, (1995).zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Blanchini, F., Miani, S. “Constrained stabilization via smooth Lyapunov functions”, Systems and Control Letters, 35, pp. 155–163, (1998).zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    d’Alessandro, P., De Santis, E. “General Closed loop optimal solutions for linear dynamic systems with linear constraints”, J. of Mathematical Systems, Estimation and Control, vol. 6, no. 2, (1996).Google Scholar
  10. 10.
    d’Alessandro, P., A conical approach to linear programming, scalar and vector optimization problems, Gordon and Breach Science Publishers, 1997.Google Scholar
  11. 11.
    De Santis, E. “On maximal invariant sets for discrete time linear systems with disturbances”. Proc. 3rd IEEE Med. Symposium, Cyprus, 1995.Google Scholar
  12. 12.
    Dorea, C. E. T., Hennet, J. C. “Computation of Maximal Admissible Sets of Constrained Linear Systems”, Proc. of 4th IEEE Med. Symposium, Krete, pp. 286–291, (1996).Google Scholar
  13. 13.
    Dorea, C. E. T., Hennet, J. C. “(A,B)-Invariance conditions of polyhedral domains for continuous-time systems”, European J. of Control, vol.5, pp. 70–81, (1999).zbMATHGoogle Scholar
  14. 14.
    Farina, L., Benvenuti, L. “Invariant polytopes of linear systems”, IMA, vol.15, pp.233–240, (1998).zbMATHMathSciNetGoogle Scholar
  15. 15.
    Gutman, P.O., Cwikel, M. “Admissible Sets and Feedback Control for Discrete-Time Linear Dynamical Systems with Bounded Controls and States”, IEEE Transactions on Automatic Control, AC-31, No. 4, pp. 373–376, (1986).CrossRefMathSciNetGoogle Scholar
  16. 16.
    Gutman, P.O., Cwikel M. “An Algorithm to Find Maximal State Constraint Sets for Discrete Time linear Dynamical Systems with Bounded Controls and States”, IEEE Transactions on Automatic Control, AC-32, No. 3, pp. 251–254, (1987).CrossRefMathSciNetGoogle Scholar
  17. 17.
    Keerthi, S.S., Gilbert E.G. “Computation of Minimum-Time Feedback Control Laws for Discrete-Time Systems with State-Control Constraints”, IEEE Trans. on Automatic Control, AC-32, pp. 432–435, (1987).CrossRefGoogle Scholar
  18. 18.
    Lygeros, J., Tomlin, C., Sastry, S. “Controllers for Reachability Specifications for Hybrid Systems”, Automatica, Special Issue on Hybrid Systems, vol. 35, (1999).Google Scholar
  19. 19.
    Murty, K.G. Linear Programming. New York: J. Wiley, (1983).zbMATHGoogle Scholar
  20. 20.
    Shakernia, O., Pappas, J.P., Sastry, S. “Decidable Controller Synthesis for a Class of Linear Systems”, This Conference.Google Scholar
  21. 21.
    Tomlin, C., Lygeros, J., Sastry, S. “Synthesizing controllers for nonlinear hybrid systems”, First International Workshop, HSCC’98, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol.1386, pp. 360–373, (1998).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Luca Berardi
    • 1
  • Elena De Santis
    • 2
  • Maria Domenica Di Benedetto
    • 2
    • 3
  1. 1.Dipartimento di Informatica e SistemisticaUniversity of Rome “La Sapienza”Rome
  2. 2.Dipartimento di Ingegneria ElettricaUniversity of L’AquilaL’Aquila
  3. 3.EECS DepartmentUniversity of CaliforniaBerkeley

Personalised recommendations