Discrete Event My
Discrete Event My
Discrete Event My
Introduction
Discrete Event Systems
Discrete Event Systems (DES) are a special type of dynamic systems. The "state" of these systems
changes only at discrete instants of time and the term "event" is used to represent the occurrence of
discontinuous changes (at possibly unknown intervals). Different Discrete Event Systems models are
currently used for specification, verification, synthesis as well as for analysis and evaluation of
different qualitative and quantitative properties of existing physical systems. The automata and formal
language model for DES introduced by Raniadge and Wonham in 1985. This model is suitable for the
examination of some important control theoretic issues, such as controllability and observability from
the qualitative point of view, and provides a good basis for modular synthesis of controllers.
control of discrete event systems comes from control of engineering systems, manufacturing
processes, and computer systems. Examples are online scheduling of transactions in databases, control
of a rapid thermal processor, and design of a communication protocol. The control objectives in such
problems are, for example, liveness, safety, and prevention of blocking. In modeling of practical
formulated as: Construct a supervisor which observes the events of the system and determines after
every event which elements of the set of possible next events must be prevented from occurring.
Control objectives are as mentioned above, primarily to guarantee a certain level of liveness and
safety. Control theory for discrete event systems makes use of several subareas of computer science
such as automata theory, process algebras, logic, temporal logic, complexity, etc.