Control Closure Certificates

Vishnu Murali, Mohammed Adib Oumer, Majid Zamani

This paper introduces the notion of control closure certificates to synthesize controllers for discrete-time control systems against $\ddot{I}‰$-regular specifications. Typical functional…