@inproceedings{cf4b37559c774d85bc0bfaad6d8d14f9,
title = "The controllability 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 existing theories obstructs its widespread application. To alleviate the problem, extended finite state machines (EFSMs) are considered to model discrete event systems. In the theories of supervisory control of discrete event systems, controllability is very important. So the controllability of EFSM is vital to study the supervisory control problem of discrete event systems modeled as EFSMs. This paper focuses on the controllability of EFSMs. Firstly, the controllability of EFSM is proposed. Secondly, based on the definition of non-cyclic path and EFSM of deleting-configurations, the necessary and sufficient condition for controllability and an algorithm for deciding controllability are presented.",
author = "Wang, \{Xiang Yun\} and Cai, \{Kai Yuan\}",
year = "2012",
doi = "10.1007/978-3-642-25778-0\_36",
language = "英语",
isbn = "9783642257773",
series = "Lecture Notes in Electrical Engineering",
publisher = "Springer Verlag",
number = "VOL. 6",
pages = "251--259",
booktitle = "Recent Advances in Computer Science and Information Engineering",
address = "德国",
edition = "VOL. 6",
note = "2nd World Congress on Computer Science and Information Engineering, CSIE 2011 ; Conference date: 17-06-2011 Through 19-06-2011",
}