%0 Conference Proceedings
%T Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
%A Mari, Federico
%A Melatti, Igor
%A Salvo, Ivano
%A Tronci, Enrico
%Y Touili, T.
%Y Cook, B.
%Y Jackson, P.
%S Computer Aided Verification
%S Lecture Notes in Computer Science
%D 2010
%V 6174
%I Springer Berlin / Heidelberg
%F Mari_etal2010
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=16), last updated on Sat, 24 Nov 2012 12:31:55 +0100
%X We present an algorithm that given a Discrete Time Linear Hybrid System returns a correct-by-construction software implementation K for a (near time optimal) robust quantized feedback controller for 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.
%R 10.1007/978-3-642-14295-6_20
%U http://mclab.di.uniroma1.it/publications/papers/mari/2010/16_Mari_etal2010.pdf
%U https://doi.org/10.1007/978-3-642-14295-6_20
%P 180-195