By Topic

Analysis on steady state behavior of DEVS models

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Myung Soo Ahn ; Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea ; Tag Gon Kim

B. P. Zeigler's (1984) DEVS formalism supports a unified modeling and simulation framework for discrete event systems, but it lacks an analytic means for reasoning about system behavior. To provide both analytic and simulation means for the formalism, an approach to analyzing the steady state behavior of DEVS models without simulation experiments is proposed. By establishing correspondence between a DEVS model and a continuous-time Markov chain in steady state, the approach transforms the given DEVS model into an equivalent continuous time Markov chain. By analyzing the Markov chain, various steady state probabilities, such as mean sojourn time and mean waiting time, are obtained. The proposed approach is validated by comparing the results from the approach with those from simulation experiments

Published in:

AI, Simulation, and Planning in High Autonomy Systems, 1993. Integrating Virtual Reality and Model-Based Environments. Proceedings. Fourth Annual Conference

Date of Conference:

20-22 Sep 1993