no code implementations • 24 Dec 2023 • Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan
Barrier certificates, which serve as differential invariants that witness system safety, play a crucial role in the verification of cyber-physical systems (CPS).
no code implementations • 22 Mar 2021 • Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
Delays are ubiquitous in modern hybrid systems, which exhibit both continuous and discrete dynamical behaviors.
