Modular specification of forbidden states for supervisory control
Paper in proceedings, 2010

A method for solving the forbidden state problem in the Supervisory Control Theory framework is presented. In many real-world applications both the plant and specification is given as a set of interacting automata or processes. In this work, we enable specification of forbidden states within such a modular structure. The aim with the method is to make each forbidden modular state combination uncontrollable. It is then possible to use efficient modular synthesis algorithms for calculation of a modular supervisor where the forbidden states are removed.

discrete event systems

modular control

forbidden state problem

supervisory control

formal specification

automata

Author

Patrik Magnusson

Chalmers, Signals and Systems, Systems and control, Automation

Martin Fabian

Chalmers, Signals and Systems, Systems and control, Automation

Knut Åkesson

Chalmers, Signals and Systems, Systems and control, Automation

IFAC Proceedings Volumes. 10th International Workshop on Discrete Event Systems (WODES), Berlin, 30 August - 1 September 2010

1474-6670 (ISSN)

Vol. 10 412-417

Subject Categories

Computer and Information Science

Areas of Advance

Production

DOI

10.3182/20100830-3-DE-4013.00068

ISBN

978-390266179-1

More information

Latest update

11/5/2018