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 条
  • [41] Optimal Control of Discounted-Reward Markov Decision Processes Under Linear Temporal Logic Specifications
    Kalagarla, Krishna C.
    Jain, Rahul
    Nuzzo, Pierluigi
    2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, : 1268 - 1274
  • [42] A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications
    Sadigh, Dorsa
    Kim, Eric S.
    Coogan, Samuel
    Sastry, S. Shankar
    Seshia, Sanjit A.
    2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 1091 - 1096
  • [43] Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach
    Djeumou, Franck
    Xu, Zhe
    Cubuktepe, Murat
    Topcu, Ufuk
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (04) : 2245 - 2260
  • [44] Modularized Control Synthesis for Complex Signal Temporal Logic Specifications
    Zhang, Zengjie
    Haesaert, Sofie
    2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 7856 - 7861
  • [45] Freeway Traffic Control from Linear Temporal Logic Specifications
    Coogan, Samuel
    Arcak, Murat
    2014 ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2014, : 36 - 47
  • [46] Automated Formation Control Synthesis from Temporal Logic Specifications
    Qi, Shuhao
    Zhang, Zengjie
    Haesaert, Sofie
    Sun, Zhiyong
    2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 5165 - 5170
  • [47] Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications
    Mehr, Negar
    Sadigh, Dorsa
    Horowitz, Roberto
    Sastry, S. Shankar
    Seshia, Sanjit A.
    2017 AMERICAN CONTROL CONFERENCE (ACC), 2017, : 4884 - 4889
  • [48] Control/physical systems co-design with spectral temporal logic specifications and its applications to MEMS
    Chen, Gang
    Kong, Zhaodan
    Xie, Longhan
    INTERNATIONAL JOURNAL OF CONTROL, 2024, 97 (12) : 2935 - 2950
  • [49] Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications
    Pant, Yash Vardhan
    Yin, He
    Arcak, Murat
    Seshia, Sanjit A.
    2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, : 4209 - 4216
  • [50] Optimal Control of MDPs with Temporal Logic Constraints
    Svorenova, Maria
    Cerna, Ivana
    Belta, Calin
    2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 3938 - 3943
12345