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 条
  • [31] Task Planning and Motion Control with Temporal Logic Specifications
    Pereira, Marcos S.
    Pimenta, Luciano C. A.
    Adorno, Bruno V.
    2023 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, IROS, 2023, : 2034 - 2041
  • [32] Traffic Network Control From Temporal Logic Specifications
    Coogan, Samuel
    Gol, Ebru Aydin
    Arcak, Murat
    Belta, Calin
    IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2016, 3 (02): : 162 - 172
  • [33] Learning an Optimal Control Policy for a Markov Decision Process Under Linear Temporal Logic Specifications
    Hiromoto, Masaki
    Ushio, Toshimitsu
    2015 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (IEEE SSCI), 2015, : 548 - 555
  • [34] Active Perception and Control From Temporal Logic Specifications
    da Silva, Rafael Rodrigues
    Kurtz, Vince
    Lin, Hai
    IEEE CONTROL SYSTEMS LETTERS, 2019, 3 (04): : 1068 - 1073
  • [35] Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis
    Buyukkocak, Ali Tevfik
    Aksaray, Derya
    2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 2890 - 2896
  • [36] Calibration of Stochastic Biochemical Models against Behavioral Temporal Logic Specifications
    Jha, Sumit Kumar
    Khalid, Arfeen
    2017 IEEE 7TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL ADVANCES IN BIO AND MEDICAL SCIENCES (ICCABS), 2017,
  • [37] OPTIMAL SYNTHESIS OF CONTROL LOGIC FROM BEHAVIORAL SPECIFICATIONS
    KU, DC
    DEMICHELI, G
    INTEGRATION-THE VLSI JOURNAL, 1991, 10 (03) : 271 - 298
  • [38] Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications
    Kinugawa, Takuma
    Ushio, Toshimitsu
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2022, E105D (10) : 1658 - 1664
  • [39] COMPOSITIONAL SYNTHESIS FOR COOPERATING DISCRETE EVENT SYSTEMS FROM MODULAR TEMPORAL LOGIC SPECIFICATIONS
    UCHIHIRA, N
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1992, E75A (03) : 380 - 391
  • [40] Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks
    Liu, Wenliang
    Nishioka, Mirai
    Belta, Calin
    2023 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2023), 2023, : 12416 - 12422
12345