Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00767048
Contributor : Abes Star :  Contact
Submitted on : Wednesday, December 19, 2012 - 1:57:10 PM
Last modification on : Thursday, November 19, 2020 - 12:59:58 PM
Long-term archiving on: : Wednesday, March 20, 2013 - 11:36:21 AM

File

22304_KAROUI_2011_archivage.pd...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00767048, version 1

Collections

Citation

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

Share

Metrics

Record views

1080

Files downloads

2295