Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications

Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Ničković, Sriram Sankaranarayanan

Research output: Chapter in Book/Report/Conference proceedingChapter

23 Citations (Scopus)

Abstract

The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and biological systems monitored and/or controlled by an embedded computational core. The behaviour of a CPS over time is generally characterised by the evolution of physical quantities, and discrete software and hardware states. In general, these can be mathematically modelled by the evolution of continuous state variables for the physical components interleaved with discrete events. Despite large effort and progress in the exhaustive verification of such hybrid systems, the complexity of CPS models limits formal verification of safety of their behaviour only to small instances. An alternative approach, closer to the practice of simulation and testing, is to monitor and to predict CPS behaviours at simulation-time or at runtime. In this chapter, we summarise the state-of-the-art techniques for qualitative and quantitative monitoring of CPS behaviours. We present an overview of some of the important applications and, finally, we describe the tools supporting CPS monitoring and compare their main features.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages135-175
Number of pages41
DOIs
StatePublished - Jan 1 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10457 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Monitoring
Specification
Specifications
Discrete Event
Formal Verification
Biological systems
Hybrid systems
Hybrid Systems
Biological Systems
Cyber Physical System
Monitor
Simulation
Safety
Hardware
Predict
Testing
Software
Alternatives
Term
Model

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Bartocci, E., Deshmukh, J., Donzé, A., Fainekos, G., Maler, O., Ničković, D., & Sankaranarayanan, S. (2018). Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 135-175). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10457 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-75632-5_5

Specification-based monitoring of cyber-physical systems : A survey on theory, tools and applications. / Bartocci, Ezio; Deshmukh, Jyotirmoy; Donzé, Alexandre; Fainekos, Georgios; Maler, Oded; Ničković, Dejan; Sankaranarayanan, Sriram.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 2018. p. 135-175 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10457 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter

Bartocci, E, Deshmukh, J, Donzé, A, Fainekos, G, Maler, O, Ničković, D & Sankaranarayanan, S 2018, Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10457 LNCS, Springer Verlag, pp. 135-175. https://doi.org/10.1007/978-3-319-75632-5_5
Bartocci E, Deshmukh J, Donzé A, Fainekos G, Maler O, Ničković D et al. Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2018. p. 135-175. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-75632-5_5
Bartocci, Ezio ; Deshmukh, Jyotirmoy ; Donzé, Alexandre ; Fainekos, Georgios ; Maler, Oded ; Ničković, Dejan ; Sankaranarayanan, Sriram. / Specification-based monitoring of cyber-physical systems : A survey on theory, tools and applications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 2018. pp. 135-175 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inbook{34a2690627754683bd5bb5037406da40,
title = "Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications",
abstract = "The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and biological systems monitored and/or controlled by an embedded computational core. The behaviour of a CPS over time is generally characterised by the evolution of physical quantities, and discrete software and hardware states. In general, these can be mathematically modelled by the evolution of continuous state variables for the physical components interleaved with discrete events. Despite large effort and progress in the exhaustive verification of such hybrid systems, the complexity of CPS models limits formal verification of safety of their behaviour only to small instances. An alternative approach, closer to the practice of simulation and testing, is to monitor and to predict CPS behaviours at simulation-time or at runtime. In this chapter, we summarise the state-of-the-art techniques for qualitative and quantitative monitoring of CPS behaviours. We present an overview of some of the important applications and, finally, we describe the tools supporting CPS monitoring and compare their main features.",
author = "Ezio Bartocci and Jyotirmoy Deshmukh and Alexandre Donz{\'e} and Georgios Fainekos and Oded Maler and Dejan Ničković and Sriram Sankaranarayanan",
year = "2018",
month = "1",
day = "1",
doi = "10.1007/978-3-319-75632-5_5",
language = "English (US)",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "135--175",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - CHAP

T1 - Specification-based monitoring of cyber-physical systems

T2 - A survey on theory, tools and applications

AU - Bartocci, Ezio

AU - Deshmukh, Jyotirmoy

AU - Donzé, Alexandre

AU - Fainekos, Georgios

AU - Maler, Oded

AU - Ničković, Dejan

AU - Sankaranarayanan, Sriram

PY - 2018/1/1

Y1 - 2018/1/1

N2 - The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and biological systems monitored and/or controlled by an embedded computational core. The behaviour of a CPS over time is generally characterised by the evolution of physical quantities, and discrete software and hardware states. In general, these can be mathematically modelled by the evolution of continuous state variables for the physical components interleaved with discrete events. Despite large effort and progress in the exhaustive verification of such hybrid systems, the complexity of CPS models limits formal verification of safety of their behaviour only to small instances. An alternative approach, closer to the practice of simulation and testing, is to monitor and to predict CPS behaviours at simulation-time or at runtime. In this chapter, we summarise the state-of-the-art techniques for qualitative and quantitative monitoring of CPS behaviours. We present an overview of some of the important applications and, finally, we describe the tools supporting CPS monitoring and compare their main features.

AB - The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and biological systems monitored and/or controlled by an embedded computational core. The behaviour of a CPS over time is generally characterised by the evolution of physical quantities, and discrete software and hardware states. In general, these can be mathematically modelled by the evolution of continuous state variables for the physical components interleaved with discrete events. Despite large effort and progress in the exhaustive verification of such hybrid systems, the complexity of CPS models limits formal verification of safety of their behaviour only to small instances. An alternative approach, closer to the practice of simulation and testing, is to monitor and to predict CPS behaviours at simulation-time or at runtime. In this chapter, we summarise the state-of-the-art techniques for qualitative and quantitative monitoring of CPS behaviours. We present an overview of some of the important applications and, finally, we describe the tools supporting CPS monitoring and compare their main features.

UR - http://www.scopus.com/inward/record.url?scp=85042072854&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85042072854&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-75632-5_5

DO - 10.1007/978-3-319-75632-5_5

M3 - Chapter

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 135

EP - 175

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -