保存此搜索
邀请谈话 2018年4月 
符号控制的成分合成 符号控制旨在利用算法离散综合技术，为连续动态系统设计“构造正确”的控制器。 符号控制的关键概念是符号模型（也称为有限抽象），。。。 演示 2018年4月 ROCS公司 非线性动力系统的鲁棒完全控制综合工具 本演示摘要介绍了ROCS，一种用于非线性动力系统的算法控制综合工具。 与其他形式化的控制综合工具不同，它保证针对鲁棒可实现的系统生成控制策略。。。 研究论文 2018年4月 ROCS公司 非线性动力系统的鲁棒完全控制综合工具 本文介绍了一种用于非线性动力系统的算法控制综合工具ROCS。 与其他形式化的控制综合工具不同，它保证针对一个鲁棒可实现的规范生成一个控制策略。。。 研究论文 2018年4月 利用凸性和紧性对随机LTI系统的可缩放欠近似检验 为了验证具有任意随机扰动的高维随机LTI系统，我们提出了一种可扩展的算法来构造终端到达时间随机可达无效集的多面体下近似。 我们证明了。。。 研究论文 2018年4月 事件触发指数镇定的Lyapunov设计 控制李亚普诺夫函数（CLF）方法为非线性系统的镇定提供了一种构造性工具。 为了找到CLF，文献中提出了许多方法，例如级联系统的反推法和平方和（SOS）规划法。。。
