Complexity of Monitors for Cyber-Physical Systems and their Implementation on a Mobile Robot

Cyber physical systems are becoming increasingly more present in our everyday life. Their safety and correctness are therefore of signifi cant concern. In recent years, real-time monitoring was proposed to address this problem. The goal of our research work was to test this monitoring methodology on a realistic physical system rather than just in simulations as it was done in the past. Towards this goal, a colleague and I built a robotic platform and implemented a monitor for it. We then continued the research with the implementation of a monitor that detects errors not expected by the system model and a thorough analysis on the changes in computational complexity for this kind of monitors.