We present an algorithm that given a Discrete Time Linear Hybrid System H returns a correct-by-construction software implementation K for a (near time optimal) robust quantized feedback controller for H along with the set of states on which K is guaranteed to work correctly (controllable region). Furthermore, K has a Worst Case Execution Time linear in the number of bits of the quantization schema.
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems / Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico. - STAMPA. - 6174:(2010), pp. 180-195. (Intervento presentato al convegno 22nd International Conference on Computer Aided Verification tenutosi a Edinburgh, SCOTLAND nel JUL 15-19, 2010) [10.1007/978-3-642-14295-6_20].
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
MARI, FEDERICO;MELATTI, IGOR;SALVO, Ivano;TRONCI, Enrico
2010
Abstract
We present an algorithm that given a Discrete Time Linear Hybrid System H returns a correct-by-construction software implementation K for a (near time optimal) robust quantized feedback controller for H along with the set of states on which K is guaranteed to work correctly (controllable region). Furthermore, K has a Worst Case Execution Time linear in the number of bits of the quantization schema.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
