Robust Temporal Logic Motion Planning Based on Invariant Set Theory

2021 7th International Conference on Control, Instrumentation and Automation (ICCIA) ◽

10.1109/iccia52082.2021.9403556 ◽

2021 ◽

Author(s):

Elnaz Firouzmand ◽

Heidar Ali Talebi ◽

Farzaneh Abdollahi

Keyword(s):

Motion Planning ◽

Temporal Logic ◽

Download Full-text

Robust Motion Planning for Uncertain Systems With Disturbances Using the Invariant-Set Motion Planner

IEEE Transactions on Automatic Control ◽

10.1109/tac.2020.3008126 ◽

2020 ◽

Vol 65 (10) ◽

pp. 4456-4463

Author(s):

Claus Danielson ◽

Karl Berntorp ◽

Avishai Weiss ◽

Stefano Di Cairano

Keyword(s):

Motion Planning ◽

Uncertain Systems ◽

Download Full-text

Sampling-based Motion Planning with Temporal Logic Missions and Spatial Preferences

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2020.12.2397 ◽

2020 ◽

Vol 53 (2) ◽

pp. 15537-15543

Author(s):

Jesper Karlsson ◽

Fernando S. Barbosa ◽

Jana Tumova

Keyword(s):

Motion Planning ◽

Download Full-text

Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications

Discrete Event Dynamic Systems ◽

10.1007/s10626-021-00355-z ◽

2021 ◽

Author(s):

Huanfei Zheng ◽

Yue Wang

Keyword(s):

Motion Planning ◽

Temporal Logic ◽

Parallel Decomposition ◽

Download Full-text

Safe Motion Planning for an Uncertain Non-Holonomic System with Temporal Logic Specification

2020 IEEE 16th International Conference on Automation Science and Engineering (CASE) ◽

10.1109/case48305.2020.9216891 ◽

2020 ◽

Author(s):

Pouria Tajvar ◽

Fetnando S. Barbosa ◽

Jana Tumova

Keyword(s):

Motion Planning ◽

Temporal Logic ◽

Holonomic System

Download Full-text

Energy-Aware Temporal Logic Motion Planning for Mobile Robots

2019 International Conference on Robotics and Automation (ICRA) ◽

10.1109/icra.2019.8794395 ◽

2019 ◽

Author(s):

Tanmoy Kundu ◽

Indranil Saha

Keyword(s):

Motion Planning ◽

Mobile Robots ◽

Temporal Logic ◽

Download Full-text

Multi-agent system motion planning under temporal logic specifications and control barrier function

Control Theory and Technology ◽

10.1007/s11768-020-0110-6 ◽

2020 ◽

Vol 18 (3) ◽

pp. 269-278

Author(s):

Xinyuan Huang ◽

Li Li ◽

Jie Chen

Keyword(s):

Motion Planning ◽

Temporal Logic ◽

Barrier Function ◽

Multi Agent System ◽

Agent System ◽

Multi Agent ◽

Download Full-text

Temporal Logic Based Motion Planning with Infeasible LTL Specification

2020 Chinese Control And Decision Conference (CCDC) ◽

10.1109/ccdc49329.2020.9164304 ◽

2020 ◽

Author(s):

Guoshan Xie ◽

Zhihong Yin ◽

Jianqing Li

Keyword(s):

Motion Planning ◽

Download Full-text

Where's Waldo? Sensor-Based Temporal Logic Motion Planning

Proceedings 2007 IEEE International Conference on Robotics and Automation ◽

10.1109/robot.2007.363946 ◽

2007 ◽

Author(s):

Hadas Kress-Gazit ◽

Georgios E. Fainekos ◽

George J. Pappas

Keyword(s):

Motion Planning ◽

Download Full-text

Motion planning in dynamic environments with bounded time temporal logic specifications

2015 23rd Mediterranean Conference on Control and Automation (MED) ◽

10.1109/med.2015.7158879 ◽

2015 ◽

Author(s):

Dipankar Maity ◽

John S. Baras

Keyword(s):

Motion Planning ◽

Temporal Logic ◽

Dynamic Environments

Download Full-text

Robust invariant set theory applied to networked buffer-level control

2008 47th IEEE Conference on Decision and Control ◽

10.1109/cdc.2008.4739079 ◽

2008 ◽

Author(s):

Francesco Borrelli ◽

Carmen Del Vecchio ◽

Alessandra Parisio

Keyword(s):

Invariant Set ◽

Download Full-text