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 条
  • [21] Optimal Control of Mixed Logical Dynamical Systems with Linear Temporal Logic Specifications
    Karaman, Sertac
    Sanfelice, Ricardo G.
    Frazzoli, Emilio
    47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 2117 - 2122
  • [22] An Additive Cost Approach to Optimal Temporal Logic Control
    Gol, Ebru Aydin
    Belta, Calin
    2014 AMERICAN CONTROL CONFERENCE (ACC), 2014,
  • [23] Receding Horizon Control for Temporal Logic Specifications
    Wongpiromsarn, Tichakorn
    Topcu, Ufuk
    Murray, Richard M.
    HSSC 10: PROCEEDINGS OF THE 13TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2010, : 101 - 110
  • [24] Control in Belief Space with Temporal Logic Specifications
    Vasile, Cristian-Ioan
    Leahy, Kevin
    Cristofalo, Eric
    Jones, Austin
    Schwager, Mac
    Belta, Calin
    2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 7419 - 7424
  • [25] Model-Based Reinforcement Learning for Approximate Optimal Control with Temporal Logic Specifications
    Cohen, Max H.
    Belta, Cahn
    HSCC2021: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS-IOT WEEK), 2021,
  • [26] Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design
    Rodionova, Alena
    Lindemann, Lars
    Morari, Manfred
    Pappas, George
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2023, 22 (01)
  • [27] Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications
    Kapoor, Pary
    Kang, Eunsuk
    Meira-Goes, Romulo
    NASA FORMAL METHODS, NFM 2024, 2024, 14627 : 377 - 396
  • [28] An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications
    Saha, Sayan
    Julius, A. Agung
    2016 AMERICAN CONTROL CONFERENCE (ACC), 2016, : 1105 - 1110
  • [29] Prescribed Performance Control for Signal Temporal Logic Specifications
    Lindemann, Lars
    Verginis, Christos K.
    Dimarogonas, Dimos V.
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [30] Model Predictive Control with Signal Temporal Logic Specifications
    Raman, Vasumathi
    Donze, Alexandre
    Maasoumy, Mehdi
    Murray, Richard M.
    Sangiovanni-Vincentelli, Alberto
    Seshia, Sanjit A.
    2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 81 - 87
12345