Abstract:
In this paper we outline a supervisor synthesis procedure for safety control of a class of hybrid systems. The procedure is conducted online based on a limited exploratio...Show MoreMetadata
Abstract:
In this paper we outline a supervisor synthesis procedure 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 specifications, and provide an upper limit for the accuracy error of the online controller.
Date of Conference: 10-13 December 2002
Date Added to IEEE Xplore: 10 March 2003
Print ISBN:0-7803-7516-5
Print ISSN: 0191-2216