Modeling of Discrete Event Systems using Finite Automata With Variables
Paper i proceeding, 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.

Författare

Markus Sköldstam

Chalmers, Signaler och system, System- och reglerteknik, Automation

Knut Åkesson

Chalmers, Signaler och system, System- och reglerteknik, Automation

Martin Fabian

Chalmers, Signaler och system, System- och reglerteknik, Automation

Proceedings of the 46th IEEE Conference on Decision and Control

0191-2216 (ISSN)

3387-3392

Ämneskategorier

Reglerteknik

Mer information

Senast uppdaterat

2019-04-16