probabilistic systems | BriefGPT

关键词probabilistic systems

搜索结果 - 7

与你的宠物玩游戏：将部分探索工具扩展到随机博弈
该研究报告介绍了 Partial Exploration Tool（PET）的 2.0 版本，它是一种用于验证概率系统的工具。通过基于最近提出的统一框架的声音价值迭代算法、支持随机博弈，PET2 成为第一个实现解决类型为达到性 / 安全性和
PDF2 months ago
知识作为无知之果：我们思维的全球自由能原理
通过一个人的旅程例子，结合 Jaynes 和 Shannon 的有限无知和惊喜的定义，使用贝叶斯公式和自由能原理，将人的理解、陈述、怀疑和假设数学化，从而表达了有限无知的方案和应用。
PDF2 years ago
噪声机器人程序抽象化
本文介绍一种应用于概率和动态系统的抽象方法，通过基于概率信念的情境演算定义同类关系可将包含嘈杂执行器和传感器的详细概率基本操作理论抽象为可能的非随机基本操作理论，并得到节省细节的抽象 Golog 程序，简化了嘈杂机器人程序的实现，提供了更易
PDF2 years ago
概率系统容错控制器综合
本文提出了一种基于概率系统建模的控制器合成技术，该技术通过使用惩罚函数减少未来对控制器性能可能造成的影响，并最终生成一个具有多策略选择、适应性强的鲁棒性控制器。
PDF9 years ago
马尔可夫决策过程中计算状态相似性的方法
本文运用网络优化和统计抽样技术，克服了计算 Kantorovich 度量在实践中的成本问题，提出了一系列用于 MDP 状态聚合的距离函数，这些函数在时间和空间复杂度以及聚合质量之间存在不同的权衡，并对这些权衡进行了实证评估。
PDF12 years ago
动态、部分已知环境下的概率系统控制与时间逻辑规格
针对由马尔可夫决策过程建模的概率系统，考虑在部分已知环境下综合控制策略，环境由一组马尔可夫链建模，其中每个马尔可夫链描述了环境的不同模式，但环境的模式对于系统是未知的。控制目标为最大化系统满足给定规范的期望概率和最大化最坏情况下满足规范的概
PDF12 years ago
马尔可夫决策过程的多目标模型检查
提供了一种高效的算法来解决多目标模型检验问题，该算法通过随机化策略来实现，在多项式时间内计算了一组 ω -regular 性质的近似 Pareto 曲线，并使用图论方法分析了一些定性多目标模型检验问题。
PDF16 years ago