A New Approach of Qualitative Simulation for the Validation of Hybrid Systems - CentraleSupélec
Communication Dans Un Congrès Année : 2016

A New Approach of Qualitative Simulation for the Validation of Hybrid Systems

Résumé

Hybrid systems are specified in a heterogeneous form, with discrete and continuous parts. Simulating such systems requires precise data and computational power in order to synchronize continuous changes and discrete transitions. However, in the early design stages, the lack of precision about some parameters forbids such simulations. Qualitative simulation consists in computing only some qualities of the behavior, without computing the exact values. We present here a new approach for the qualitative simulation of hybrid systems, which relies on an abstract model of the state variables and of the qualitative aspects of their evolution. This model is analyzed by the Diversity symbolic execution engine to build the qualitative behaviors of the system.
Fichier principal
Vignette du fichier
article-final.pdf (332.87 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01398735 , version 1 (17-11-2016)

Identifiants

  • HAL Id : hal-01398735 , version 1

Citer

Slim Medimegh, Jean-Yves Pierron, Jean-Pierre Gallois, Frédéric Boulanger. A New Approach of Qualitative Simulation for the Validation of Hybrid Systems. GEMOC International Workshop on The Globalization of Modeling Languages at MODELS 2016, Julien DeAntoni, Jeff Gray, Eugene Syriani, Oct 2016, Saint Malo, France. ⟨hal-01398735⟩
475 Consultations
143 Téléchargements

Partager

More