Modular Synthesis of Discrete Controllers

Authors:
Petra Malik;Robi Malik;David Streader;Steve Reeves
Affiliations:
University of Waikato, New Zealand;University of Waikato, New Zealand;University of Waikato, New Zealand;University of Waikato, New Zealand
Venue:
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
Year:
2007

Citing 0
Cited 2

Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution

Discrete Event Dynamic Systems
Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents supervisory control theory in a process-algebraic setting, and proposes a way of synthesising modular supervisors that guarantee nonblocking. The framework used includes the possibility of hiding actions which results in nondeterminism. As modularity crucially depends on the process equivalence used, the paper studies possible equivalences and points out that, in order to be consistent with respect to the nonblocking property and to supervisor synthesis, a conflict-preserving equivalence must be used. It applies the results to synthesise nonblocking modular supervisors for a manufacturing system.