Finite State Control of POMDPs with LTL Specifications

被引：0
|
作者：
Sharan, Rangoli
Burdick, Joel
机构：
来源：
2014 AMERICAN CONTROL CONFERENCE (ACC) | 2014年
关键词：
AVERAGE COST CRITERION;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We consider the synthesis of control policies over partially observable Markov decision processes with linear temporal logic specifications. We limit the search of policies over finite state controllers of a fixed size which leads to a Markov chain with free parameters, over which the probability of satisfaction of the specification can be maximized.
引用
收藏
页码：501 / 508
页数：8
相关论文
共 50 条
  • [1] Finite-Memory Supervisory Control of Discrete Event Systems for LTL[F] Specifications
    Sakakibara, Ami
    Urabe, Natsuki
    Ushio, Toshimitsu
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (12) : 6896 - 6903
  • [2] A Counting Semantics for Monitoring LTL Specifications over Finite Traces
    Bartocci, Ezio
    Bloem, Roderick
    Nickovic, Dejan
    Roeck, Franz
    COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 547 - 564
  • [3] On the Distributivity of LTL Specifications
    Samer, Marko
    Veith, Helmut
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2010, 11 (03)
  • [4] Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning
    Schillinger, Philipp
    Buerger, Mathias
    Dimarogonas, Dimos V.
    DISTRIBUTED AUTONOMOUS ROBOTIC SYSTEMS, 2019, 6 : 253 - 267
  • [5] Secure Control in Partially Observable Environments to Satisfy LTL Specifications
    Ramasubramanian, Bhaskar
    Niu, Luyao
    Clark, Andrew
    Bushnell, Linda
    Poovendran, Radha
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (12) : 5665 - 5679
  • [6] A Probabilistic Approach for Control of a Stochastic System from LTL Specifications
    Lahijanian, M.
    Andersson, S. B.
    Belta, C.
    PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 2236 - 2241
  • [7] Directed Control of Discrete Event Systems with LTL[F] Specifications
    Sakakibara, Ami
    Ushio, Toshimitsu
    2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 3962 - 3967
  • [8] Optimal Control of Multi-Vehicle Systems with LTL Specifications
    Kobayashi, Koichi
    Nagami, Takuro
    Hiraishi, Kunihiko
    2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 7709 - 7714
  • [9] LTL Goal Specifications Revisited
    Bauer, Andreas
    Haslum, Patrik
    ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2010, 215 : 881 - 886
  • [10] Tally Keeping-LTL: An LTL Semantics for Quantitative Evaluation of LTL Specifications
    Khoury, Raphael
    Halle, Sylvain
    2018 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2018, : 495 - 502
12345