Standard Article

Discrete Event Systems: Untimed Models and their Analysis

  1. Stéphane Lafortune

Published Online: 13 JUN 2008

DOI: 10.1002/9780470050118.ecse113

Wiley Encyclopedia of Computer Science and Engineering

Wiley Encyclopedia of Computer Science and Engineering

How to Cite

Lafortune, S. 2008. Discrete Event Systems: Untimed Models and their Analysis. Wiley Encyclopedia of Computer Science and Engineering. 0.

Author Information

  1. University of Michigan, Ann Arbor, Michigan

Publication History

  1. Published Online: 13 JUN 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.

Keywords:

  • discrete event systems;
  • automata;
  • languages;
  • safety properties;
  • blocking;
  • parallel composition;
  • observers;
  • diagnosers