A Control-Oriented Notion of Finite State Approximation

TL;DR

This paper introduces a control-oriented approach to approximate discrete-time systems with finite state models, facilitating the synthesis of certified controllers by leveraging robust control concepts.

Contribution

It proposes a novel finite state approximation framework tailored for control synthesis, bridging the gap between system modeling and controller design.

Findings

The approach enables systematic controller synthesis for systems with finite-valued sensors and actuators.

It demonstrates the relevance of finite state approximations in control design.

The method incorporates robust control ideas to ensure reliable system performance.

Abstract

We consider the problem of approximating discrete-time plants with finite-valued sensors and actu- ators by deterministic finite memory systems for the purpose of certified-by-design controller synthesis. Building on ideas from robust control, we propose a control-oriented notion of finite state approximation for these systems, demonstrate its relevance to the control synthesis problem, and discuss its key features.