Lipsy Gupta

Safety Verification of Closed-loop Control System with Anytime Perception

In this paper, we consider the problem of safety analysis of a closed-loop control system with anytime perception sensor. We formalize the framework and present a general procedure for safety analysis using reachable set computation. We instantiate the procedure for two concrete classes, namely, the…