Darboux-type barrier certificates for safety verification of nonlinear hybrid systems.

Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang

Browse the full EMSOFT paper archive.