Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty

FORMATS, pp. 123-141, 2019.

Cited by: 0|Bibtex|Views7|Links
EI

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...More

Code:

Data:

Your rating :
0

 

Tags
Comments