Modeling of Discrete Event Systems using Finite Automata With Variables
Journal article, 2007

To get industrial acceptance of supervisory control theory, there is a need to bridge the gap between the signalbased 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

Subject Categories

Computer and Information Science

More information

Latest update

12/13/2018