Discrete Event Systems: Untimed Models and their Analysis
Stéphane Lafortune · Wiley Encyclopedia of Computer Science and Engineering · 2008
Abstract This article introduces the class of dynamic systems known as discrete event systems, which are characterized by event‐driven transitions over a discrete set of states. The modeling formalism of automata is employed, and their language properties characterized. Parallel composition of automata is defined. Analysis of logical properties of discrete event systems modeled by automata is discussed, with a special focus on partially observed systems and event diagnosis using diagnoser automata.