PV2 PBTS: Piecewise Barrier Tube Solvercompute piecewise barrier tubes configuration from a system spec

Tool to compute Piecewise Barrier Tubes (PBTs) automatically

Application domain/field

Expected input

Internals

PBTs (Piecewise barrier tubers) are used to over-approximate the flowpipe of nonlinear systems. These are used for safety verification of hybrid systems. Uses Gurobi (linear programming solver).

Related papers

https://doi.org/10.1007/978-3-319-96145-3_24 (CAV 2018)

Last publication date

18 July 2018

Related tools

CORA, Flow*

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.