---
_id: '12530'
abstract:
- lang: eng
  text: We present BOCoSy, a tool for Bounded symbolic Output-feedback Controller
    Synthesis. Given a specification, 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.
article_processing_charge: No
author:
- first_name: Bernd
  full_name: Finkbeiner, Bernd
  last_name: Finkbeiner
- first_name: Kaushik
  full_name: Mallik, Kaushik
  id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598
  last_name: Mallik
  orcid: 0000-0001-9864-7475
- first_name: Noemi
  full_name: Passing, Noemi
  last_name: Passing
- first_name: Malte
  full_name: Schledjewski, Malte
  last_name: Schledjewski
- first_name: Anne-Kathrin
  full_name: Schmuck, Anne-Kathrin
  last_name: Schmuck
citation:
  ama: 'Finkbeiner B, Mallik K, Passing N, Schledjewski M, Schmuck A-K. BOCoSy: Small
    but powerful symbolic output-feedback control. In: <i>25th ACM International Conference
    on Hybrid Systems: Computation and Control</i>. ACM; 2022:24:1-24:11. doi:<a href="https://doi.org/10.1145/3501710.3519535">10.1145/3501710.3519535</a>'
  apa: 'Finkbeiner, B., Mallik, K., Passing, N., Schledjewski, M., &#38; Schmuck,
    A.-K. (2022). BOCoSy: Small but powerful symbolic output-feedback control. In
    <i>25th ACM International Conference on Hybrid Systems: Computation and Control</i>
    (p. 24:1-24:11). Milan, Italy: ACM. <a href="https://doi.org/10.1145/3501710.3519535">https://doi.org/10.1145/3501710.3519535</a>'
  chicago: 'Finkbeiner, Bernd, Kaushik Mallik, Noemi Passing, Malte Schledjewski,
    and Anne-Kathrin Schmuck. “BOCoSy: Small but Powerful Symbolic Output-Feedback
    Control.” In <i>25th ACM International Conference on Hybrid Systems: Computation
    and Control</i>, 24:1-24:11. ACM, 2022. <a href="https://doi.org/10.1145/3501710.3519535">https://doi.org/10.1145/3501710.3519535</a>.'
  ieee: 'B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, and A.-K. Schmuck,
    “BOCoSy: Small but powerful symbolic output-feedback control,” in <i>25th ACM
    International Conference on Hybrid Systems: Computation and Control</i>, Milan,
    Italy, 2022, p. 24:1-24:11.'
  ista: 'Finkbeiner B, Mallik K, Passing N, Schledjewski M, Schmuck A-K. 2022. BOCoSy:
    Small but powerful symbolic output-feedback control. 25th ACM International Conference
    on Hybrid Systems: Computation and Control. HSCC: International Conference on
    Hybrid Systems Computation and Control, 24:1-24:11.'
  mla: 'Finkbeiner, Bernd, et al. “BOCoSy: Small but Powerful Symbolic Output-Feedback
    Control.” <i>25th ACM International Conference on Hybrid Systems: Computation
    and Control</i>, ACM, 2022, p. 24:1-24:11, doi:<a href="https://doi.org/10.1145/3501710.3519535">10.1145/3501710.3519535</a>.'
  short: 'B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski, A.-K. Schmuck, in:,
    25th ACM International Conference on Hybrid Systems: Computation and Control,
    ACM, 2022, p. 24:1-24:11.'
conference:
  end_date: 2022-05-06
  location: Milan, Italy
  name: 'HSCC: International Conference on Hybrid Systems Computation and Control'
  start_date: 2022-05-04
date_created: 2023-02-08T11:43:50Z
date_published: 2022-05-01T00:00:00Z
date_updated: 2023-02-09T08:53:13Z
day: '01'
doi: 10.1145/3501710.3519535
extern: '1'
language:
- iso: eng
month: '05'
oa_version: None
page: 24:1-24:11
publication: '25th ACM International Conference on Hybrid Systems: Computation and
  Control'
publication_identifier:
  isbn:
  - '9781450391962'
publication_status: published
publisher: ACM
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'BOCoSy: Small but powerful symbolic output-feedback control'
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2022'
...