Apr, 2023

基于采样的反应综合技术在非确定性混合系统中的应用

PDF
TL;DR本文介绍了一种基于采样的策略综合算法，用于处理具有复杂连续动态的非确定性混合系统在时间和可达性约束下的情况，其目的是综合出一个反应式策略以保证满足所有可能对手步骤的要求。实验表明，该算法具有广泛适用性并一直领先于现有技术。
发现论文，激发创造
  • 不确定性引导效率：用于随机混合系统的可扩展形式合成

    该研究旨在为线性动态的离散时间随机混合系统开发高效的抽象方法，通过不确定的 MARKOV 决策过程解决了现有形式方法的限制，可以计算精确的抽象误差，并应用于有限和无限时间范围内的合成步骤，大大缩减抽象误差，提高可缩放性。

    Jan, 2019

  • 并发程序的定量综合

    针对并发程序的定量、性能感知综合算法，以一个非确定性部分程序和一个参数化性能模型为输入，用加权自动机捕捉系统体系结构，通过 2 - 人图游戏解决良性性能最优化问题。我们提出了一种算法方法和实现原型工具，可用于构造各种性能模型和编程模式的有限状态机并发程序。该综合问题 NEXP 完备，但通过引入博弈理论方法可解决。

    Apr, 2011

  • 基于时间轴游戏的控制器合成

    本文介绍了一种针对基于时间轴的游戏的控制器综合的有效且计算上最优的方法。

    Jul, 2023

  • 在具有不完全可达目标偏好的随机系统中的机会定性规划

    本文研究在随机系统中如何综合具有时间扩展目标的偏好满足规划，并提出了安全和积极改进（SPI）和安全几乎肯定改进（SASI）两种解决方案概念以保证改进，并展示了用于合成 SPI 和 SASI 策略的算法。

    Oct, 2022

  • 基于满足性和时间目标的综合

    本文提出了第一个针对具有分数折扣因子的 LTL 和 DSRewards 进行综合的声音算法，并在机器人规划领域展示了其效用。

    May, 2022

  • 基于样本的凸型风险衡量上、下界： 政策合成和验证应用

    本文提出了一种基于样本的方法来解决固有于自主系统中变化环境的风险问题，能够生成高置信度的验证声明和快速合成保证实现最低系统性能的风险感知策略，并在仿真中验证了一种多主体协作系统和其风险感知控制器的优越性能。

    Apr, 2022

  • 基于数据驱动的混合自动机框架用于建模复杂动态系统

    提出一个计算高效的数据驱动式混合自动机建模方法，基于多个神经网络来捕捉未知复杂系统的行为，并且采用区间分析和分裂合并过程来提供集值可达性分析，以减少可达集计算的计算成本同时不影响建模精度。

    Apr, 2023

  • 面向时间轴游戏的控制器合成

    这篇论文介绍了一种基于时间轴的规划方法，其演变受一组时间约束条件控制。为了处理一般的非确定性，提出了基于时间轴的游戏的概念，并提出了一种控制器综合方法来支持时间轴游戏中的胜利策略实现。

    Sep, 2022

  • 非线性多尺度系统的发现：采样策略和嵌入

    介绍了一些发现非线性多尺度动力系统以及它们的嵌入的数据驱动策略，并展示了两种具体的方法，适用于有完整和不完整测量的系统，从而提供了一套将数据要求降至最少以发现和建模非线性多尺度系统的数学策略。

    May, 2018

  • 基于约束和噪声算法的混合时序因果发现

    本文提出了两个新的混合约束式和基于噪声的方法的框架，可以发现可能包含循环的摘要因果图。提供了两种混合算法，并在模拟数据，真实生态数据和各种应用程序的真实数据上进行了实验测试，结果表明，我们的混合方法具有稳健性，并在大多数数据集上产生良好的结果。

    Jun, 2023