Monitoring of Dynamic Process by Hybrid Automata

Fathi Karou Karoui (1) , Hassane Alla (2) , Abderazak Chatti (3)

1 GIPSA-lab - Grenoble Images Parole Signal Automatique
2 GIPSA-SYSCO - GIPSA - Systèmes non linéaires et complexité
3 INSAT Tunis

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.

Mots clés: Monitoring; Rectangular hybrid automats; Dynamicprocesses; Reachability analysis

Domaines: Théorie de l'information [cs.IT]; Théorie de l'information et codage [math.IT]

Fathi Karou Karoui, Hassane Alla, Abderazak Chatti. Monitoring of Dynamic Process by Hybrid Automata. Nonlinear Analysis: Hybrid Systems, 2010, 4 (4), pp.766-774. ⟨hal-00685977⟩