A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
An exact algorithm for the full truckload pick-up and delivery problem with time windows: concept and implementation details
2015
International Journal of Computer Aided Engineering and Technology
Preserved Fulltext
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
2008
2008 47th IEEE Conference on Decision and Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 American Control Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
2020 IEEE Intelligent Vehicles Symposium (IV)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2017
2017 IEEE International Conference on Robotics and Automation (ICRA)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2015
2015 European Control Conference (ECC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2015 pre-print arXiv:1510.01261v1 fatcat:zx2k73sz5fbwnko43a5p4spphq
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]
2000
The Kluwer International Series in Engineering and Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2017
International Journal of Engineering and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2014
Computers & Geosciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Springer Tracts in Advanced Robotics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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