Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

Ezio Bartocci; Jyotirmoy V. Deshmukh; Alexandre Donze; Georgios E. Fainekos; Oded Maler; Dejan Nickovic; Sriram Sankaranarayanan

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

Ezio Bartocci
, Jyotirmoy V. Deshmukh
, Alexandre Donze
, Georgios E. Fainekos
, Oded Maler
, Dejan Nickovic
, Sriram Sankaranarayanan

TU Wien
University of Southern California

Research output: Chapter in Book or Conference Proceedings › Book chapter

Original language	English
Title of host publication	Lecture Notes on Runtime Verification
Pages	135-175
Number of pages	41
Publication status	Published - 2018

Research Field

Dependable Systems Engineering

Cite this

@inbook{082538c2bc9a4ba9adafddd5d13a6f6d,

title = "Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications",

author = "Ezio Bartocci and Deshmukh, \{Jyotirmoy V.\} and Alexandre Donze and Fainekos, \{Georgios E.\} and Oded Maler and Dejan Nickovic and Sriram Sankaranarayanan",

year = "2018",

language = "English",

isbn = "978-3-319-75631-8",

pages = "135--175",

booktitle = "Lecture Notes on Runtime Verification",

}

TY - CHAP

T1 - Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

AU - Bartocci, Ezio

AU - Deshmukh, Jyotirmoy V.

AU - Donze, Alexandre

AU - Fainekos, Georgios E.

AU - Maler, Oded

AU - Nickovic, Dejan

AU - Sankaranarayanan, Sriram

PY - 2018

Y1 - 2018

M3 - Book chapter

SN - 978-3-319-75631-8

SP - 135

EP - 175

BT - Lecture Notes on Runtime Verification

ER -