A Framework for Output-Feedback Symbolic Control

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