PT Chapter AU Mari, F Melatti, I Salvo, I Tronci, E TI Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems BT Theoretical Aspects of Computing – ICTAC 2012 SE Lecture Notes in Computer Science PY 2012 BP 243 EP 258 VL 7521 DI 10.1007/978-3-642-32943-2_19 ER