PT Journal
AU Alimguzhin, V
   Mari, F
   Melatti, I
   Salvo, I
   Tronci, E
TI Linearising Discrete Time Hybrid Systems
SO IEEE Transactions on Automatic Control
PY 2017
BP 5357
EP 5364
VL 62
IS 10
DI 10.1109/TAC.2017.2694559
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.
ER