Modeling of Discrete Event Systems using Finite Automata With Variables
Paper in proceedings, 2007

To get industrial acceptance of supervisory control
theory, there is a need to bridge the gap between
the signal-based industrial reality and the event-
based supervisory control framework. This paper
tries to do this by introducing a modeling formalism
with automata extended with variables, guard
expressions and action functions. The formalism is
suitable for modeling plants and specifications in the
supervisory control framework. An algorithm that
transforms a set of extended automata into a set of
ordinary automata with equivalent behavior, is presented.
This allows the user to model complex behaviors with a
compact representation, and at the same time use existing
algorithms for analysis.

Author

Markus Sköldstam

Chalmers, Signals and Systems, Systems and control, Automation

Knut Åkesson

Chalmers, Signals and Systems, Systems and control, Automation

Martin Fabian

Chalmers, Signals and Systems, Systems and control, Automation

Proceedings of the 46th IEEE Conference on Decision and Control

0191-2216 (ISSN)

3387-3392

Subject Categories

Control Engineering

More information

Latest update

4/16/2019