Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis

Andreas Rauh
(Lab-STICC, ENSTA Bretagne, 29806 Brest, France)
Julia Kersten
(University of Rostock, Chair of Mechatronics, Justus-von-Liebig-Weg 6, D-18059 Rostock, Germany)

Interval approaches for the reachability analysis of initial value problems for sets of classical ordinary differential equations have been investigated and implemented by many researchers during the last decades. However, there exist numerous applications in computational science and engineering, where continuous-time system dynamics cannot be described adequately by integer-order differential equations. Especially in cases in which long-term memory effects are observed, fractional-order system representations are promising to describe the dynamics, on the one hand, with sufficient accuracy and, on the other hand, to limit the number of required state variables and parameters to a reasonable amount. Real-life applications for such fractional-order models can, among others, be found in the field of electrochemistry, where methods for impedance spectroscopy are typically used to identify fractional-order models for the charging/discharging behavior of batteries or for the dynamic relation between voltage and current in fuel cell systems if operated in a non-stationary state. This paper aims at presenting an iterative method for reachability analysis of fractional-order systems that is based on an interval arithmetic extension of Mittag-Leffler functions. An illustrating example, inspired by a low-order model of battery systems concludes this contribution.

In Thao Dang and Stefan Ratschan: Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT (SNR 2020), online, 31 August 2020, Electronic Proceedings in Theoretical Computer Science 331, pp. 18–32.
Published: 11th January 2021.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: