Safety Guarantees for Hybrid Systems

Raphael M. Jungers; Nikolaos Athanasopoulos

doi:10.1007/978-1-4471-5102-9_100049-1

Safety Guarantees for Hybrid Systems

Raphael M. Jungers, Nikolaos Athanasopoulos

School of Electronics, Electrical Engineering and Computer Science

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

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 language	English
Title of host publication	Encyclopedia of Systems and Control
Publisher	Springer
DOIs	https://doi.org/10.1007/978-1-4471-5102-9_100049-1
Publication status	Early online date - 02 Jan 2020

Access to Document

10.1007/978-1-4471-5102-9_100049-1Licence: Unspecified

Cite this

@inbook{0fb206acb3b146788301a6df534b4047,

title = "Safety Guarantees for Hybrid Systems",

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

author = "Jungers, {Raphael M.} and Nikolaos Athanasopoulos",

year = "2020",

month = jan,

day = "2",

doi = "10.1007/978-1-4471-5102-9_100049-1",

language = "English",

booktitle = "Encyclopedia of Systems and Control",

publisher = "Springer",

}

TY - CHAP

T1 - Safety Guarantees for Hybrid Systems

AU - Jungers, Raphael M.

AU - Athanasopoulos, Nikolaos

PY - 2020/1/2

Y1 - 2020/1/2

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

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

U2 - 10.1007/978-1-4471-5102-9_100049-1

DO - 10.1007/978-1-4471-5102-9_100049-1

M3 - Chapter (peer-reviewed)

BT - Encyclopedia of Systems and Control

PB - Springer

ER -

Safety Guarantees for Hybrid Systems

Abstract

Access to Document

Fingerprint

Cite this