Safety Guarantees for Hybrid Systems

Raphael M. Jungers, Nikolaos Athanasopoulos

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review


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 article summarizes the most important approaches and tools, together with references for further reading.
Original languageEnglish
Title of host publicationEncyclopedia of Systems and Control
Publication statusEarly online date - 02 Jan 2020


Dive into the research topics of 'Safety Guarantees for Hybrid Systems'. Together they form a unique fingerprint.

Cite this