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

• Nonlinear continuous systems
• Hybrid systems
• Nonlinear ordinary differential equations

Expected input

• Dynamics of the system $M$
• Initial set $X_0$
• Length of piecewise barrier tube $N$
• ?

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