Monitoring of dynamic processes by rectangular hybrid automata

In this paper we develop a method of monitoring dynamic processes based on rectangular hybrid automats. This method takes into account the behavior of the system and the evolution of its parameters. A failure during the execution of the process can lead to a dysfunctional state in the system.The monitoring system, we propose, makes it possible to detect this state of dysfunction as soon as possible thanks to the reachability analysis.