Qualitative models for the supervision of CPS simulations - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

Qualitative models for the supervision of CPS simulations

Résumé

The simulation of complex systems affects many industrial and research fields and is important to verify the future behavior of a system. For hybrid systems [9], the heterogeneity of the discrete and continuous parts makes the modeling and simulation more difficult. Usually, numerical methods are chosen to simulate the continuous part of the models. However, their cost can be high when precision is needed and when interactions with the discrete part force rollbacks in the simulation. Other techniques are proposed to deal with uncertainties and expensive models, such as the flow-pipe methods [2] or qualitative modeling [8]. In this article, we present preliminary work to rely on a qualitative analysis of the model to supervise its simulation. Our goal is to build a qualitative map of the state space of the model in order to adapt the quantification of values and the discretization of time of the integration method. We expect this supervisor to optimize the time/precision balance, especially in the case of complex systems with many components.
Fichier principal
Vignette du fichier
authorversion.pdf (598.21 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04492481 , version 1 (17-12-2024)

Licence

Identifiants

Citer

Baptiste Gueuziec, Jean-Pierre Gallois, Frédéric Boulanger. Qualitative models for the supervision of CPS simulations. MODELS '22 - 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal, Canada. pp.612-616, ⟨10.1145/3550356.3561594⟩. ⟨hal-04492481⟩
27 Consultations
0 Téléchargements

Altmetric

Partager

More