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

DOI10.1002/rnc.1715zbMath1244.90038MaRDI 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 routing; linear temporal logic; mixed-integer linear programming; UAV mission planning

Mathematics Subject Classification ID

90C11: Mixed integer programming

90B06: Transportation, logistics and supply chain management

03B44: Temporal logic

Related Items

Combining qualitative information and semi‐quantitative data for guaranteed invalidation of biochemical network models, Multi-agent planning under local LTL specifications and event-based synchronization, Resource-aware networked control systems under temporal logic specifications, Cooperative control of autonomous systems, Distributed stochastic multi-vehicle routing in the Euclidean plane with no communications

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