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

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

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

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees

IEEE Transactions on Robotics ◽

10.1109/tro.2011.2172150 ◽

2012 ◽

Vol 28 (2) ◽

pp. 396-409 ◽

Author(s):

Morteza Lahijanian ◽

Sean B. Andersson ◽

Calin Belta

Keyword(s):

Motion Planning ◽

Temporal Logic ◽

Planning And Control ◽

Download Full-text

A linear temporal logic based approach for vehicle motion planning

2017 IEEE International Conference on Mechatronics (ICM) ◽

10.1109/icmech.2017.7921075 ◽

2017 ◽

Author(s):

Dule Shu ◽

Constantino M. Lagoa

Keyword(s):

Motion Planning ◽

Temporal Logic ◽

Linear Temporal Logic ◽

Download Full-text

Multi-agent System Motion Planning under Temporal Logic Specifications and Control Barrier Function

2020 39th Chinese Control Conference (CCC) ◽

10.23919/ccc50068.2020.9189288 ◽

2020 ◽

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