A Control-Oriented Notion of Finite State Approximation
It addresses the problem of approximating complex systems for control synthesis, but the contribution is primarily conceptual without empirical validation.
The paper proposes a control-oriented notion of finite state approximation for discrete-time plants with finite-valued sensors and actuators, demonstrating its relevance to certified-by-design controller synthesis.
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.