A modular plant modeling technique and related controller synthesis problems.