Skip to Main content Skip to Navigation
New interface

Surveillance des processus dynamiques évènementiels

Abstract : As part of this thesis, we focus on the monitoring of hybrid systems with high dynamic event. The aim is to detect faults that cause permanent and intermittent acceleration and deceleration systems tasks. It is in this context that the following are the main contributions of the work reported in this thesis: - The development of a method for process monitoring based on linear hybrid automata (AHL). This method involves first the establishment of the AHL model the dynamic system taking into account the physical and dynamic one. - The realization of a reachability analysis of defining all paths that can cause the system to its target while respecting the specifications imposed on it. The extension of the approach using the rectangular hybrid automata. This class of controllers has allowed us to model more complex systems, therefore, a hybrid modeling rich and also allowed a formal analysis. This part was punctuated by the implementation of the monitoring system by determining equations characterizing each summit of the automaton that models the system.
Document type :
Complete list of metadata
Contributor : ABES STAR :  Contact
Submitted on : Wednesday, December 19, 2012 - 1:57:10 PM
Last modification on : Friday, March 25, 2022 - 9:41:04 AM
Long-term archiving on: : Wednesday, March 20, 2013 - 11:36:21 AM


Version validated by the jury (STAR)


  • HAL Id : tel-00767048, version 1



Mohamed Karoui. Surveillance des processus dynamiques évènementiels. Autre. Université de Grenoble, 2011. Français. ⟨NNT : 2011GRENT110⟩. ⟨tel-00767048⟩



Record views


Files downloads