Monitoring of dynamic processes by rectangular hybrid automata |
| |
| Authors: | Mohamed Fathi Karoui Hassane Alla Abderrazak Chatti |
| |
| Institution: | 1. Gipsa-Lab, Département d’Automatique, 961, Rue de la houille blanche–BP- 46, 38402, Saint Martin d’hères, France;2. Institut National des Sciences Appliquées et de Technologie, Centre Urbain Nord BP 676 - 1080 Tunis Cedex, Tunisia |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
