Safety Guarantees for Hybrid Systems

Raphael M. Jungers, Nikolaos Athanasopoulos

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

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

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

  • Cite this

    Jungers, R. M., & Athanasopoulos, N. (2020). Safety Guarantees for Hybrid Systems. In Encyclopedia of Systems and Control Springer. https://doi.org/10.1007/978-1-4471-5102-9_100049-1