Monitoring of dynamic process by hybrid automata

In this paper we are going to present a monitoring approach of dynamic systems by using the hybrid automaton. At first we shall use the linear hybrid automatons, in continuation we are going to enrich our monitoring method by using the rectangular hybrid automatons. This work is based on the observation of the dynamic evolution of these systems, and activates an alarm if there is any infringement of the constraints which theirs are applied. The monitoring system, we propose, makes it possible to detect this infringement as soon as possible thanks to the reachability analysis. Our monitoring method will be applied to real physical systems.