引文输出
出版物
保存此搜索
研究论文 基于高级规范的机器人集群可验证控制 AAMAS’18：第17届自主代理和多代理系统国际会议记录 • 2018年7月，第568-576页 为大量机器人的安全、可扩展和灵活的集体行为设计控制器是群机器人中的一个重要且具有挑战性的问题。 在本文中，我们重点讨论了从高层可证明正确的控制器合成。。。 研究论文 有界速率多模系统的可调度性 有界状态多模系统是在有限模式集之间自由切换的混合系统，其动力学由有限数量的实值变量指定，这些变量具有在给定有界集内变化的模式相关速率。 调度程序。。。 研究论文 马尔可夫决策过程的风险规避控制- 常规目标 可以建模为马尔可夫决策过程（MDP）的环境中的许多控制问题都涉及无限时间范围规范。 在这种情况下，经典的目标是计算一个控制策略，使满足。。。 研究论文 基于参数反应控制器的合成合成 反应合成的雄心勃勃的目标是从高级规范中自动合成正确结构的控制器，最近在系统设计和控制中引起了极大的关注。 实际上，复杂系统是。。。 第条 反应合成中基于模式的假设保证规范的改进 我们在成分反应合成的背景下考虑成分规格的成分细化问题。 我们的解决方案基于线性时序逻辑LTL中表示的假设和保证的自动细化。 我们。。。 研究论文 有界状态多模系统的安全可调度性 有界状态多模式系统（BMS）是一种可以在有限模式集之间自由切换的混合系统，其动力学由有限数量的实值变量指定，这些实值变量的模式依赖率可以在给定的有界集内变化。。。 第条 双腔植入式起搏器的建模与验证 医疗设备软件的设计和实现具有挑战性，因为其功能迅速增加，并且计算、控制和通信紧密耦合。 安全至关重要的性质和现有行业的缺乏。。。
