Safety guarantees for hybrid systems

Raphael M. Jungers*, Nikolaos Athanasopoulos

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary


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 forhybrid systems. This article summarizes the most important approaches and tools, together with references for further reading.

Original languageEnglish
Title of host publicationEncyclopedia of systems and control
EditorsJohn Baillieul, Tariq Samad
Number of pages8
ISBN (Electronic)9781447151029
ISBN (Print)9781447151029
Publication statusPublished - 02 Jan 2020


Dive into the research topics of 'Safety guarantees for hybrid systems'. Together they form a unique fingerprint.

Cite this