Safety Verification of Closed-loop Control System with Anytime Perception
Lipsy Gupta,Jahid Chowdhury Choton,Pavithra Prabhakar,Lipsy Gupta,Jahid Chowdhury Choton,Pavithra Prabhakar
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 classical discrete-time linear system with linear state feedback controller and an extension with v...
