Linear temporal logic vehicle routing with applications to multi-UAV mission planning

DOI10.1002/rnc.1715zbMath1244.90038OpenAlexW1980088782MaRDI QIDQ2903986

Emilio Frazzoli, Sertac Karaman

Publication date: 4 August 2012

Published in: International Journal of Robust and Nonlinear Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/rnc.1715

zbMATH Keywords

vehicle routinglinear temporal logicmixed-integer linear programmingUAV mission planning

Mathematics Subject Classification ID

Mixed integer programming (90C11) Transportation, logistics and supply chain management (90B06) Temporal logic (03B44)

Related Items (6)

Multi-agent planning under local LTL specifications and event-based synchronization ⋮ Cooperative control of autonomous systems ⋮ Resource-aware networked control systems under temporal logic specifications ⋮ Unmanned aerial vehicles/drones in vehicle routing problems: a literature review ⋮ Distributed stochastic multi-vehicle routing in the Euclidean plane with no communications ⋮ Combining qualitative information and semi‐quantitative data for guaranteed invalidation of biochemical network models

Uses Software

• VRP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Models, relaxations and exact approaches for the capacitated vehicle routing problem
• Description and reasoning of VLSI circuit in temporal logic
• Logic applied to integer programming and integer programming applied to logic
• Logic-based decision support. Mixed integer model formulation
• Control of systems integrating logic, dynamics, and constraints
• Tools for reformulating logical forms into zero-one mixed integer programs
• A decision support system for a real vehicle routing problem.
• The Truck Dispatching Problem
• The Vehicle Routing Problem
• Optimization of air vehicles operations using mixed-integer linear programming
• Control problems in a temporal logic framework
• A New Optimization Algorithm for the Vehicle Routing Problem with Time Windows
• Solving Airline Crew Scheduling Problems by Branch-and-Cut
• On the Effectiveness of Set Covering Formulations for the Vehicle Routing Problem with Time Windows
• The application of a vehicle routing model to a waste-collection problem: two case studies
• A set‐partitioning‐based exact algorithm for the vehicle routing problem
• Logic in Computer Science
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Linear Time Logic Control of Discrete-Time Linear Systems

This page was built for publication: Linear temporal logic vehicle routing with applications to multi-UAV mission planning