Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems Federico Mari Igor Melatti Ivano Salvo Enrico Tronci Model Checking Group http://mclab.di.uniroma1.it/ Computer Science Department – Sapienza University of Rome September 21, 2012 ICTCS 2012 – Varese, Italy