保存此搜索
研究论文 2013年4月 离散时间系统的时序逻辑模型预测控制 本文提出了一种离散时间线性系统的最优控制策略,该系统被约束为满足状态变量中一组线性谓词的时间逻辑规范。 成本是一个二次函数,它惩罚距离。。。 研究论文 2013年4月 线性系统和安全线性时间时序逻辑的规范引导控制器综合 本文提出并分析了一种新的算法,用于在离散时间线性系统上综合执行线性时序逻辑规范的控制器。 该方法的中心步骤是计算最大受控不变量。。。 研究论文 2013年4月 随机混杂系统规范的控制设计 我们为离散时间随机混合系统合成控制器,使系统满足给定规范的概率最大化。 规范是用有限状态自动机定义的。 结果表明,自动机。。。 研究论文 2013年4月 有界状态多模系统的安全可调度性 有界状态多模式系统(BMS)是一种可以在有限模式集之间自由切换的混合系统,其动力学由有限数量的实值变量指定,这些实值变量的模式依赖率可以在给定的有界集内变化。。。 研究论文 2013年4月 CoSyMA公司 :使用多尺度抽象的控制器综合工具 我们介绍了CoSyMA,一种基于多尺度离散抽象的增量稳定切换系统自动控制器综合工具。 该工具接受由一组微分方程和…表示的切换系统的描述。。。 研究论文 2013年4月 用于混合系统镇定的混合控制lyapunov函数 由于系统本身的异质性,混合系统稳定控制器的设计尤其具有挑战性。 在本文中,我们提出了一种构造性的方法来设计稳定的动态控制器,以实现公平的控制。。。 研究论文 2013年4月 基于平方和的碰撞和摩擦刚体系统的Lyapunov分析 机器人中的许多关键任务,如移动或操纵,涉及刚体与环境或多个物体之间的碰撞。 基于平方和(SOS)的Lyapunov证书数值计算方法是一种有效的方法。。。 研究论文 2013年4月 基于安全规则的违约控制策略综合 我们考虑机器人系统离散模型的自动控制策略综合问题,以完成一项任务,该任务需要达到目标状态,同时遵守一组给定的安全规则。 在本文中,我们将重点讨论所述。。。