The DEVS framework for discrete event systems control

Hae Sang Song Hae Sang Song,Tag Gon Kim Tag Gon Kim

doi:10.1109/aihas.1994.390484

The DEVS framework for discrete event systems control

Hae Sang Song Hae Sang Song, Tag Gon Kim Tag Gon Kim

https://doi.org/10.1109/aihas.1994.390484

Copy DOI

Publication Date: Dec 7, 1994

Citations: 12

Affiliation: Korea Advanced Institute of Science and Technology

#Discrete Event System Specification Formalism #Discrete Event System Specification + Show 8 more

Abstract
Full-Text PDF
Similar Papers

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. >

Full Text