most citedExponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

eess.SY2019

Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty

Hui Kong, Ezio Bartocci, Yu Jiang +1

Piecewise Barrier Tubes (PBT) is a new technique for flowpipe overapproximation for nonlinear systems with polynomial dynamics, which leverages a combination of barrier certificate…