Feedback Encoding for Efficient Symbolic Control of Dynamical Systems

DOI10.1109/TAC.2006.876947zbMATH Open1366.93387OpenAlexW2146156468MaRDI QIDQ5281863FDOQ5281863

Authors Antonio Bicchi, Alessia Marigo, B. Piccoli

Publication date 27 July 2017

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

Full work available at URL https://doi.org/10.1109/tac.2006.876947

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Automated systems (robots, etc.) in control theory (93C85) Control/observation systems in abstract spaces (93C25) Control/observation systems involving computers (process control, etc.) (93C83)

Cited in

(3)

• Approximately bisimilar symbolic models for nonlinear control systems
• Optimal input sets for time minimality in quantized control systems
• Optimal input sets for steering quantized systems

This page was built for publication: Feedback Encoding for Efficient Symbolic Control of Dynamical Systems

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