@inbook {IOPORT.06084987,
    author       = {Mari, Federico and Melatti, Igor and Salvo, Ivano and Tronci, Enrico},
    title        = {Undecidability of quantized state feedback control for discrete time linear hybrid systems.},
    year         = {2012},
    booktitle    = {Theoretical aspects of computing -- ICTAC 2012. 9th international colloquium, Bangalore, India, September 24--27, 2012. Proceedings},
    isbn         = {978-3-642-32942-5},
    pages        = {243-258},
    publisher    = {Berlin: Springer},
    doi          = {10.1007/978-3-642-32943-2_19},
    abstract     = {Summary: We show that the existence of a quantized controller for a given Discrete Time Linear Hybrid System (DTLHS) is undecidable. This is a relevant class of controllers since control software always implements a quantized controller. Furthermore, we investigate the relationship between dense time modelling and discrete time modelling by showing that any Rectangular Hybrid Automaton (and thus, any Timed Automaton) can be modelled as a DTLHS.},
    identifier   = {06084987},
}