Anzeige
Erschienen in:
2012 | OriginalPaper | Buchkapitel
The Controllability of Extended Finite State Machines
verfasst von : Xiang-Yun Wang, Kai-Yuan Cai
Erschienen in: Recent Advances in Computer Science and Information Engineering
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.