Guaranteed cosimulation of Cyber-Physical Systems - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2020

Guaranteed cosimulation of Cyber-Physical Systems

Résumé

In this paper, we tackle the problem of guaranteed simulation of Cyber-Physical Systems (CPS), an important model for current engineering systems. Their always increasing complexity leads to models of higher and higher dimensions, yet typically involve multiple subsystems or even multiple physics. Given this modularity, we more precisely explore cosimulation of such dynamical systems, with the aim of reaching higher dimensions of the simulated systems. In this paper, we present a guaranteed interval based approach for cosimulation of continuous time systems. We propose an algorithm which first proves the existence, and returns an enclosure of global solutions, using only local computations. This mitigates the curse of dimensionality faced by global (guaranteed) integration methods. Local computations are then realized with a safe estimate of the other subsystems until the next macro step. We increase the accuracy of the approach by using an interval extrapolation of the state of the other subsystems. We finally propose some possible further improvements including adaptive macro step size. Our method is fully guaranteed , taking into account all possible sources of error. It is implemented in a C++ prototype relying on the DynIbex library, and we illustrate our approach on multiple examples of the literature.
Fichier principal
Vignette du fichier
cosim.pdf (997.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02505237 , version 1 (11-03-2020)

Identifiants

  • HAL Id : hal-02505237 , version 1

Citer

Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Guaranteed cosimulation of Cyber-Physical Systems. 2020. ⟨hal-02505237⟩
113 Consultations
106 Téléchargements

Partager

Gmail Facebook X LinkedIn More