A Framework for Output-Feedback Symbolic Control

TL;DR

This paper introduces a framework for output-feedback symbolic control, enabling the synthesis and refinement of controllers for systems with only output information, addressing a key limitation of existing symbolic control methods.

Contribution

It proposes relations between systems and symbolic models based on outputs, facilitating controller design and refinement for partially observable systems.

Findings

Framework enables output-feedback control synthesis

Relations between systems and models are based on outputs

Methodologies for controller refinement are provided

Abstract

Symbolic control is an abstraction-based controller synthesis approach that provides, algorithmically, certifiable-by-construction controllers for cyber-physical systems. Symbolic control approaches usually assume that full-state information is available which is not suitable for many real-world applications with partially-observable states or output information. This article introduces a framework for output-feedback symbolic control. We propose relations between original systems and their symbolic models based on outputs. They enable designing symbolic controllers and refining them to enforce complex requirements on original systems. We provide example methodologies to synthesize and refine output-feedback symbolic controllers.