Compositional Control Synthesis for Partially Observable Systems

We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint derivation method works in conjunction with an antichain–based, symbolic algorithm for computing weakest strategies in safety games of imperfect information. We demonstrate how the technique allows a reactive controller to be synthesized in an incremental manner, exploiting locality and independence in the problem specification.

• Type: Conference
• Year: 2009
• Where: CONCUR
• Authors: Wouter Kuijper, Jaco van de Pol
• Keywords: Compositional Method, CONCUR 2009, Constraint Derivation Method, Controllable Plant Components, Distributed And Parallel Computing