Advertisement
Published in:
2013 | OriginalPaper | Chapter
13. Logical Analysis of Discrete Event System Using Compositional Minimization
Author : Wan-Bok Lee
Published in: Future Information Communication Technology and Applications
Publisher: Springer Netherlands
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
Logical analysis of a system is an indispensable process for high quality and reliable system development. In this paper, we propose an analysis method based on compositional minimization for DEVS models. For the purpose of logical analysis of DEVS models, Communicating Discrete Event Systems (CDEVS) model was defined, which enables representing the nondeterministic behavior of systems. As a means of systematic proof technique, two operations named composition and minimization were defined. These operations are compatible with the meaning of the communication semantics of DEVS models. Repetitive composition and minimization of component models produces a new CDEVS model that has the same input output responses to an environment. As the conformation criteria between the specification and the implementation, equivalence relation has been used.