14,751 Hits in 3.4 sec

An exact algorithm for the full truckload pick-up and delivery problem with time windows: concept and implementation details

Gerrit K. Janssens, Kris Braekers
2015 International Journal of Computer Aided Engineering and Technology  
Many times trucks pick-up or deliver a single container which leads to a full truckload vehicle routing problem in terms of economically efficient transport services.  ...  Time windows induced by the customer or due to external situations increase the complexity of an efficient planning by a logistics provider.  ...  A customer set without logically-and-temporal feasible sequences is not included in the file.  ... 
doi:10.1504/ijcaet.2015.068334 fatcat:crhshny3s5eynmbrszozbbidja

Vehicle Routing Problem with Metric Temporal Logic Specifications

Sertac Karaman, Emilio Frazzoli
2008 2008 47th IEEE Conference on Decision and Control  
For the resulting Vehicle Routing Problem with Metric Temporal Logic Specifications (VRPMTL), a Mixed-Integer Linear Programming (MILP) based algorithm is provided that solves the problem to optimality  ...  This paper proposes a novel version of the Vehicle Routing Problem (VRP).  ...  First, we introduce a novel variant of VRP, the Vehicle Routing Problem with Metric Temporal Logic Specifications.  ... 
doi:10.1109/cdc.2008.4739366 dblp:conf/cdc/KaramanF08 fatcat:rnuhf4pfqbfcdfmzescc7k3vuu

Dynamic optimal control of Multiple Depot Vehicle Routing Problem with Metric Temporal Logic

Mariam Faied, Ahmed Mostafa, Anouck Girard
2009 2009 American Control Conference  
This paper discusses a class of mission planning problems that generalizes the standard Multiple Depot Vehicle Routing Problem with Time Windows (MDVRPTW) to incorporate complicated technical constraints  ...  These constraints are specified via Metric Temporal Logic (MTL). A tree search algorithm is provided to solve that novel MDVRPTW with MTL specifications (MDVRPMTL) to optimality.  ...  Temporal logic has been used for planning in Artificial Intelligence [10] and in Control Theory as early as the eighties [11] .  ... 
doi:10.1109/acc.2009.5160144 dblp:conf/amcc/FaiedMG09 fatcat:4y2g6k66ybh3nheekh4iwa5egm

Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles

Moritz Klischat, Matthias Althoff
2020 2020 IEEE Intelligent Vehicles Symposium (IV)  
Virtual testing plays an important role in the validation and verification of automated vehicles.  ...  Works on falsification aim at falsifying planning algorithms of automated vehicles against a given logic formula, e.g., formulated in signal temporal logic (STL) [7] , [8] .  ...  A formal representation of specifications is provided by temporal logic.  ... 
doi:10.1109/iv47402.2020.9304617 fatcat:jsyspy5wrjdqjc5ivuqwid2xva

Minimum-violation scLTL motion planning for mobility-on-demand

Cristian-Ioan Vasile, Jana Tumova, Sertac Karaman, Calin Belta, Daniela Rus
2017 2017 IEEE International Conference on Robotics and Automation (ICRA)  
This work focuses on integrated routing and motion planning for an autonomous vehicle in a road network.  ...  The vehicle might not, however, be able to satisfy these two goals at the same time.  ...  CONCLUSIONS We have studied the problem of motion planning for an autonomous vehicle that is given a conflicting set of customer demands and road rules specified in a temporal logic.  ... 
doi:10.1109/icra.2017.7989177 dblp:conf/icra/VasileTKBR17 fatcat:jkjr3rbtcjdubp35gkaatudnde

Optimal mission planner with timed temporal logic constraints

Yuchen Zhou, Dipankar Maity, John S. Baras
2015 2015 European Control Conference (ECC)  
Temporal logic (TL) can address very complex task specification such as safety, coverage, motion sequencing etc.  ...  We use metric temporal logic (MTL) to encode the task specifications with timing constraints.  ...  MTL was used as a temporal constraint to a routing planning problem in [15] . Their formulation unfortunately does not allow users to incorporate dynamics of the vehicle.  ... 
doi:10.1109/ecc.2015.7330634 dblp:conf/eucc/ZhouMB15 fatcat:p7ll3rcl2fgbdlkmu53b5uysga

A Question about Hierarchical Systems [chapter]

Pravin Varaiya
2000 The Kluwer International Series in Engineering and Computer Science  
Many hierarchical systems, however, are designed and analyzed using a 'multi-world' semantics, with a separate interpretation at each level.  ...  , a planning system that generates a plan for a mission as a sequence of maneuvers that an autonomous vehicle must follow.  ...  , airplane Discrete sys- tems Temporal logic expres- sions Transition systems Path planning At this point, 'ode', 'maneuver', 'route' and 'link traversal' are unrelated syntactic expressions  ... 
doi:10.1007/978-1-4615-5223-9_23 fatcat:ixqaqr5l2nd2pm7pijtagfdirq

A Multi-Agent System for Solving the Dynamic Capacitated Vehicle Routing Problem with Stochastic Customers using Trajectory Data Mining [article]

