2 citations · 3 across the 3 of their papers we have counts for
3 papers
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…
math.OC2016★ 1 cited
Invariant Clusters for Hybrid Systems
Hui Kong, Sergiy Bogomolov, Christian Schilling +2
In this paper, we propose an approach to automatically compute invariant clusters for semialgebraic hybrid systems. An invariant cluster for an ordinary differential equation (ODE)…
cs.SE2013★ 2 cited
Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
Hui Kong, Fei He, Xiaoyu Song +2
A barrier certificate is an inductive invariant function which can be used for the safety verification of a hybrid system. Safety verification based on barrier certificate has the…