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. © 2012 Springer-Verlag.
Undecidability of quantized state feedback control for discrete time linear hybrid systems / Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico. - STAMPA. - 7521 LNCS:(2012), pp. 243-258. (Intervento presentato al convegno 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 tenutosi a Bangalore nel 24 September 2012 through 27 September 2012) [10.1007/978-3-642-32943-2_19].
Undecidability of quantized state feedback control for discrete time linear hybrid systems
MARI, FEDERICO;MELATTI, IGOR;SALVO, Ivano;TRONCI, Enrico
2012
Abstract
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. © 2012 Springer-Verlag.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
