Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model

Bineet Ghosh, Étienne André

Monitoring the correctness of distributed cyber-physical systems is essential. Detecting possible safety violations can be hard when some samples are uncertain or missing. We monit…