Date of this Version


Document Type

Conference Paper

Publication Details

Accepted Version.

Krishnan, P. (2005). Decomposing controllers into non-conflicting distributed controllers. Paper presented at Theoretical Aspects of Computing - ICTAC 2004, Guiyang, China.

Access the publisher's website.

2005 HERDC submission. FoR code: 0802

© Copyright Springer-Verlag Berlin Heidelberg, 2005


In this article we present an application of decompositions of automata to obtain distributed controllers. The decomposition technique is derived from the classical method of partitions. Tiffs is then applied to the domain of discrete event systems. We show that it is possible to decompose a monolithic controller into smaller controllers which are non-conflicting. This is derived from the notion of decompositions via partitions. Some global state information is necessary to ensure that the joint behaviour of the component automata is identical to the original controller. The global state information required is identical to the global information present in Zielonka asynchronous automata. The joint behaviour of the component automata is shown to be non-conflicting.



This document has been peer reviewed.