BriefGPT - AI 论文速递
·
马尔可夫跳跃过程的基础推断模型
💡
原文英文，约100词，阅读约需1分钟。
📝
内容提要
该论文提出了一种使用概率计算树逻辑规范的方法来综合 Markov 跳变线性系统的控制器。该方法通过采样技术从场景方法中计算转换概率的区间，生成 MJLS 的概率上合理的近似，并将该近似评估到实际的温度控制和空中飞行器交付问题等多个基准测试问题中。
🎯
关键要点
- 该论文提出了一种使用概率计算树逻辑规范的方法。
- 该方法用于综合 Markov 跳变线性系统 (MJLS) 的控制器。
- 方法基于生成的有限状态抽象，通过采样技术计算转换概率的区间。
- 生成 MJLS 的概率上合理的近似。
- 该近似被评估到实际的温度控制和空中飞行器交付等多个基准测试问题中。
🏷️
标签
➡️
