Reachability analysis techniques aim to compute which states a dynamical system can enter. The analysis of systems described by nonlinear differential equations is known to be particularly challenging. Hybridization methods tackle this problem by abstracting nonlinear dynamics with piecewise linear dynamics around the reachable states, with additional inputs to ensure overapproximation. This reduces the analysis of a system with nonlinear dynamics to the one with piecewise affine dynamics, which have powerful analysis methods. In this paper, we present improvements to the hybridization approach based on a dynamics scaling model transformation. The transformation aims to reduce the sizes of the linearization domains, and therefore reduces overapproximation error. We showcase the efficiency of our approach on a number of nonlinear benchmark instances, and compare our approach with Flow*.
CITATION STYLE
Li, D., Bak, S., & Bogomolov, S. (2020). Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12288 LNCS, pp. 265–282). Springer. https://doi.org/10.1007/978-3-030-57628-8_16
Mendeley helps you to discover research relevant for your work.