Qualitative tendencies for hybrid system simulation - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2023

Qualitative tendencies for hybrid system simulation

Résumé

The study of complex systems is essential in many scientific fields for safety, reliability, and security reasons. These systems are increasingly complex and often hybrid (with continuous behaviors in discrete modes), making modeling tasks more difficult. Each design requires a tradeoff between acceptable computation time and good precision. Simulations using numerical methods often sacrifice time efficiency for more precise results, but this choice can show its limits on complex systems. Qualitative reasoning techniques were proposed to sacrifice precision and knowledge to improve speed and generality. They are especially used in diagnosis and fault isolation. Eventually, abstraction methods such as interval propagation or flow-pipe execution emerged in what we now call semi-qualitative simulation, mainly used for precision and property proving. This article proposes an approach that bridges qualitative analysis and numerical simulation methods. It consists in building a qualitative model of a system that is used as a map of its behavior in various regions of its state space to improve the efficiency of its simulation. Therefore, the joint use of models of different natures helps analyze the system's behavior.
Fichier principal
Vignette du fichier
conference_101719.pdf (499.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04188249 , version 1 (25-08-2023)

Licence

Identifiants

  • HAL Id : hal-04188249 , version 1

Citer

Baptiste Gueuziec, Frédéric Boulanger, Jean-Pierre Gallois. Qualitative tendencies for hybrid system simulation. MPM4CPS 2023 - Multi-Paradigm Modelling for Cyber-Physical Systems -26th International conference on model driven engineering languages and systems, Oct 2023, Västerås, Sweden. ⟨hal-04188249⟩
73 Consultations
75 Téléchargements

Partager

More