TY  - JOUR
AU  - Alimguzhin, V.
AU  - Mari, F.
AU  - Melatti, I.
AU  - Salvo, I.
AU  - Tronci, E.
PY  - 2017
DA  - 2017//
TI  - Linearising Discrete Time Hybrid Systems
JO  - IEEE Transactions on Automatic Control
SP  - 5357
EP  - 5364
VL  - 62
IS  - 10
AB  - 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.
SN  - 0018-9286
L1  - http://mclab.di.uniroma1.it/publications/papers/alimguzhin/2017/164_Alimguzhin_etal2017.pdf
UR  - https://doi.org/10.1109/TAC.2017.2694559
DO  - 10.1109/TAC.2017.2694559
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=164), last updated on Tue, 17 Oct 2017 16:22:14 +0200
ID  - Alimguzhin_etal2017
ER  -