A Control-Oriented Notion of Finite State Approximation
arXiv:1105.3788 · doi:10.1109/TAC.2012.2199180
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.
IEEE Transactions on Automatic Control, to appear