Stream-based Online and Offline Monitoring under Measurement Noise

Bernd Finkbeiner, Martin Fränzle, Florian Kohn +1

Stream-based monitoring is a runtime verification approach for cyber-physical systems that translates streams of input data, such as sensor readings, into streams of aggregate stat…