Abstract:This paper focuses on supervisory control of a class of discrete event systems with known initial and desti nation states, whose evolution conforms to a set of specified linear or non-linear constraints. A supervisor is designed, which supervises the considered system to evolve and finally to reach the destination state with minimal costs without violating the specified constraints. A partial structure of the Petri net model of a system is first created by the constraints. Then, we find the destination state u… Show more
Set email alert for when this publication receives citations?
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.