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-…
Scholar articles
É André, I Hasuo, M Waga - 2023