Symbolic control techniques have provided a powerful framework in the last decades for mitigating complexity in the control of nonlinear systems with intricate specifications [1], [2]. The increasing complexity of dynamical systems that intertwine aspects of digital devices with real-world tasks motivates the study of such cyber-physical systems under this perspective. The central idea in constructing symbolic models is to create a finite-state representation that describes the continuous system in an approximate way. Each state in the finite-state machine represents a subset of the continuous state space. We present an abstraction-based approach in which the transitions are not labeled by discretized control inputs but by local state-feedback controllers that ensure the determinism of the symbolic system, even when the original system is non-deterministic [4].
Neves Egidio, L., Lima, T. A., & Jungers, R. (2022). Optimal Abstraction-based Control with Local Affine Controllers. 2022 American Control Conference (ACC), Atlanta, GA, USA. https://hdl.handle.net/2078.5/164591