A Control-Oriented Notion of Finite State Approximation

DOI10.1109/TAC.2012.2199180MaRDI QIDQ5353053zbMATH OpenOpenAlexFDO

Authors D. C. Tarraf

Publication date 8 September 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1105.3788

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Discrete event control/observation systems (93C65)

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.

Cited in

(4)

• Deadlock-free output feedback controller design based on approximately abstracted observers
• Finite alphabet control of logistic networks with discrete uncertainty
• Finite abstractions with robustness margins for temporal logic-based control synthesis
• Algebraic decompositions of DP problems with linear dynamics

This page was built for publication: A Control-Oriented Notion of Finite State Approximation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5353053)