Synthesis of Distributed Controllers by Means of a Monolithic Approach

This contribution presents an approach for synthesis of distributed logic controllers based on modular plant models and forbidden states. Modular plant models are defined that keep the state distributed. Forbidden states are formulated by means of predicates. A backward search algorithm is applied to determine a monolithic controller for the specification. Afterwards, the controller is split into a network of communicating local controllers each imposing control on a part of the plant. It is proven that the network of local controllers realizes the same behaviour at the plant as the monolithic controller. An example illustrates the methodology.