On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains

Hao Wu, Shenghua Feng, Ting Gan +3

Barrier certificates, serving as differential invariants that witness system safety, play a crucial role in the verification of cyber-physical systems (CPS). Prevailing computation…