Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Guaranteed cosimulation of Cyber-Physical Systems

Abstract : 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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [48 references]  Display  Hide  Download
Contributor : Adrien Le Coënt <>
Submitted on : Wednesday, March 11, 2020 - 12:50:04 PM
Last modification on : Monday, March 23, 2020 - 2:11:22 PM
Long-term archiving on: : Friday, June 12, 2020 - 3:48:20 PM


Files produced by the author(s)


  • HAL Id : hal-02505237, version 1



Adrien Le Coënt, Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Guaranteed cosimulation of Cyber-Physical Systems. 2020. ⟨hal-02505237⟩



Record views


Files downloads