Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
FORMATS, pp. 123-141, 2019.
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...More
PPT (Upload PPT)