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 条
  • [41] Control synthesis via state feedback with finite frequency specifications for time-delay systems
    Zhang, Xiao-Ni
    Yang, Guang-Hong
    INTERNATIONAL JOURNAL OF CONTROL, 2009, 82 (03) : 508 - 516
  • [42] Patterns in property specifications for finite-state verification
    Dwyer, Matthew B.
    Avrunin, George S.
    Corbett, James C.
    Proceedings - International Conference on Software Engineering, 1999, : 411 - 420
  • [43] Finite LTL Synthesis as Planning
    Camacho, Alberto
    Baier, Jorge A.
    Muise, Christian
    McIlraith, Sheila A.
    TWENTY-EIGHTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING (ICAPS 2018), 2018, : 29 - 38
  • [44] A DISTRIBUTED ALTERNATIVE TO FINITE-STATE-MACHINE SPECIFICATIONS
    ZAVE, P
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (01): : 10 - 36
  • [45] Synthesizing protocol specifications from service specifications in timed extended finite state machines
    Park, JC
    Miller, RE
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 1997, : 253 - 260
  • [46] Verification of automatically generated pattern-based LTL specifications
    Salamah, Salamah
    Gates, Ann Q.
    Kreinovich, Vladik
    Roach, Steve
    HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 341 - 348
  • [47] Distributed Motion Coordination for Multirobot Systems Under LTL Specifications
    Yu, Pian
    Dimarogonas, Dimos, V
    IEEE TRANSACTIONS ON ROBOTICS, 2022, 38 (02) : 1047 - 1062
  • [48] Quickstrom: Property-Based Acceptance Testing with LTL Specifications
    O'Connor, Liam
    Wickstrom, Oskar
    PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 1025 - 1038
  • [49] Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
    Brizzio, Matias
    Cordy, Maxime
    Papadakis, Mike
    Sanchez, Cesar
    Aguirre, Nazareno
    Degiovanni, Renzo
    PROCEEDINGS OF THE 2023 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, GECCO 2023, 2023, : 1499 - 1507
  • [50] Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications
    Pruekprasert, Sasinee
    Eberhart, Clovis
    Dubut, Jeremy
    2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2021, : 1321 - 1328
12345