Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03199339
Contributor : Cécile André <>
Submitted on : Thursday, April 15, 2021 - 3:23:44 PM
Last modification on : Sunday, May 16, 2021 - 8:49:28 PM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

43