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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alexandre dit Sandretto, J., Chapoutot, A.: Contraction, propagation and bisection on a validated simulation of ODE. In: Summer Workshop on Interval Methods (2016)
Alexandre dit Sandretto, J., Chapoutot, A.: Validated explicit and implicit Runge-Kutta methods. Reliab. Comput. 22, 79–103 (2016)
Alexandre dit Sandretto, J., Chapoutot, A.: Validated simulation of differential algebraic equations with Runge-Kutta methods. Reliab. Comput. 22 (2016)
Boyd, S., El Ghaoui, L., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in System and Control Theory, vol. 15. SIAM, Philadelphia (1994)
Chabert, G., Jaulin, L.: Contractor programming. Artif. Intell. 173, 1079–1100 (2009)
Chen, M., Fränzle, M., Li, Y., Mosaad, P.N., Zhan, N.: Validated simulation-based verification of delayed differential dynamics. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 137–154. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-48989-6_9
Chou, Y., Chen, X., Sankaranarayanan, S.: A study of model-order reduction techniques for verification. In: Abate, A., Boldo, S. (eds.) NSV 2017. LNCS, vol. 10381, pp. 98–113. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-63501-9_8
Goubault, E., Putot, S., Sahlmann, L.: Inner and outer approximating flowpipes for delay differential equations. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10982, pp. 523–541. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-96142-2_31
Graettinger, T.J., Krogh, B.H.: Hyperplane method for reachable state estimation for linear time-invariant systems. J. Optim. Theory Appl. 69(3), 555–588 (1991)
Gusev, M.I., Zykov, I.V.: On extremal properties of boundary points of reachable sets for a system with integrally constrained control. In: Proceedings of 20th World Congress International Federation of Automatic Control, vol. 50, pp. 4082–4087. Elsevier (2017)
Henrion, D., Korda, M.: Convex computation of the region of attraction of polynomial control systems. IEEE Trans. Autom. Control 59(2), 297–312 (2014)
Jaulin, L., Kieffer, M., Didrit, O., Walter, É.: Applied Interval Analysis. Springer, London (2001). https://doi.org/10.1007/978-1-4471-0249-6
Jönsson, U.: Robustness of trajectories with finite time extent. Automatica 38(9), 1485–1497 (2002)
Korda, M.: Moment-sum-of-squares hierarchies for set approximation and optimal control. Ph.D. thesis, EPFL, Switzerland (2016)
Kurzhanski, A.B., Varaiya, P.: On ellipsoidal techniques for reachability analysis. Part I: external approximations. Optim. Methods Softw. 17(2), 177–206 (2002)
Lee, E.B., Markus, L.: Foundations of Optimal Control Theory. Wiley, New York (1976)
Megretski, A., Rantzer, A.: System analysis via integral quadratic constraints. IEEE Trans. Autom. Control 42(6), 819–830 (1997)
Moore, R.E.: Interval Analysis. Prentice Hall, Upper Saddle River (1966)
Nedialkov, N.S., Jackson, K., Corliss, G.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105(1), 21–68 (1999)
Pfifer, H., Seiler, P.: Integral quadratic constraints for delayed nonlinear and parameter-varying systems. Automatica 56, 36–43 (2015)
Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 477–492. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24743-2_32
Rousse, P., Garoche, P.-L., Henrion, D.: Parabolic set simulation for reachability analysis of linear time invariant systems with integral quadratic constraint. In: Proceedings of European Control Conference, Naples (2019)
Savkin, A.V., Petersen, I.R.: Recursive state estimation for uncertain systems with an integral quadratic constraint. IEEE Trans. Autom. Control 40(6), 1080–1083 (1995)
Scherer, C.W., Veenman, J.: Stability analysis by dynamic dissipation inequalities: on merging frequency-domain techniques with time-domain conditions. Syst. Control Lett. 121, 7–15 (2018)
Seuret, A., Gouaisbaut, F.: Hierarchy of LMI conditions for the stability analysis of time-delay systems. Syst. Control Lett. 81, 1–7 (2015)
Shampine, L.F., Thompson, S.: Numerical solution of delay differential equations. In: Gilsinn, D.E., Kalmár-Nagy, T., Balachandran, B. (eds.) Delay Differential Equations, pp. 1–27. Springer, Boston (2009). https://doi.org/10.1007/978-0-387-85595-0_9
Soravia, P.: Viscosity solutions and optimal control problems with integral constraints. Syst. Control Lett. 40(5), 325–335 (2000)
Szczelina, R.: Rigorous integration of delay differential equations. Ph.D. thesis (2015)
Varaiya, P.: Reach set computation using optimal control. In: Inan, M.K., Kurshan, R.P. (eds.) Verification of Digital and Hybrid Systems. NATO ASI Series, vol. 170, pp. 323–331. Springer, Heidelberg (2000). https://doi.org/10.1007/978-3-642-59615-5_15
Xue, B., Mosaad, P.N., Fränzle, M., Chen, M., Li, Y., Zhan, N.: Safe over- and under-approximation of reachable sets for delay differential equations. In: Abate, A., Geeraerts, G. (eds.) FORMATS 2017. LNCS, vol. 10419, pp. 281–299. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-65765-3_16
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Rousse, P., Alexandre dit Sandretto, J., Chapoutot, A., Garoche, PL. (2020). Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems. In: Chamberlain, R., Edin Grimheden, M., Taha, W. (eds) Cyber Physical Systems. Model-Based Design. CyPhy WESE 2019 2019. Lecture Notes in Computer Science(), vol 11971. Springer, Cham. https://doi.org/10.1007/978-3-030-41131-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-41131-2_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-41130-5
Online ISBN: 978-3-030-41131-2
eBook Packages: Computer ScienceComputer Science (R0)