%0 Journal Article %A WANG Xiang-yun %A ZHAO Lei %A CAI Kai-yuan %T Design approach for EFSM based on supervisory control theory %D 2009 %R 10.3778/j.issn.1002-8331.2009.006 %J Computer Engineering and Applications %P 20-24 %V 45 %N 6 %X With Extended Finite State Machine(EFSM) being applied widely in the fields of computer science and engineering,the design of EFSM is becoming an important issue.However,existing design methods for EFSM lack rigorous theoretical foundation and therefore have to rely heavily on the experience of personal.In this paper,the supervisory control theory of discrete event systems are suggested to be a theoretical foundation to EFSM design,since a transition predicate of an EFSM can be seen as a supervisor of the transition.Firstly,the EFSM induced by a Finite State Machine(FSM) and its language are introduced.Then,based on a plant and its supervisor in the supervisory control theory of discrete event systems,an approach to design EFSM is presented and a rigorous foundation to EFSM design is provided.At the end,this paper illustrates the approach by a password protection module and a software testing process. %U http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.2009.006