Compositional Control Synthesis for Partially Observable Systems


Kuijper, Wouter and Pol, Jaco van de (2009) Compositional Control Synthesis for Partially Observable Systems. In: 20th International Conference on Concurrency Theory, CONCUR 2009, 1-4 September 2009, Bologna, Italy (pp. pp. 431-447).

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract: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.
Item Type:Conference or Workshop Item
Copyright:© 2009 Springer
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 263983