本文提出了一种离散时间线性系统的最优控制策略，该系统在其状态变量中的一组线性谓词上满足时序逻辑规范。成本是一个二次函数，它惩罚距离。。。

本文提出并分析了一种新的算法，用于在离散时间线性系统上综合执行线性时序逻辑规范的控制器。该方法的中心步骤是计算最大受控不变量。。。

我们为离散时间随机混合系统合成控制器，使系统满足给定规范的概率最大化。规范是用有限状态自动机定义的。结果表明，自动机。。。

有界状态多模式系统（BMS）是一种可以在有限模式集之间自由切换的混合系统，其动力学由有限数量的实值变量指定，这些实值变量的模式依赖率可以在给定的有界集内变化。。。

我们介绍了CoSyMA，一种基于多尺度离散抽象的增量稳定切换系统自动控制器综合工具。该工具接受由一组微分方程和…表示的切换系统的描述。。。

由于系统本身存在的异质性，混合系统的稳定控制器的设计尤其具有挑战性。在本文中，我们提出了一种构造性的方法来设计稳定的动态控制器，以实现公平的控制。。。

机器人中的许多关键任务，如移动或操纵，涉及刚体与环境或多个物体之间的碰撞。基于平方和（SOS）的Lyapunov证书数值计算方法是一种有效的方法。。。

我们考虑机器人系统离散模型的自动控制策略综合问题，以完成一项任务，该任务需要达到目标状态，同时遵守一组给定的安全规则。在本文中，我们将重点讨论所述。。。