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

fYear

1994

fDate

7-9 Dec. 1994

Firstpage

228

Lastpage

234

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/AIHAS.1994.390484

Filename

390484