Encyclopedia of Systems and Control

Living Edition
| Editors: John Baillieul, Tariq Samad

Safety Guarantees for Hybrid Systems

Living reference work entry
DOI: https://doi.org/10.1007/978-1-4471-5102-9_100049-1
  • 282 Downloads

Abstract

Hybrid systems describe processes that typically need to satisfy a set of strict physical, computation, and communication constraints. Mission-critical and time-critical cyber-physical systems are a prime example where these constraints play a key role in analysis, controller synthesis, and implementation. On top of classical notions such as stability, safety plays a major role in the control design of hybrid systems. There is a long history of methods related to the safety analysis and safety enforcement for dynamical systems, with the ones concerning linear systems being more mature than the others. Due to the importance and complexity of the underlying problem, several different techniques have been developed for hybrid systems. This entry summarizes the most important approaches and tools, together with references for further reading.

Keywords

Hybrid systems Safety Verification Reachability Abstraction Hybrid automata Switching Lyapunov methods Formal methods 
This is a preview of subscription content, log in to check access.

Bibliography

  1. Ahmadi AA, Majumdar A (2014) DSOS and SDSOS optimization: LP and SOCP-based alternatives to sum of squares optimization. In: 2014 48th annual conference on information sciences and systems (CISS). IEEE, pp 1–5Google Scholar
  2. Alur R (2011) Formal verification of hybrid systems. In: 2011 proceedings of the ninth ACM international conference on embedded software (EMSOFT). IEEE, pp 273–278Google Scholar
  3. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235MathSciNetCrossRefGoogle Scholar
  4. Alur R, Henzinger TA, Lafferriere G, Pappas GJ (2000) Discrete abstractions of hybrid systems. Proc IEEE 88(7):971–984CrossRefGoogle Scholar
  5. Athanasopoulos N, Jungers RM (2018) Combinatorial methods for invariance and safety of hybrid systems. Automatica 98:130–140MathSciNetCrossRefGoogle Scholar
  6. Aubin JP, Bayen AM, Saint-Pierre P (2011) Viability theory: new directions. Springer, Heidelber/Dordrecht/London/New YorkCrossRefGoogle Scholar
  7. Belta C, Yordanov B, Gol EA (2017) Formal methods for discrete-time dynamical systems. In: Studies in systems, decision and control. Springer, HeidelbergCrossRefGoogle Scholar
  8. Blanchini F, Miani S (2008) Set-theoretic methods in control. Birkhäuser, BostonCrossRefGoogle Scholar
  9. Boyd S, Vandenberghe L (2004) Convex optimization. Cambridge University Press, CambridgeCrossRefGoogle Scholar
  10. Calafiore GC, Campi MC (2006) The scenario approach to robust control design. IEEE Trans Autom Control 51:742–753MathSciNetCrossRefGoogle Scholar
  11. Coogan S, Arcak M (2012) Guard synthesis for safety of hybrid systems using sum of squares programming. In: 2012 IEEE 51st annual conference on decision and control (CDC). IEEE, pp 6138–6143Google Scholar
  12. De Santis E, Di Benedetto MD, Berardi L (2004) Computation of maximal safe sets for switching systems. IEEE Trans Autom Control 49(2):184–195MathSciNetCrossRefGoogle Scholar
  13. Doyen L, Frehse G, Pappas GJ, Platzer A (2018) Verification of hybrid systems. In: Handbook of model checking. Springer, Cham, pp 1047–1110CrossRefGoogle Scholar
  14. Fukuda K (2004) Frequently asked questions in polyhedral computation. Technical report, Swiss Federal Institute of TechnologyGoogle Scholar
  15. Girard A (2005) Reachability of uncertain linear systems using zonotopes. In: Proceedings of the international workshop on hybrid systems: computation and control, pp 291–305CrossRefGoogle Scholar
  16. Goebel R, Sanfelice RG, Teel AR (2012) Hybrid dynamical systems: modeling stability, and robustness. Princeton University Press, PrincetonCrossRefGoogle Scholar
  17. Haghverdi E, Tabuada P, Pappas GJ (2005) Bisimulation relations for dynamical, control, and hybrid systems. Theor Comput Sci 342(2–3):229–261MathSciNetCrossRefGoogle Scholar
  18. Heemels WP, De Schutter B, Bemporad A (2001) Equivalence of hybrid dynamical models. Automatica 37:1085–1091CrossRefGoogle Scholar
  19. Henrion D, Korda M (2014) Convex computation of the region of attraction of polynomial control systems. IEEE Trans Autom Control 59(2):297–312MathSciNetCrossRefGoogle Scholar
  20. Julius AA, Pappas GJ (2008) Probabilistic testing for stochastic hybrid systems. In: 2008 47th IEEE conference on decision and control. IEEE, pp 4030–4035Google Scholar
  21. Jungers R (2009) The joint spectral radius: theory and applications, vol 385. Springer Science & Business Media, BerlinCrossRefGoogle Scholar
  22. Katoen JP (2016) The probabilistic model checking landscape. In: Proceedings of the 31st annual ACM/IEEE symposium on logic in computer science. ACM, pp 31–45Google Scholar
  23. Kenanian J, Balkan A, Jungers RM, Tabuada P (2019) Data driven stability analysis of black-box switched linear systems. Automatica, 109, p. 108533MathSciNetCrossRefGoogle Scholar
  24. Legat B, Tabuada P, Jungers RM (2018) Computing controlled invariant sets for hybrid systems with applications to model-predictive control. arxiv preprint: https://arxivorg/abs/180204522Google Scholar
  25. Maghenem M, Sanfelice RG (2019) Characterizations of safety in hybrid inclusions via barrier functions. In: 22nd ACM international workshop on hybrid systems: computation and control, pp 109–118Google Scholar
  26. Parrilo PA (2000) Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization. Ph.D. thesis, California Institute of TechnologyGoogle Scholar
  27. Philippe M, Athanasopoulos N, Angeli D, Jungers RM (2019) On path-complete lyapunov functions: geometry and comparison. IEEE Trans Autom Control 64:1947–1957MathSciNetCrossRefGoogle Scholar
  28. Pnueli A (1977) The temporal logic of programs. In: 18th annual symposium on foundations of computer science (sfcs 1977). IEEE, pp 46–57Google Scholar
  29. Prajna S, Jadbabaie A (2004) Safety verification of hybrid systems using barrier certificates. In: International workshop on hybrid systems: computation and control. Springer, Berlin, pp 477–492CrossRefGoogle Scholar
  30. Sloth C, Pappas GJ, Wisniewski R (2012) Compositional safety analysis using barrier certificates. In: International workshop on hybrid systems: computation and control, pp 15–24Google Scholar
  31. Tomlin CJ, Mitchell I, Bayen AM, Oishi M (2003) Computational techniques for the verification of hybrid systems. Proc IEEE 91(7):986–1001CrossRefGoogle Scholar

Authors and Affiliations

  1. 1.UCLouvainICTEAM InstituteLouvain-la-NeuveBelgium
  2. 2.School of Electronics, Electrical Engineering and Computer ScienceQueen’s University BelfastBelfastUK

Section editors and affiliations

  • Francoise Lamnabhi-Lagarrigue
    • 1
  1. 1.Laboratoire des Signaux et SystèmesCNRSGif-sur-YvetteFrance