The problem of correctly controlling a dynamical system through a digital interface has gained substantial attention in recent years due to its relevance in cyber-physical systems (CPS) design. Here, physical (dynamical) system components interact with cyber (digital) decision units, naturally leading to symbolic interfaces between them. Given a particular specification over the variables of this interface, a relevant question is whether there exists a digital control device only interacting with the physical system (i.e., the plant) via its symbolic interface, such that this specification always holds.

Our work develops fully automated and scalable abstraction and controller synthesis techniques for this important class of output-feedback control problems within CPS.

Group Members Involved:

• Anne-Kathrin Schmuck

Collaborators:

• Bernd Finkbeinder (CISPA, Saarbrücken, Germany)
• Necmiye Ozay (University of Michigan, USA)
• Malte Schledjewski (CISPA, Saarbrücken, Germany)

Publications:

• M. Zareian and A.-K. Schmuck. Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. 2023. HSCC’23. (PDF)
• B. Finkbeiner, K. Mallik, N. Passing, M. Schledjewski and A.-K. Schmuck. BOCoSy: Small but Powerful Symbolic Output-Feedback Control. 2022. HSCC’22 (PDF, Video).
• R. Majumdar, N.Ozay, A.-K. Schmuck. On Abstraction-Based Controller Design With Output Feedback. 2020. HSCC’20. PDF, full version, talk (screencast video)