%0 Journal Article
%T Linearising Discrete Time Hybrid Systems
%A Alimguzhin, V.
%A Mari, F.
%A Melatti, I.
%A Salvo, I.
%A Tronci, E.
%J IEEE Transactions on Automatic Control
%D 2017
%V 62
%N 10
%@ 0018-9286
%F Alimguzhin_etal2017
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=164), last updated on Tue, 17 Oct 2017 16:22:14 +0200
%X Model Based Design approaches for embedded systems aim at generating correct-by-construction control software, guaranteeing that the closed loop system (controller and plant) meets given system level formal specifications. This technical note addresses control synthesis for safety and reachability properties of possibly non-linear discrete time hybrid systems. By means of syntactical transformations that require non-linear terms to be Lipschitz continuous functions, we over-approximate non-linear dynamics with a linear system whose controllers are guaranteed to be controllers of the original system. We evaluate performance of our approach on meaningful control synthesis benchmarks, also comparing it to a state-of-the-art tool.
%R 10.1109/TAC.2017.2694559
%U http://mclab.di.uniroma1.it/publications/papers/alimguzhin/2017/164_Alimguzhin_etal2017.pdf
%U https://doi.org/10.1109/TAC.2017.2694559
%P 5357-5364