托马斯·科尔科姆贝特;纳塔娜·菲亚尔科夫;皮埃尔·奥曼-控制随机人群

lmcs:7034-计算机科学中的逻辑方法,2021年11月24日,第17卷第4期-https://doi.org/10.46298/lmcs-17(4:12)2021
控制随机人群第条

作者:托马斯·科尔科姆贝特ORCID公司; 纳塔娜·菲亚尔科夫;皮埃尔·奥尔曼

    Bertrand等人引入了参数化系统模型,其中每个代理由一个有限状态系统表示,并研究了以下控制问题:对于任何数量的代理,是否存在能够带来所有代理都处于目标状态?他们表明问题是可以决定的EXPTIME在对抗性环境中完成,并作为一个开放性问题随机设置,其中代理由马尔可夫决策表示过程。在本文中,我们证明了随机控制问题是可以决定。我们的解决方案充分利用了井拟阶max-flow-min-cut定理和正则成本函数理论。我们引入一个独立利益的中间问题,称为序列流问题及其复杂性研究。


    资料来源:arXiv.org:1911.01195
    第17卷第4期
    发布日期:2021年11月24日
    验收日期:2021年9月28日
    提交日期:2021年1月1日
    关键词:计算机科学——形式语言和自动机理论,计算机科学——分布式、并行和集群计算,计算机科学—计算机科学和博弈论,计算机科学-计算机科学中的逻辑
    基金:
      来源:OpenAIRE Graph
    • 形式语言和逻辑中的二重性——复杂性和语义的统一方法; 出资人:欧洲委员会;代码:670624
    • 逻辑、传感器和自动机面临的挑战; 资助者:法国国家研究局(ANR);代码:ANR-16-CE40-0007

    2引用本文的文件

    咨询统计

    这个页面已经被浏览了1148次。
    本文的PDF已被下载245次。