Two main issues have been investigated: the combinational explosion, and the actual generation of the hardware controller. Most of the present approaches do not consider explicit communication between different components of a plant. We propose an incremental DCS technique which also applies to communicating systems. An initial modular abstraction is followed by a sequence of progressive refinements and computations of approximate control solutions. The last step of this sequence computes an exact controller. This technique is shown to have an improved time/memory efficiency with respect to...