Linearizing Discrete-Time Hybrid Systems
Linearizing Discrete-Time Hybrid Systems
复制标题
线性化离散时间混合系统
DOI：
--
复制
发表时间：
2017
影响因子：
6.8
通讯作者：
E. Tronci
中科院分区：
文献类型：
--
作者：
Vadim Alimguzhin;F. Mari;I. Melatti;Ivano Salvo;E. Tronci
基于模型的嵌入式系统设计方法旨在生成按构造正确的控制软件，确保闭环系统(控制器和对象)满足给定的系统级形式化规范。本技术说明讨论了可能的非线性离散时间混合系统的安全性和可达性的控制综合。借助于要求非线性项为Lipschitz连续函数的句法变换，我们将非线性动力学过度逼近为一个线性系统，其控制器被保证为原系统的控制器。我们评估了我们的方法在有意义的控制综合基准上的性能，并将其与最先进的工具进行了比较。
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 nonlinear discrete-time hybrid systems. By means of a syntactical transformations that requires nonlinear terms to be Lipschitz continuous functions, we overapproximate nonlinear 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.