The Controllability of Extended Finite State Machines
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.
KeywordsInitial Configuration Finite State Machine Supervisory Control State Explosion Cyclic Path
Unable to display preview. Download preview PDF.
- 1.Cai, K.Y., Cangussu, J.W., DeCarlo, R.A., et al.: An overview of software cybernetics. In: Proceedings of the 11th Annual International Workshop on Software Technology and Engineering Practice, pp. 77–86 (2003)Google Scholar
- 3.Wang, P., Cai, K.Y.: Representing extended finite state machines for SDL by a novel control model of discrete event systems. In: Proceedings of the 6th International Conference on Quality Software, pp. 159–166 (2006)Google Scholar
- 4.Wang, X.Y., Ma, X.R.: An equivalence relation on extended finite state machines. In: International Conference on Computational Intelligence and Software Engineering, pp. 11–13 (2009)Google Scholar
- 6.Wang, X.Y., Zhao, L., Cai, K.Y.: Design approach for EFSM based on supervisory control theory. Computer Engineering and Applications 45(6), 20–24 (2009) (in Chinese) Google Scholar
- 7.Wonham, W.M.: Notes on control of discrete-event systems. ECE 1636F/1637S, Department of electrical and computer engineering, University of Toronto (2002)Google Scholar