Juan Camilo Fonseca-Galindo, Gabriela de Castro Surita, José Maia Neto, Cristiano Leite de Castro, André Paim Lemos
2020 arXiv   pre-print
Our work presents a multi-agent system that uses trajectory data mining techniques to extract territorial patterns and use them in the dynamic creation of last-mile routes.  ...  The problem can be modeled as a Dynamic Capacitated Vehicle Routing Problem (VRP) with Stochastic Customer, being therefore NP-HARD, what makes its implementation unfeasible for many packages.  ...  In the planning stage, this method used the sweep algorithm of Gillett and Miller [Gillett & Miller (1974) ] to create initial routes; each route is an agent that represents a vehicle.  ... 
arXiv:2009.12691v1 fatcat:teqqfbzo6na45mwnxmfdiecbz4

Performance Analysis of GJIBR and AODV Routing Protocols in Vehicula Ad Hoc Networks

Mrs. Komala C R, Dr.Srinath N.K
2017 International Journal of Engineering and Technology  
Vehicular ad hoc networks (VANETs) can provide ascendable results for dynamic route planning and condition-aware advertisement using short-range wireless interaction.  ...  The route discovery mechanism in AODV includes routing tables, one route per destination, sequence number to maintain route [8] .  ...  Based on the use of temporal information for routing Routing protocols using past temporal information: Protocols use information about the status of the links at the past or the link status at the time  ... 
doi:10.21817/ijet/2017/v9i3/1709030150 fatcat:uihieh5s7zdavmijwdwabeeqna

A data model for route planning in the case of forest fires

Zhiyong Wang, Sisi Zlatanova, Aitor Moreno, Peter van Oosterom, Carlos Toro
2014 Computers & Geosciences  
The results show that our model and algorithm are effective in planning routes that avoid one or more fire-affected areas and that the outlook for further investigation is promising.  ...  We use a fire simulation model to calculate the fire evolution. The spread of the fire is represented as movements of obstacles that block the responders' path in the road network.  ...  Section 3 presents both conceptual and logical spatio-temporal data models of the dynamic information for routing to avoid obstacles.  ... 
doi:10.1016/j.cageo.2014.03.013 fatcat:omfsmyaa7bhxxjbl3adpaaz25q

Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints [chapter]

Kevin Leahy, Dingjiang Zhou, Cristian-Ioan Vasile, Konstantinos Oikonomopoulos, Mac Schwager, Calin Belta
2015 Springer Tracts in Advanced Robotics  
Automata-based techniques were used to generate collision-free motion plans for a team of vehicles to satisfy a temporal logic specification.  ...  Vector fields were created for use with a differential flatness-based controller, allowing vehicle flight and deployment to be fully automated according to the motion plans.  ...  Temporal logic and formal methods [5] have been used for robot motion planning and control in persistent surveillance as in [6, 7] .  ... 
doi:10.1007/978-3-319-23778-7_40 fatcat:54gqyie4uvappjfjujobnbf4sy

WiseMove: A Framework for Safe Deep Reinforcement Learning for Autonomous Driving [article]

Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards
2019 arXiv   pre-print
We present the details of WiseMove, demonstrate its use on a common traffic scenario, and describe how we use it in our ongoing safe learning research.  ...  We thus present WiseMove, a software framework to investigate safe deep reinforcement learning in the context of motion planning for autonomous driving.  ...  The road scenario contains the ego vehicle, initially placed on the horizontal route, and up to 6 other vehicles placed at random on either the horizontal or vertical routes.  ... 
arXiv:1902.04118v1 fatcat:fan2yl4m7zgjzcdrpyd7wecxte

2019 Index IEEE Transactions on Automation Science and Engineering Vol. 16

2019 IEEE Transactions on Automation Science and Engineering  
Yoon, H., +, TASE Jan. 2019 180-191 Temporal logic Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots.  ...  Pan, X., +, TASE Jan. 2019 115-126 Learning systems Advisory Temporal Logic Inference and Controller Design for Semiautono- mous Robots.  ... 
doi:10.1109/tase.2019.2947106 fatcat:5qne2aprm5cjzk7wcyg4volf6u

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data

Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink
2014 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops  
Vehicle location data is visualised symbolically on a street map, and categories of problems identified by the spatial model-checker are rendered by repainting the symbols for vehicles in different colours  ...  In this paper we present the use of a novel spatial model-checker to detect problems in the data which an adaptive system gathers in order to inform future action.  ...  Other variants of spatial logics concern the symbolic representation of the contents of images, and, combined with temporal logics, for sequences of images [12] .  ... 
doi:10.1109/sasow.2014.16 dblp:conf/saso/CianciaGLLM14 fatcat:gxvfoezihbck5dpy7qrrpg765u

An Ontology-based Model for Typical-context Awareness in the Oil Products Distribution System

Li jun Sun, Fangfang Li, Xiangpei Hu
2016 Procedia Computer Science  
The model can capture the typical-context in real time and judge whether the original distribution plan is disrupted by the disruption under the current context, which is in favor of taking measures to  ...  For the vehicle, when an unexpected event occurs, the vehicle may be executing a distribution plan or be lying idle. We use the "busy" and "idle" to express the two states.  ...  "travel" represents the relationship between the object "vehicle" and the object "route" , which is a pair relationship. It means that a vehicle can only travels one specific route.  ... 
doi:10.1016/j.procs.2016.08.158 fatcat:gklzdzffqjajfnna3boalexley
« Previous Showing results 1 — 15 out of 14,751 results