Title :
The DEVS framework for discrete event systems control
Author :
Song, Hae Sang ; Kim, Tag Gon
Author_Institution :
Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea
Abstract :
This paper proposes a new methodology for analysis of discrete event systems and design of discrete event systems controllers. The methodology is based on the sound semantics for specification of discrete event systems, called the discrete event system specification (DEVS) formalism. It introduces concepts of inverse DEVS and defines controllability of discrete event systems expressed in the DEVS formalism. These two concepts, inverse DEVS and controllability of discrete event systems, play important roles in designing a discrete event controller. An example for appreciating the concepts is presented.<>
Keywords :
computational linguistics; controllability; discrete event systems; formal specification; semantic networks; DEVS formalism; controllability; discrete event controller; discrete event systems control; formal specification; semantics; Automata; Automatic control; Communication system traffic control; Computer aided manufacturing; Computer network management; Computer networks; Control systems; Controllability; Discrete event systems; Supervisory control;
Conference_Titel :
AI, Simulation, and Planning in High Autonomy Systems, 1994. Distributed Interactive Simulation Environments., Proceedings of the Fifth Annual Conference on
Conference_Location :
Gainesville, FL, USA
Print_ISBN :
0-8186-6440-1
DOI :
10.1109/AIHAS.1994.390484
