Online safety control of a class of hybrid systems

Abstract
In this paper we outline a supervisor synthesis proce- dure for safety control of a class of hybrid systems. The procedure is conducted online based on a limited exploration of the state space. We establish feasibility conditions for online controllability with respect to the safety speciflcations, and provide an upper limit for the accuracy error of the online controller.1

This publication has 3 references indexed in Scilit: