Linear temporal logic vehicle routing with applications to multi-UAV mission planning
From MaRDI portal
Publication:2903986
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
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, Unmanned aerial vehicles/drones in vehicle routing problems: a literature review, 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
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