保存此搜索
研究论文 2018年4月 ROCS公司 非线性动力系统的鲁棒完全控制综合工具 本文介绍了一种用于非线性动力系统的算法控制综合工具ROCS。 与其他形式化的控制综合工具不同,它保证针对一个鲁棒可实现的规范生成一个控制策略。。。 研究论文 2018年4月 事件触发指数镇定的Lyapunov设计 控制李亚普诺夫函数(CLF)方法为非线性系统的镇定提供了一种构造性工具。 为了找到CLF,文献中提出了许多方法,例如级联系统的反推法和平方和(SOS)规划法。。。 研究论文 2018年4月 从不确定性数据到时序逻辑规划的稳健策略 我们考虑执行复杂任务的系统的鲁棒扰动反馈策略的合成问题。 我们将任务表示为线性时序逻辑规范,并通过混合积分将其编码到优化框架中。。。 研究论文 2018年4月 多项式连续系统的欠逼近可达集 本文提出了一种基于凸规划的方法,用于计算初始集为多项式函数零子级集的多项式连续系统的可达集的半代数欠逼近。 这是众所周知的。。。 研究论文 2018年4月 限制切换下非线性切换系统的镇定 研究了限制切换下连续切换非线性系统的输入输出状态稳定性。 开关信号遵守以下限制:(i)子系统之间的转换,以及(ii)子系统上的停留时间。。。