@inproceedings{73e96e4c81fa4a6aa2e6c8243640fcbb,
title = "Supervisory control of a kind of extended finite state machines",
abstract = "The supervisory control theory of discrete event systems modeled as finite state machines (FSMs) have been studied for many years. However, the problem of state explosion in the exiting theories obstructs its widespread application. To alleviate the problem, extended finite state machines (EFSMs) is considered to model discrete event systems. This paper focuses on the supervisory control of a kind of EFSMs. Based on the concept of controllability, a necessary and sufficient condition for supervisor existence and an optimal algorithm to such supervisor design are presented.",
keywords = "Discrete event systems (DES), Extended finite state machines (EFSMs), Software cybernetics, Supervisory control",
author = "Wang, \{Xiang Yun\} and Cai, \{Kai Yuan\}",
year = "2012",
doi = "10.1109/CCDC.2012.6244119",
language = "英语",
isbn = "9781457720727",
series = "Proceedings of the 2012 24th Chinese Control and Decision Conference, CCDC 2012",
pages = "775--780",
booktitle = "Proceedings of the 2012 24th Chinese Control and Decision Conference, CCDC 2012",
note = "2012 24th Chinese Control and Decision Conference, CCDC 2012 ; Conference date: 23-05-2012 Through 25-05-2012",
}