A compositional approach to stochastic optimal control with co-safe temporal logic specifications

被引：0
|
作者：
Horowitz, Matanya B. [1 ]
Wolff, Eric M. [1 ]
Murray, Richard M. [1 ]
机构：
[1] Department of Control and Dynamical Systems, California Institute of Technology, Pasadena,CA, United States
来源：
IEEE International Conference on Intelligent Robots and Systems | 2014年
关键词：
721.3 Computer Circuits - 731.1 Control Systems - 902.2 Codes and Standards - 921.2 Calculus - 961 Systems Science;
D O I：
6942750
中图分类号：
学科分类号：
摘要：
32
引用
收藏
页码：1466 / 1473
相关论文
共 50 条
  • [1] A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications
    Horowitz, Matanya B.
    Wolff, Eric M.
    Murray, Richard M.
    2014 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2014), 2014, : 1466 - 1473
  • [2] Synthesis of Controllers for Co-Safe Linear Temporal Logic Specifications using Reinforcement Learning
    Ren, Xiaohua
    Yin, Xiang
    Li, Shaoyuan
    2021 PROCEEDINGS OF THE 40TH CHINESE CONTROL CONFERENCE (CCC), 2021, : 2304 - 2309
  • [3] Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications
    Cho, Kyunghoon
    Suh, Junghun
    Tomlin, Claire J.
    Oh, Songhwai
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2017, 2 (04): : 2308 - 2315
  • [4] Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
    Cho, Kyunghoon
    IEEE ACCESS, 2023, 11 : 25865 - 25878
  • [5] Deep Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
    Lee, Kyoungho
    Cho, Kyunghoon
    IEEE ACCESS, 2024, 12 (7704-7718) : 7704 - 7718
  • [6] Optimal task allocation for distributed co-safe LTL specifications
    Hustiu, Ioana
    Mahulea, Cristian
    Kloetzer, Marius
    2021 26TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2021,
  • [7] Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications
    Lacerda, Bruno
    Parker, David
    Hawes, Nick
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1587 - 1593
  • [8] Optimal and Dynamic Planning for Markov Decision Processes with Co-Safe LTL Specifications
    Lacerda, Bruno
    Parker, David
    Hawes, Nick
    2014 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2014), 2014, : 1511 - 1516
  • [9] Path Planning with Probabilistic Roadmaps and Co-Safe Linear Temporal Logic
    Plaku, Erion
    2012 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2012, : 2269 - 2275
  • [10] Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications
    Montana, Felipe J.
    Liu, Jun
    Dodd, Tony J.
    CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION (FMICS-AVOCS 2017), 2017, 10471 : 150 - 164
12345