Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
From MaRDI portal
Publication:2176701
DOI10.1007/978-3-030-29662-9_8zbMATH Open1441.93133arXiv1907.11514OpenAlexW2970517548WikidataQ124212521 ScholiaQ124212521MaRDI QIDQ2176701
Author name not available (Why is that?)
Publication date: 5 May 2020
Abstract: Piecewise Barrier Tubes (PBT) is a new technique for flowpipe overapproximation for nonlinear systems with polynomial dynamics, which leverages a combination of barrier certificates. PBT has advantages over traditional time-step based methods in dealing with those nonlinear dynamical systems in which there is a large difference in speed between trajectories, producing an overapproximation that is time independent. However, the existing approach for PBT is not efficient due to the application of interval methods for enclosure-box computation, and it can only deal with continuous dynamical systems without uncertainty. In this paper, we extend the approach with the ability to handle both continuous and hybrid dynamical systems with uncertainty that can reside in parameters and/or noise. We also improve the efficiency of the method significantly, by avoiding the use of interval-based methods for the enclosure-box computation without loosing soundness. We have developed a C++ prototype implementing the proposed approach and we evaluate it on several benchmarks. The experiments show that our approach is more efficient and precise than other methods in the literature.
Full work available at URL: https://arxiv.org/abs/1907.11514
No records found.
No records found.
This page was built for publication: Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2176701)
