Compositional Control Synthesis for Partially Observable Systems

W. Kuijper; Jaco van de Pol

doi:10.1007/978-3-642-04081-8_29

Compositional Control Synthesis for Partially Observable Systems

W. Kuijper, Jaco van de Pol

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

9 Citations (Scopus)

181 Downloads (Pure)

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.

Original language	English
Title of host publication	CONCUR 2009 - Concurrency Theory
Subtitle of host publication	20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
Editors	Mario Bravetti, Gianluigi Zavattaro
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	431-447
Number of pages	17
ISBN (Electronic)	978-3-642-04081-8
ISBN (Print)	978-3-642-04080-1
DOIs	https://doi.org/10.1007/978-3-642-04081-8_29
Publication status	Published - Sept 2009
Event	20th International Conference on Concurrency Theory, CONCUR 2009 - Bologna, Italy Duration: 1 Sept 2009 → 4 Sept 2009 Conference number: 20

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	5710
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	20th International Conference on Concurrency Theory, CONCUR 2009
Abbreviated title	CONCUR
Country/Territory	Italy
City	Bologna
Period	1/09/09 → 4/09/09

Keywords

Controller synthesis
CR-I.1.2
Safety games
FMT-CBD: CORRECTNESS BY DESIGN
Imperfect information

Access to Document

10.1007/978-3-642-04081-8_29

ArticleAccepted author version, 226 KB

Cite this

Kuijper, W., & van de Pol, J. (2009). Compositional Control Synthesis for Partially Observable Systems. In M. Bravetti, & G. Zavattaro (Eds.), CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings (pp. 431-447). (Lecture Notes in Computer Science; Vol. 5710). Springer. https://doi.org/10.1007/978-3-642-04081-8_29

@inproceedings{b7636b63fe9e48f4b218e1143133f03d,

title = "Compositional Control Synthesis for Partially Observable Systems",

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.",

keywords = "Controller synthesis, CR-I.1.2, Safety games, FMT-CBD: CORRECTNESS BY DESIGN, Imperfect information",

author = "W. Kuijper and {van de Pol}, Jaco",

year = "2009",

month = sep,

doi = "10.1007/978-3-642-04081-8_29",

language = "English",

isbn = "978-3-642-04080-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "431--447",

editor = "Mario Bravetti and Gianluigi Zavattaro",

booktitle = "CONCUR 2009 - Concurrency Theory",

address = "Germany",

note = "20th International Conference on Concurrency Theory, CONCUR 2009, CONCUR ; Conference date: 01-09-2009 Through 04-09-2009",

}

Kuijper, W & van de Pol, J 2009, Compositional Control Synthesis for Partially Observable Systems. in M Bravetti & G Zavattaro (eds), CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings. Lecture Notes in Computer Science, vol. 5710, Springer, Berlin, Heidelberg, pp. 431-447, 20th International Conference on Concurrency Theory, CONCUR 2009, Bologna, Italy, 1/09/09. https://doi.org/10.1007/978-3-642-04081-8_29

Compositional Control Synthesis for Partially Observable Systems. / Kuijper, W.; van de Pol, Jaco.
CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings. ed. / Mario Bravetti; Gianluigi Zavattaro. Berlin, Heidelberg: Springer, 2009. p. 431-447 (Lecture Notes in Computer Science; Vol. 5710).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Compositional Control Synthesis for Partially Observable Systems

AU - Kuijper, W.

AU - van de Pol, Jaco

N1 - Conference code: 20

PY - 2009/9

Y1 - 2009/9

N2 - 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.

AB - 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.

KW - Controller synthesis

KW - CR-I.1.2

KW - Safety games

KW - FMT-CBD: CORRECTNESS BY DESIGN

KW - Imperfect information

U2 - 10.1007/978-3-642-04081-8_29

DO - 10.1007/978-3-642-04081-8_29

M3 - Conference contribution

SN - 978-3-642-04080-1

T3 - Lecture Notes in Computer Science

SP - 431

EP - 447

BT - CONCUR 2009 - Concurrency Theory

A2 - Bravetti, Mario

A2 - Zavattaro, Gianluigi

PB - Springer

CY - Berlin, Heidelberg

T2 - 20th International Conference on Concurrency Theory, CONCUR 2009

Y2 - 1 September 2009 through 4 September 2009

ER -

Kuijper W, van de Pol J. Compositional Control Synthesis for Partially Observable Systems. In Bravetti M, Zavattaro G, editors, CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings. Berlin, Heidelberg: Springer. 2009. p. 431-447. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-04081-8_29

Compositional Control Synthesis for Partially Observable Systems

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this