Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Hybrid Systems: Computation and Control

HSCC 2000: Hybrid Systems: Computation and Control pp 59–72Cite as

Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((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.

Research supported in part by DARPA under grant F33615-98-C-3614 administered through the Air Force Research Laboratory, in part by M.U.R.S.T. and in part by Magneti-Marelli

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aubin, J.P. Viability theory, Birkhauser, Boston, (1991).

    MATH  Google Scholar 

  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. 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. 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. 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. 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).

    Article  MathSciNet  Google Scholar 

  7. Blanchini, F. “Nonquadratic Lyapunov functions for robust control”, Automatica 31, pp. 451–461, (1995).

    Article  MATH  MathSciNet  Google Scholar 

  8. Blanchini, F., Miani, S. “Constrained stabilization via smooth Lyapunov functions”, Systems and Control Letters, 35, pp. 155–163, (1998).

    Article  MATH  MathSciNet  Google Scholar 

  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. d’Alessandro, P., A conical approach to linear programming, scalar and vector optimization problems, Gordon and Breach Science Publishers, 1997.

    Google Scholar 

  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. 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. 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).

    MATH  Google Scholar 

  14. Farina, L., Benvenuti, L. “Invariant polytopes of linear systems”, IMA, vol.15, pp.233–240, (1998).

    MATH  MathSciNet  Google Scholar 

  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).

    Article  MathSciNet  Google Scholar 

  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).

    Article  MathSciNet  Google Scholar 

  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).

    Article  Google Scholar 

  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. Murty, K.G. Linear Programming. New York: J. Wiley, (1983).

    MATH  Google Scholar 

  20. Shakernia, O., Pappas, J.P., Sastry, S. “Decidable Controller Synthesis for a Class of Linear Systems”, This Conference.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica e Sistemistica, University of Rome “La Sapienza”, Rome

    Luca Berardi

  2. Dipartimento di Ingegneria Elettrica, University of L’Aquila, L’Aquila

    Elena De Santis & Maria Domenica Di Benedetto

  3. EECS Department, University of California, Berkeley

    Maria Domenica Di Benedetto

Authors
  1. Luca Berardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Elena De Santis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maria Domenica Di Benedetto
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, 02139, USA

    Nancy Lynch

  2. Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, 15235, USA

    Bruce H. Krogh

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Berardi, L., De Santis, E., Di Benedetto, M.D. (2000). Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications. In: Lynch, N., Krogh, B.H. (eds) Hybrid Systems: Computation and Control. HSCC 2000. Lecture Notes in Computer Science, vol 1790. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46430-1_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-46430-1_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67259-3

  • Online ISBN: 978-3-540-46430-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation