 A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event SystemsV. Chandra and R. Kumar Mathematical and Computer Modelling of Dynamical Systems, 2002, vol. 8, issue 1, 49-73 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 the modeling formalism of [4, 5], proposed for obtaining valid models of complex discrete event systems, 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. We illustrate the modeling formalism using examples drawn from manufacturing and process control systems. Date: 2002 Downloads: (external link) Related works: Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text Persistent link: https://EconPapers.repec.org/RePEc:taf:nmcmxx:v:8:y:2002:i:1:p:49-73 Ordering information: This journal article can be ordered from Access Statistics for this article Mathematical and Computer Modelling of Dynamical Systems is currently edited by I. Troch More articles in Mathematical and Computer Modelling of Dynamical Systems from Taylor & Francis Journals |
Is your work missing from RePEc? Here is how to contribute.
Questions or problems? Check the EconPapers FAQ or send mail to .
EconPapers is hosted by the
School of Business at Örebro University.