Loading [a11y]/accessibility-menu.js
A event occurrence rules based compact modeling formalism for a class of discrete event systems | IEEE Conference Publication | IEEE Xplore

A event occurrence rules based compact modeling formalism for a class of discrete event systems


Abstract:

The analysis, failure diagnosis and control of discrete event systems (DESs) requires an accurate model of the system. In this paper we present a methodology which makes ...Show More

Abstract:

The analysis, failure diagnosis and control of discrete event systems (DESs) requires an accurate model of the system. In this paper we present a methodology which makes the task of modeling DESs considerably less cumbersome, less error prone, and more user-friendly than it usually is. In doing so we simplify a modeling formalism by eliminating "precedence relations", and capturing them as part of the "event occurrence rules". Under the new modeling formalism the size of the system model is polynomial in the number of signals; whereas the number of states in the commonly used automata models is exponential in the number of signals. We present automated techniques for deriving an automaton model from the model in the proposed formalism.
Date of Conference: 08-10 May 2002
Date Added to IEEE Xplore: 07 November 2002
Print ISBN:0-7803-7298-0
Print ISSN: 0743-1619
Conference Location: Anchorage, AK, USA

References

References is not available for this document.