Compositional Control Synthesis for Partially Observable Systems

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
    49 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 languageUndefined
    Title of host publicationCONCUR 2009 - Concurrency Theory
    EditorsM. Bravetti, G. Zavattaro
    Place of PublicationBerlin / Heidelberg
    PublisherSpringer
    Pages431-447
    Number of pages17
    ISBN (Print)978-3-642-04080-1
    DOIs
    Publication statusPublished - Sep 2009
    Event20th International Conference on Concurrency Theory, CONCUR 2009 - Bologna, Italy
    Duration: 1 Sep 20094 Sep 2009
    Conference number: 20

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Volume5710
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference20th International Conference on Concurrency Theory, CONCUR 2009
    Abbreviated titleCONCUR
    CountryItaly
    CityBologna
    Period1/09/094/09/09

    Keywords

    • METIS-263983
    • IR-67857
    • Controller synthesis
    • CR-I.1.2
    • EWI-15981
    • safety games
    • FMT-CBD: CORRECTNESS BY DESIGN
    • imperfect information

    Cite this

    Kuijper, W., & van de Pol, J. C. (2009). Compositional Control Synthesis for Partially Observable Systems. In M. Bravetti, & G. Zavattaro (Eds.), CONCUR 2009 - Concurrency Theory (pp. 431-447). [10.1007/978-3-642-04081-8_29] (Lecture Notes in Computer Science; Vol. 5710). Berlin / Heidelberg: Springer. https://doi.org/10.1007/978-3-642-04081-8_29
    Kuijper, W. ; van de Pol, Jan Cornelis. / Compositional Control Synthesis for Partially Observable Systems. CONCUR 2009 - Concurrency Theory. editor / M. Bravetti ; G. Zavattaro. Berlin / Heidelberg : Springer, 2009. pp. 431-447 (Lecture Notes in Computer Science).
    @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 = "METIS-263983, IR-67857, Controller synthesis, CR-I.1.2, EWI-15981, safety games, FMT-CBD: CORRECTNESS BY DESIGN, imperfect information",
    author = "W. Kuijper and {van de Pol}, {Jan Cornelis}",
    note = "10.1007/978-3-642-04081-8_29",
    year = "2009",
    month = "9",
    doi = "10.1007/978-3-642-04081-8_29",
    language = "Undefined",
    isbn = "978-3-642-04080-1",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "431--447",
    editor = "M. Bravetti and G. Zavattaro",
    booktitle = "CONCUR 2009 - Concurrency Theory",

    }

    Kuijper, W & van de Pol, JC 2009, Compositional Control Synthesis for Partially Observable Systems. in M Bravetti & G Zavattaro (eds), CONCUR 2009 - Concurrency Theory., 10.1007/978-3-642-04081-8_29, 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, Jan Cornelis.

    CONCUR 2009 - Concurrency Theory. ed. / M. Bravetti; G. Zavattaro. Berlin / Heidelberg : Springer, 2009. p. 431-447 10.1007/978-3-642-04081-8_29 (Lecture Notes in Computer Science; Vol. 5710).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Compositional Control Synthesis for Partially Observable Systems

    AU - Kuijper, W.

    AU - van de Pol, Jan Cornelis

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

    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 - METIS-263983

    KW - IR-67857

    KW - Controller synthesis

    KW - CR-I.1.2

    KW - EWI-15981

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

    A2 - Zavattaro, G.

    PB - Springer

    CY - Berlin / Heidelberg

    ER -

    Kuijper W, van de Pol JC. Compositional Control Synthesis for Partially Observable Systems. In Bravetti M, Zavattaro G, editors, CONCUR 2009 - Concurrency Theory. Berlin / Heidelberg: Springer. 2009. p. 431-447. 10.1007/978-3-642-04081-8_29. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-04081-8_29