Optimal patrolling path planning via linear temporal logic

MaRDI QIDQ5256978zbMATH OpenFDO

Authors Yuntao Xiao, Linlin Ou, Li Yu

Publication date 29 June 2015

zbMATH Keywords

linear temporal logicpatrolling path planningtask requirementtransition system

Mathematics Subject Classification ID

Programming involving graphs or networks (90C35) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Design and implement of optimal patrolling control system to satisfy the complex requirements
• Linear temporal logic vehicle routing with applications to multi-UAV mission planning
• Key route planning of patrol based on ant colony algorithm
• Police patrol path planning using Stackelberg equilibrium based multiagent reinforcement learning
• An optimal path planning problem for heterogeneous multi-vehicle systems

Cited in

(1)

• Design and implement of optimal patrolling control system to satisfy the complex requirements

This page was built for publication: Optimal patrolling path planning via linear temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5256978)