Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems

DOI10.1007/978-3-642-32943-2_19zbMath1362.68151OpenAlexW169615145MaRDI QIDQ2915110

Enrico Tronci, Igor Melatti, Federico Mari, Ivano Salvo

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

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

Related Items (2)

On minimising the maximum expected verification time ⋮ 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