Higher Order Method for Differential Inclusions

Uncertainty is unavoidable in modeling dynamical systems and it may be represented mathematically by differential inclusions. In the past, we proposed an algorithm to compute validated solutions of differential inclusions; here we provide several theoretical improvements to the algorithm, including its extension to piecewise constant and sinusoidal approximations of uncertain inputs, updates on the affine approximation bounds and a generalized formula for the analytical error. The approach proposed is able to achieve higher order convergence with respect to the current state-of-the-art. We implemented the methodology in Ariadne, a library for the verification of continuous and hybrid systems. For evaluation purposes, we introduce ten systems from the literature, with varying degrees of nonlinearity, number of variables and uncertain inputs. The results are hereby compared with two state-of-the-art approaches to time-varying uncertainties in nonlinear systems.

[1]  Davide Bresolin,et al.  Rigorous Continuous Evolution of Uncertain Systems , 2019, NSV@CAV.

[2]  Daniel S. Graça,et al.  Effective Computability of Solutions of Differential Inclusions The Ten Thousand Monkeys Approach , 2009, J. Univers. Comput. Sci..

[3]  Xin Chen,et al.  Reachability analysis of non-linear hybrid systems using Taylor Models , 2015 .

[4]  G. Dahlquist.  Stability and error bounds in the numerical integration of ordinary differential equations , 1961 .

[5]  Paul I. Barton,et al.  Efficient polyhedral enclosures for the reachable set of nonlinear control systems , 2016, Math. Control. Signals Syst..

[6]  Desheng Li,et al.  Morse Decompositions for General Dynamical Systems and Differential Inclusions with Applications to Control Systems , 2007, SIAM J. Control. Optim..

[7]  G. Grammel,et al.  Towards Fully Discretized Differential Inclusions , 2003 .

[8]  M. Fliess,et al.  Fonctionnelles causales non linaires et indtermines non commutatives , 1981 .

[9]  Nathalie Revol,et al.  A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq , 2010 .

[10]  M. Stadtherr,et al.  Validated solutions of initial value problems for parametric ODEs , 2007 .

[11]  Ernst Hairer,et al.  Solving Ordinary Differential Equations I: Nonstiff Problems , 2009 .

[12]  Janosch Rieger,et al.  Approximation of reachable sets using optimal control and support vector machines , 2014, J. Comput. Appl. Math..

[13]  Matthias Althoff,et al.  Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets , 2013, HSCC '13.

[14]  G. Söderlind,et al.  The logarithmic norm. History and modern theory , 2006 .

[15]  Wolf-Jürgen Beyn,et al.  Numerical fixed grid methods for differential inclusions , 2007, Computing.

[16]  Jun Huang,et al.  Theory of Control Systems Described by Differential Inclusions , 2016 .

[17]  Majid Zamani,et al.  Accurate reachability analysis of uncertain nonlinear systems , 2018, HSCC.

[18]  Stefan Klus,et al.  A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty , 2016, SIAM J. Appl. Dyn. Syst..

[19]  F. Krogh,et al.  Solving Ordinary Differential Equations , 2019, Programming for Computations - Python.

[20]  Pravin Varaiya,et al.  Epsilon-Approximation of Differential Inclusions , 1996, Hybrid Systems.

[21]  M. Berz,et al.  TAYLOR MODELS AND OTHER VALIDATED FUNCTIONAL INCLUSION METHODS , 2003 .

[22]  Nacim Meslem,et al.  A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems , 2009, IEEE Transactions on Automatic Control.

[23]  Matthias Althoff,et al.  Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization , 2008, 2008 47th IEEE Conference on Decision and Control.

[24]  J. Marsden,et al.  Elementary classical analysis , 1974 .

[25]  Robert Baier,et al.  A computational method for non-convex reachable sets using optimal control , 2009, 2009 European Control Conference (ECC).

[26]  Angelika Bayer,et al.  Ellipsoidal Calculus For Estimation And Control , 2016 .

[27]  Tomasz Kapela,et al.  A Lohner-type algorithm for control systems and ordinary differential inclusions , 2007, 0712.0910.

[28]  J. Aubin,et al.  Differential inclusions set-valued maps and viability theory , 1984 .

[29]  A I Bulgakov,et al.  Approximation of differential inclusions , 2002 .

[30]  G. Smirnov.  Introduction to the Theory of Differential Inclusions , 2002 .

[31]  Asen L. Dontchev,et al.  Difference Methods for Differential Inclusions: A Survey , 1992, SIAM Rev..

[32]  K. Deimling.  Multivalued Differential Equations , 1992 .

[33]  Luigi Fortuna,et al.  Model Order Reduction Techniques with Applications in Electrical Engineering , 1992 .

[34]  Gunther Reissig,et al.  Arbitrarily precise abstractions for optimal controller synthesis , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[35]  Davide Bresolin,et al.  Formal Verification of Medical CPS , 2018, ACM Trans. Cyber Phys. Syst..

[36]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[37]  Xin Chen,et al.  Decomposed Reachability Analysis for Nonlinear Systems , 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).

[38]  Pieter Collins,et al.  Numerical solutions to noisy systems , 2010, 49th IEEE Conference on Decision and Control (CDC).

[39]  J. Nieuwenhuis.  Some remarks on set-valued dynamical systems , 1981, The Journal of the Australian Mathematical Society. Series B. Applied Mathematics.

[40]  Lars Grüne,et al.  Higher order numerical schemes for affinely controlled nonlinear systems , 2001, Numerische Mathematik.

[41]  EULER APPROXIMATION OF NONCONVEX DISCONTINUOUS DIFFERENTIAL INCLUSIONS , 2002 .

[42]  J. C. Sprotta.  Some simple chaotic jerk functions , 1997 .

[43]  Asen L. Dontchev,et al.  Error estimates for discretized differential inclusions , 1989, Computing.

[44]  Davide Bresolin,et al.  Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne , 2017, ICTSS.

[45]  H. Frankowska,et al.  Viability Kernels of Differential Inclusions with Constraints: Algorithms and Applications , 1990 .