Abstract
As a mathematical model for cyber-physical system, hybrid systems are dynamical systems that are governed by interacting discrete and continuous dynamics. In this paper, we present a symbolic-numeric hybrid method to generate inequality inductive invariants for safety verification of polynomial hybrid systems, and based on this method, we develop an automated verification tool HSProver.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have