Abstract
Cyber-physical systems (CPSs) are systems in which digital and physical entities cooperate. When CPSs execute safety-critical tasks, monitoring of their behavior is of main concern. The CPS should be moved to a safe state in case of malfunctions. This demo shows how an on-line supervisor can be developed for a Line Follower Robot, starting from a digital model of the robot.