CISPA
Browse

File(s) not publicly available

BOCoSy: Small but Powerful Symbolic Output-Feedback Control

conference contribution
posted on 2023-11-29, 18:20 authored by Bernd FinkbeinerBernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte SchledjewskiMalte Schledjewski, Anne-Kathrin Schmuck
We present BOCoSy, a tool for bounded symbolic output-feedback controller synthesis. BOCoSy synthesizes symbolic output-feedback controllers which interact with a given plant via a pre-defined finite symbolic interface. BOCoSy solves this problem by a new lazy abstraction-refinement technique which starts with a very coarse abstraction of the external trace semantics of the given plant and iteratively removes non-admissible behavior from this abstract model until a controller is found. BOCoSy steers the search for controllers towards small and concise state space representations by utilizing ideas from bounded synthesis. As a result, BOCoSy returns small and explainable controllers that are still powerful enough to solve the given synthesis problem. We show that BOCoSy is able to synthesize small, human readable symbolic controllers quickly on a set of benchmarks.

History

Preferred Citation

Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski and Anne-Kathrin Schmuck. BOCoSy: Small but Powerful Symbolic Output-Feedback Control. In: ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2022.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

ACM International Conference on Hybrid Systems: Computation and Control (HSCC)

Legacy Posted Date

2022-05-06

Open Access Type

  • Unknown

BibTeX

@inproceedings{cispa_all_3669, title = "BOCoSy: Small but Powerful Symbolic Output-Feedback Control", author = "Finkbeiner, Bernd and Mallik, Kaushik and Passing, Noemi and Schledjewski, Malte and Schmuck, Anne-Kathrin", booktitle="{ACM International Conference on Hybrid Systems: Computation and Control (HSCC)}", year="2022", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC