Authors
Étienne André, Ichiro Hasuo, Masaki Waga
Publication date
2023/4/22
Description
Monitoring cyber-physical systems under uncertainty Page 1 SynCoP 2023 Paris, France 22nd April 2023 Monitoring cyber-physical systems under uncertainty Étienne André Université Sorbonne Paris Nord, LIPN, CNRS UMR 7030, F-93430 Villetaneuse, France Joint work with Masaki Waga and Ichiro Hasuo Étienne André (Université Sorbonne Paris Nord) Monitoring cyber-physical systems with uncertainty 22nd April 2023 1 / 55 Page 2 Outline 1 Context 2 Part I: Parametric timed pattern matching 3 Part II: Model-bounded monitoring 4 Perspectives Étienne André (Université Sorbonne Paris Nord) Monitoring cyber-physical systems with uncertainty 22nd April 2023 2 / 55 Page 3 Context: safety-critical cyber-physical systems Images illustrating Tesla fatal crashes: Williston, Florida, USA [May 7, 2016]; Mountain View, California, USA [March 23, 2018] Étienne André (Université Sorbonne Paris Nord) Monitoring cyber-…