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 条
  • [31] Minimum-violation LTL Planning with Conflicting Specifications
    Tumova, Jana
    Castro, Luis I. Reyes
    Karaman, Sertac
    Frazzoli, Emilio
    Rus, Daniela
    2013 AMERICAN CONTROL CONFERENCE (ACC), 2013, : 200 - 205
  • [32] On the Need for Communication in Distributed Implementations of LTL Motion Specifications
    Kloetzer, M.
    Itani, S.
    Birch, S.
    Belta, C.
    2010 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2010, : 4451 - 4456
  • [33] Distributed Path Planning of Mobile Robots with LTL Specifications
    Hustiu, Ioana
    Kloetzer, Marius
    Mahulea, Cristian
    2020 24TH INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2020, : 60 - 65
  • [34] Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications
    Chatterjee, Krishnendu
    Chmelik, Martin
    Gupta, Raghav
    Kanodia, Ayush
    2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2015, : 325 - 330
  • [35] Zonotope-based Controller Synthesis for LTL Specifications
    Ren, Wei
    Calbert, Julien
    Jungers, Raphael
    2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2021, : 580 - 585
  • [36] Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs
    Amato, Christopher
    Bonet, Blai
    Zilberstein, Shlomo
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 1052 - 1058
  • [37] Accelerated Runtime Verification of LTL Specifications with Counting Semantics
    Medhat, Ramy
    Bonakdarpour, Borzoo
    Fischmeister, Sebastian
    Joshi, Yogi
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 251 - 267
  • [38] Decentralized Runtime Verification of LTL Specifications in Distributed Systems
    Mostafa, Menna
    Bonakdarpour, Borzoo
    2015 IEEE 29TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), 2015, : 494 - 503
  • [39] Model-checker-based testing of LTL specifications
    Garcia, Luis
    Roach, Steve
    HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 417 - 418
  • [40] Output Feedback Control of Nondeterministic Finite-State Systems with Reach-Avoid Specifications
    Ajeleye, Daniel Ajedamola
    Masciulli, Tommaso
    Pola, Giordano
    2022 30TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2022, : 1012 - 1017
12345