Undecidability of quantized state feedback control for discrete time linear hybrid systems

DOI10.1007/978-3-642-32943-2_19MaRDI QIDQ2915110zbMATH OpenOpenAlexFDO

Authors Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci

Publication date 21 September 2012

Published in Theoretical Aspects of Computing – ICTAC 2012 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32943-2_19

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Feedback control (93B52) Discrete-time control/observation systems (93C55)

Recommendations

• scientific article; zbMATH DE number 744078
• scientific article; zbMATH DE number 1059340
• scientific article; zbMATH DE number 1444367
• scientific article; zbMATH DE number 2085321
• Finite-time control of a class of linear systems with quantized feedback

Cited in

(3)

• On minimising the maximum expected verification time
• scientific article; zbMATH DE number 2085321 (Why is no real title available?)
• MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks

This page was built for publication: Undecidability of quantized state feedback control for discrete time linear hybrid systems

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