Efficient Synthesis of Barrier Certificates for Safety Verification of Unbounded Cyber-Physical Systems

This paper presents novel techniques to efficiently synthesize barrier certificates for safety verification of cyber-physical systems defined over unbounded domains, which overcomes the limitations of existing approaches.