Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
| Title | Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications |
| Publication Type | Unpublished |
| Year of Publication | 2017 |
| Authors | Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donze, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan |
| Keywords | 1350420 |
| Notes | On-line at: \urlhttp://www-verimag.imag.fr/ maler/Papers/monitor-RV-chapter.pdf |
| Citation Key | BartocciEtAl2017survey |