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

摘要

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.