Compositional Control Synthesis for Partially Observable Systems


Share/Save/Bookmark

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
380kB
[img]
Preview
PDF
231kB
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/67857
Official URL:http://dx.doi.org/10.1007/978-3-642-04081-8_29
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 263983