 |
 |
|
|
| HAL: hal-00685977, version 1 |
| Detailed view |  Export this paper |
 |
| Nonlinear Analysis: Hybrid Systems 4, 4 (2010) 766-774 |
|
|
|
|
| Monitoring of Dynamic Process by Hybrid Automata |
|
|
| Fathi Karou Karoui 1Hassane Alla 1 |
|
|
| (2010-11-18) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Grenoble Images Parole Signal Automatique (GIPSA-lab) |
|
|
|
CNRS : UMR5216 – Université Joseph Fourier - Grenoble I – Université Pierre-Mendès-France - Grenoble II – Université Stendhal - Grenoble III – Institut Polytechnique de Grenoble - Grenoble Institute of Technology |
|
|
| 2: | INSAT Tunis |
|
|
|
iNSTITUT nATIONAL DES SCINCES APPLIQU2ES DE tUNIS |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Information Theory and Coding Mathematics/Information Theory |
|
|
| Monitoring – Rectangular hybrid automats – Dynamicprocesses – Reachability analysis |
|
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00685977, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00685977 | |
| oai:hal.archives-ouvertes.fr:hal-00685977 | |
| From: Hassane Alla | |
| Submitted on: Thursday, 3 May 2012 16:51:50 | |
| Updated on: Friday, 4 May 2012 09:02:12 | |
