Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems

Résumé

A reachable set computation method for dynamical systems with an integral constraint over the input set is proposed. These models are typical in robustness analysis when studying the impact of bounded energy noises over a system response and can also model a large family of complex systems. The reachable set is over-approximated using a guaranteed set-based integration method within the interval arithmetic framework. A Runge-Kutta guaranteed integration scheme with pessimistic bounds over the input provides a first conservative bound over the reachable tube. Then, the integral constraint is used to define a contractor over the reachable tube. This contractor and a propagation step are successively applied on the over-approximation until a fixed point is reached. We evaluated our algorithm with DynIbex library to simulate a delayed system, i.e., an infinite dimensional system that can be modeled as a linear time-invariant system subject to an integral quadratic constraint. Our approach is shown to be tractable and enables the use of interval arithmetic and guaranteed integration for a richer set of dynamical systems.
Fichier principal
Vignette du fichier
Rousse2020.pdf (320.71 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03199339 , version 1 (09-02-2022)

Identifiants

Citer

Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche. Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems. 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, Oct 2019, New York, United States. pp.89-107, ⟨10.1007/978-3-030-41131-2_5⟩. ⟨hal-03199339⟩
78 Consultations
97 Téléchargements

Altmetric

Partager

More