Modeling and qualitative simulation of hybrid systems

Abstract : Hybrid systems are at the core of cyber-physical systems. Such systems represent the interaction between continuous physical processes generally modelling the environment with discrete decisions from control electronic signaling. The verification of these systems is crucial to ensure safety at the modeling stage. The application of hybrid systems is present in many fields such as transportation, biology and avionics. The thesis studies principals from the qualitative reasoning domain and applies them to the verification of hybrid systems. The accomplished work elaborates methods to abstract a hybrid system using qualitative principles. These methods consist in discretizing the state space to a finite number of states while conserving qualitative characteristics. The computed abstraction allows to prove properties at the level of the concrete hybrid system and presents a representation of the global behavior of the system. A tool developed in C++ computes the abstraction of a given hybrid system. An evaluation of its performance is performed. We are also interested in a particular property called diagnosability. The system is said to be diagnosable when it is capable to identify modeled faults using limited specified observations. A method that uses the computed abstraction to verify diagnosability of a given hybrid system is proposed.
Complete list of metadatas
Contributor : Abes Star <>
Submitted on : Thursday, December 6, 2018 - 2:58:07 PM
Last modification on : Tuesday, April 16, 2019 - 9:25:31 AM
Long-term archiving on : Thursday, March 7, 2019 - 1:41:07 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01947003, version 1


Hadi Zaatiti. Modeling and qualitative simulation of hybrid systems. Modeling and Simulation. Université Paris-Saclay, 2018. English. ⟨NNT : 2018SACLS493⟩. ⟨tel-01947003⟩



Record views


Files downloads