The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this work, we propose a GRASP+VNS algorithm for solving the allocation of Roadside Units (RSUs) in a Vehicular Network. Our main objective is to find the minimum set of RSUs to meet a Deployment Delta (ρ1,ρ2). The Deployment Delta (ρ1,ρ2) is a metric for specifying minimal communication guarantees from the infrastructure supporting the Vehicular Network. We compare GRASP+VNS to some baseline algorithms:...
Singular Spectrum Analysis (SSA) is a nonparametric approach used to decompose a time series into meaningful components, related to trends, oscillations and noise. SSA can be seen as a spectral decomposition, where each term is related to an eigenvector derived from the trajectory matrix. In this context the eigenvectors can be viewed as eigenfilters. The frequency domain interpretation of SSA is...
In this article, we describe a strategy for planning the roadside infrastructure for vehicular networks based on the global behavior of drivers. Instead of relying on the trajectories of all vehicles, our proposal relies on the migration ratios of vehicles between urban regions in order to infer the better locations for deploying the roadside units. By relying on the global behavior of drivers, our...
In this work we propose Delta-r, a new greedy heuristic for solving the allocation of roadside units in order to meet a Δρ1ρ2-Deployment. The Δρ1ρ2-Deployment is a metric for specifying minimal levels of performance from the infrastructure supporting vehicular networks. As far as we are concerned, this is the first QoS-bounded deployment strategy considering both the contact probability, and the contact...
There are several kinds of envisioned vehicular applications: video delivery, accidents detection, dissemination of traffic announcements, and so forth. Such applications demand minimal (and possibly distinct) QoS guarantees that must couple the vehicular network. Given that vehicular networks will soon become reality, we demand strategies for planning and managing such networks. In this work we propose...
Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event systems. This paper concentrates in the development of a control structure for TCPN that transfers the system from the initial state to another desired one. The resulting control law consists in a Linear Programming Problem, which...
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set of markings, construct a set of unreachable markings, i.e., such that all trajectories starting in the initial set avoid the latter one; (2) given a linear temporal logic (LTL) formula over a set of linear predicates in the...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.