Temporal Logic Planning for Minimum-Time Positioning of Multiple Threat-Seduction Decoys

2021-06-17 · Tony A. Wood, Mitchell Khoo, Elad Michael, Chris Manzie, Iman Shames

Reusable decoys offer a cost-effective alternative to the single-use hardware commonly applied to protect surface assets from threats. Such decoys portray fake assets to lure threats away from the true asset. To deceive a threat, a decoy first has to position itself such that it can break the radar lock. Considering multiple simultaneous threats, this paper introduces an approach for controlling multiple decoys to minimise the time required to break the locks of all the threats. The method includes the optimal allocation of one decoy to every threat with an assignment procedure that provides local position constraints to guarantee collision avoidance and thereby decouples the control of the decoys. A crude model of a decoy with uncertainty is considered for motion planning. The task of a decoy reaching a state in which the lock of the assigned threat can be broken is formulated as a temporal logic specification. To this end, the requirements to complete the task are modelled as time-varying set-membership constraints. The temporal and logical combination of the constraints is encoded in a mixed-integer optimisation problem. To demonstrate the results a simulated case study is provided.

📄 PDF Abstract BibTeX arXiv:2106.09252

Code (0)

등록된 구현이 없습니다.

Tasks

Collision Avoidance Motion PlanningPosition

Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic

2026-04-22 · Patrick Halder, Lothar Kiltz, Hannes Homburger, Johannes Reuter 외 arxiv

Motion planning for autonomous vehicles often requires satisfying multiple conditionally conflicting specifications. In situations where not all specifications can be met simultaneously, minimum-violation motion planning…

Autonomous Vehicles Motion Planning

What to Do When You Can't Do It All: Temporal Logic Planning with Soft Temporal Logic Constraints

2020-08-05 · Hazhar Rahmani, Jason M. O'Kane

In this paper, we consider a temporal logic planning problem in which the objective is to find an infinite trajectory that satisfies an optimal selection from a set of soft specifications expressed in linear temporal log…

All

Real-world Ride-hailing Vehicle Repositioning using Deep Reinforcement Learning

2021-03-08 · Yan Jiao, Xiaocheng Tang, Zhiwei Qin, Shuaiji Li 외

We present a new practical framework based on deep reinforcement learning and decision-time planning for real-world vehicle repositioning on ride-hailing (a type of mobility-on-demand, MoD) platforms. Our approach learns…

Deep Reinforcement Learning reinforcement-learning Reinforcement Learning Reinforcement Learning (RL)

TRUST-Planner: Topology-guided Robust Trajectory Planner for AAVs with Uncertain Obstacle Spatial-temporal Avoidance

2025-08-20 · Junzhi Li, Teng Long, Jingliang Sun, Jianxin Zhong arxiv

Despite extensive developments in motion planning of autonomous aerial vehicles (AAVs), existing frameworks faces the challenges of local minima and deadlock in complex dynamic environments, leading to increased collisio…

Motion Planning

Multi-Agent Control Synthesis from Global Temporal Logic Tasks with Synchronous Satisfaction Requirements

2023-09-20 · Tiange Yang, Yuanyuan Zou, Jinfeng Liu, ShaoYuan Li 외

This paper addresses the multi-agent control problem under global temporal logic tasks, considering agents with heterogeneous capabilities. These global tasks involve not only absolute and relative temporal and spatial c…