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

E Bartocci, J Deshmukh, A Donzé, G Fainekos… - Lectures on Runtime …, 2018 - Springer
Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …
被引用次数：323 相关文章

[引用][C] Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

E Bartocci, RG Deshmukh, A Donze… - Lectures on Runtime … - publik.tuwien.ac.at
[PDF] github.io

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

E Bartocci, J Deshmukh, A Donzé - jdeshmukh.github.io
The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and
biological systems monitored and/or controlled by an embedded computational core. The …

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

E Bartocci, J Deshmukh, A Donzé… - Lecture Notes in …, 2018 - asu.elsevierpure.com
Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …

[引用][C] Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

E Bartocci, J Deshmukh, A Donzé, G Fainekos… - Lectures on Runtime …, 2018 - cir.nii.ac.jp
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and
Applications | CiNii Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ …

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

E Bartocci, RG Deshmukh, A Donze… - Lectures on Runtime …, 2018 - repositum.tuwien.at
The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and
biological systems monitored and/or controlled by an embedded computational core. The …
[PDF] imag.fr

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

E Bartocci, J Deshmukh, A Donzé - www-verimag.imag.fr
The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and
biological systems monitored and/or controlled by an embedded computational core. The …

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

E Bartocci, J Deshmukh, A Donzé - Lectures on Runtime Verification - Springer
The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and
biological systems monitored and/or controlled by an embedded computational core. The …

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

G Fainekos, O Maler, D Nickovic… - Lectures on Runtime …, 2018 - books.google.com
The term Cyber-Physical Systems (CPS) typically refers to engineered, physical and
biological systems monitored and/or controlled by an embedded computational core. The …

[引用][C] Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

E Bartocci, JV Deshmukh, A Donze… - Lecture Notes on …, 2018 - publications.ait.ac.at
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and
Applications — Austrian Institute of Technology Skip to main navigation Skip to search Skip to …