Modular specification of forbidden states for supervisory control
Paper i proceeding, 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.

modular control

supervisory control

formal specification

automata

discrete event systems

forbidden state problem

Författare

Patrik Bergagård

Signaler och system, System- och reglerteknik, Automation

Martin Fabian

Signaler och system, System- och reglerteknik, Automation

Knut Åkesson

Signaler och system, System- och reglerteknik, 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

Ämneskategorier

Data- och informationsvetenskap

Styrkeområden

Produktion

DOI

10.3182/20100830-3-DE-4013.00068

ISBN

978-390266179-1