Integrated task and motion planning for quadrotors under metric interval temporal logic specifications

被引：0
|
作者：
Lan, Meng-Lu [1 ]
Lai, Shu-Peng [2 ]
Chen, Ben-Mei [2 ,3 ]
机构：
[1] Graduate School for Integrative Science & Engineering, National University of Singapore, Singapore,117583, Singapore
[2] Department of Electrical and Computer Engineering, National University of Singapore, Singapore,117583, Singapore
[3] Department of Mechanical and Automation Engineering, Chinese University of Hong Kong, Hong Kong, Hong Kong
来源：
Kongzhi Lilun Yu Yingyong/Control Theory and Applications | 2019年 / 36卷 / 11期
关键词：
D O I：
10.7641/CTA.2019.90602
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1952 / 1964
相关论文
共 50 条
  • [1] Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications
    Barbosa, Fernando S.
    Lindemann, Lars
    Dimarogonas, Dimos V.
    Tumova, Jana
    [J]. 2019 18TH EUROPEAN CONTROL CONFERENCE (ECC), 2019, : 2042 - 2049
  • [2] Task and Motion Planning for Manipulator Arms With Metric Temporal Logic Specifications
    Saha, Sayan
    Julius, Anak Agung
    [J]. IEEE ROBOTICS AND AUTOMATION LETTERS, 2018, 3 (01): : 379 - 386
  • [3] Reactive Task and Motion Planning under Temporal Logic Specifications
    Li, Shen
    Park, Daehyung
    Sung, Yoonchang
    Shah, Julie A.
    Roy, Nicholas
    [J]. 2021 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA 2021), 2021, : 12618 - 12624
  • [4] Task Planning and Motion Control with Temporal Logic Specifications
    Pereira, Marcos S.
    Pimenta, Luciano C. A.
    Adorno, Bruno V.
    [J]. 2023 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, IROS, 2023, : 2034 - 2041
  • [5] Revising Temporal Logic Specifications for Motion Planning
    Fainekos, Georgios E.
    [J]. 2011 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2011,
  • [6] Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic
    Zhou, Yuchen
    Maity, Dipankar
    Baras, John S.
    [J]. 2016 EUROPEAN CONTROL CONFERENCE (ECC), 2016, : 690 - 695
  • [7] Online Motion Planning With Soft Metric Interval Temporal Logic in Unknown Dynamic Environment
    Li, Zhiliang
    Cai, Mingyu
    Xiao, Shaoping
    Kan, Zhen
    [J]. IEEE CONTROL SYSTEMS LETTERS, 2022, 6 : 2293 - 2298
  • [8] Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications
    Andersson, Sofie
    Nikou, Alexandros
    Dimarogonas, Dimos V.
    [J]. IFAC PAPERSONLINE, 2017, 50 (01): : 2397 - 2402
  • [9] Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications
    Zheng, Huanfei
    Wang, Yue
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2022, 32 (02): : 195 - 230
  • [10] Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications
    Huanfei Zheng
    Yue Wang
    [J]. Discrete Event Dynamic Systems, 2022, 32 : 195 - 230
12345