保存此搜索
研究论文 2013年4月 部分未知环境下混合系统的迭代时间运动规划 本文研究了在给定时序逻辑规范的部分未知环境下,具有复杂非线性动力学的混合机器人系统的运动规划问题。 我们采用多层协同框架,可以处理。。。 研究论文 2013年4月 有界状态多模系统的安全可调度性 有界状态多模式系统(BMS)是一种可以在有限模式集之间自由切换的混合系统,其动力学由有限数量的实值变量指定,这些实值变量的模式依赖率可以在给定的有界集内变化。。。 研究论文 2013年4月 使用图形游戏自动分析实时调度 在本文中,我们引入了强大的图游戏框架,用于分析具有固定期限的实时调度。 我们介绍了一个适合于此目的的部分观察博弈的新实例,并证明了所有。。。