Paper Info
Title
Equivalence and minimization of output augmented DEVS
Abstract
We propose an augmented DEVS (discrete event system specification) which is able to generate an event string when it receives an input event or its scheduled internal event is triggered. This augmentation is useful in the model analysis since we can generate equivalent behavior with fewer states. For identifying equivalent behavior, introduced in this paper is a timed language that is a set of event trajectories. Ways of identifying equivalent states and equivalent DEVSs are introduced according to their generating language. We also show some methods for minimization of the augmented DEVS while guaranteeing preservation of equivalent behavior.
Year
DOI
Venue
2003
10.1109/ICSMC.2003.1243850
SMC
Keywords
Field
DocType
model analysis,timed language,identification,discrete event systems,minimization,augmented devs,equivalent state identification,discrete event system specification,minimisation,event string generation,event trajectories
Computer science,Discrete event dynamic system,Theoretical computer science,Equivalence (measure theory),DEVS,Minimisation (psychology),Minification,Discrete event simulation
Conference
Volume
ISSN
ISBN
1
1062-922X
0-7803-7952-7
Citations 
PageRank 
References 
1
0.36
0
Authors
1
Name
Order
Citations
PageRank
Moon Ho Hwang1404.77