By Topic

A discrete event systems modeling formalism based on event occurrence rules and precedences

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
$33 $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)
Chandra, V. ; Dept. of Electr. Eng. & Comput. Eng., Kentucky Univ., Lexington, KY, USA ; Kumar, R.

The analysis (verification, diagnosis, control, etc.) of discrete event systems requires a correct model of the system and of its specifications. In this paper, we present a new modeling formalism for generating valid models of complex systems. The class of systems this applies to is one which consists of signals that take binary values. The technique presented here makes the task of modeling considerably less cumbersome and less error-prone and is user-friendly. Another advantage of using this modeling formalism is that the size of the system model is polynomial in the number of signals, whereas the number of states in the automata models is exponential in the number of signals. We present automated techniques for deriving an automaton-based model from the model in the proposed formalism. We illustrate the modeling formalism using examples drawn from manufacturing systems and process control

Published in:

Robotics and Automation, IEEE Transactions on  (Volume:17 ,  Issue: 6 )