Li, DongxuBak, StanleyBogomolov, SergiyBertrand, NathalieJansen, Nils2024-01-24September978-3-030-57627-1http://hdl.handle.net/1885/311835Reachability 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*.This research was supported in part by the Air Force Office of Scientific Research under award numbers FA2386-17-1-4065 and FA9550-19-1-0288.application/pdfen-AU© Springer Nature Switzerland AG 2020202010.1007/978-3-030-57628-8_162022-10-02