Identifying equivalence of DEVSs: A language approach

Simulation Series

Volumn 35, Issue 3, 2003, Pages 319-324

  Hwang, Moon Ho ^a  

^a Hyundai Heavy Industries   (South Korea)

Author keywords

DEVS; Equivalence; Logical Analysis; Untimed Event Language

Indexed keywords

SPECIFICATIONS;

DESIGN AND IMPLEMENTATIONS; DESIGN PROCESS; DEVS; DISCRETE EVENT SYSTEM SPECIFICATION; EQUIVALENCE; EQUIVALENT STATE; LOGICAL ANALYSIS; UNTIMED EVENT LANGUAGE;

DISCRETE EVENT SIMULATION;

EID: 84907912509     PISSN: 07359276     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Kim, T.G., SM. Cho and W.B. Lee, 2001. "DEVS Framework for Systems Development: Unified Specification for Logical Analysis, Performance Evaluation and Implementation" Discrete Event Modeling And Simulation Technologies('ff.S.Sarjoughian and F. E. Celiie.r Editors), Springer-Verlag, New York, Inc., 131-166
2. Ibm Y.C., 1993, "Forward to the Special Issue" Discrete Event Dynamic Systems: Theory and Applications. 3, 111
3. Zeigler, BR; H. Praehofer; T.G. Kim, 2000,The- ory of Modeling and Simulation, (2nd Edition): Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press
4. Zeigler,B.P., 1992, "System Formulation of a Theory of Diagnosis from First Principles.' IEEE Transactions on Reliability, 41, no. l(March):38-48
5. Zeigler. H.P. and S. Chi,1992, "Symbolic Discrete Event System Specification." IEEE Transactions on Systems, Man, and Cybernetics. 22, no. 6,(Nov./Dec.): 1428-1443
6. Hong, C.P.and T.G. Kim,1996, "A Framework for Verifying Discrete Devent Models Within a DEVSBased System Development Methodology." Transactions of The Society for Computer Simulation. 13, no. 1: 19-34
7. Hopcroft J.H.; R. Motwani,; J.D. Ullman, 2001, Introduction to A utorn,ota Theory, Languages, and Computation, (2nd Edition). Pearson Education
8. Lin, F and W.M. Wonharn, 1990, "Decentralized control and coordination of discrete event systems with partial observation" IEEE Transactions on Automatic Control, 35, (Dee) : 1330-1337