量化离散时间混合系统的自动控制软件综合
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems
AI总结：
针对离散时间非线性混合系统，提出一种通过线性混合系统过近似原系统动力学的方法，确保为线性系统设计的控制器同样适用于原系统，并在倒立摆基准上验证。
摘要：
许多嵌入式系统实际上是基于软件的控制系统，即控制器由运行在微控制器设备上的控制软件组成。这激发了对基于形式化模型设计的嵌入式系统控制软件自动综合方法的研究。本文针对离散时间非线性系统的控制软件综合问题。我们提出了一种方法，通过离散时间线性混合系统 L(H) 来过近似离散时间非线性混合系统 H 的动力学，使得为 L(H) 设计的控制器保证是 H 的控制器。我们给出了在倒立摆（非线性混合系统控制中一个具有挑战性和意义的基准）上的实验结果。
英文摘要：
Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of embedded systems control software. This paper addresses control software synthesis for discrete time nonlinear systems. We present a methodology to overapproximate the dynamics of a discrete time nonlinear hybrid system H by means of a discrete time linear hybrid system L(H), in such a way that controllers for L(H) are guaranteed to be controllers for H. We present experimental results on the inverted pendulum, a challenging and meaningful benchmark in nonlinear Hybrid Systems control.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
