Verification of periodically controlled hybrid systems: Application to an autonomous vehicle

This article introduces Periodically Controlled Hybrid Automata (PCHA) for modular specification of embedded control systems. In a PCHA, control actions that change the control input to the plant occur roughly periodically, while other actions that update the state of the controller may occur in the interim. Such actions could model, for example, sensor updates and information received from higher-level planning modules that change the set point of the controller. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariant properties of PCHAs is presented. For PCHAs with polynomial continuous vector fields, it is possible to check these conditions automatically using, for example, quantifier elimination or sum of squares decomposition. We examine the feasibility of this automatic approach on a small example. The proposed technique is also used to manually verify safety and progress properties of a fairly complex planner-controller subsystem of an autonomous ground vehicle. Geometric properties of planner-generated paths are derived which guarantee that such paths can be safely followed by the controller. © 2012 ACM.

Time-dependent Hyperstar algorithm for robust vehicle navigation in time-dependent stochastic road networks.

The vehicle navigation problem studied in Bell (2009) is revisited and a time-dependent reverse Hyperstar algorithm is presented. This minimises the expected time of arrival at the destination, and all intermediate nodes, where expectation is based on a pessimistic (or risk-averse) view of unknown link delays. This may also be regarded as a hyperpath version of the Chabini and Lan (2002) algorithm, which itself is a time-dependent A* algorithm. Links are assigned undelayed travel times and maximum delays, both of which are potentially functions of the time of arrival at the respective link. The driver seeks probabilities for link use that minimise his/her maximum exposure to delay on the approach to each node, leading to the determination of the pessimistic expected time of arrival. Since the context considered is vehicle navigation where the driver is not making repeated trips, the probability of link use may be interpreted as a measure of link attractiveness, so a link with a zero probability of use is unattractive while a link with a probability of use equal to one will have no attractive alternatives. A solution algorithm is presented and proven to solve the problem provided the node potentials are feasible and a FIFO condition applies for undelayed link travel times. The paper concludes with a numerical example.

The application of multilevel refinement to the vehicle routing problem

We discuss the application of the multilevel (ML) refinement technique to the Vehicle Routing Problem (VRP), and compare it to its single-level (SL) counterpart. Multilevel refinement recursively coarsens to create a hierarchy of approximations to the problem and refines at each level. A SL heuristic, termed the combined node-exchange composite heuristic (CNCH), is developed first to solve instances of the VRP. A ML version (the ML-CNCH) is then created, using the construction and improvement heuristics of the CNCH at each level. Experimentation is used to find a suitable combination, which extends the global view of these heuristics. Results comparing both SL and ML are presented.

A wavelet-based damage detection algorithm based on bridge acceleration response to a vehicle

Previous research based on theoretical simulations has shown the potential of the wavelet transform to detect damage in a beam by analysing the time-deflection response due to a constant moving load. However, its application to identify damage from the response of a bridge to a vehicle raises a number of questions. Firstly, it may be difficult to record the difference in the deflection signal between a healthy and a slightly damaged structure to the required level of accuracy and high scanning frequencies in the field. Secondly, the bridge is going to have a road profile and it will be loaded by a sprung vehicle and time-varying forces rather than a constant load. Therefore, an algorithm based on a plot of wavelet coefficients versus time to detect damage (a singularity in the plot) appears to be very sensitive to noise. This paper addresses these questions by: (a) using the acceleration signal, instead of the deflection signal, (b) employing a vehicle-bridge finite element interaction model, and (c) developing a novel wavelet-based approach using wavelet energy content at each bridge section which proves to be more sensitive to damage than a wavelet coefficient line plot at a given scale as employed by others.

The Impact of Vehicle-to-Grid on Electric Power Systems: A Review

Environmental concerns and fossil fuel shortage put pressure on both power and transportation systems. Electric vehicles (EVs) are thought to be a good solution to these problems. With EV adoption, energy flow is two way: from grid to vehicle and from vehicle to grid, which is known as vehicle-to-grid (V2G) today. This paper considers electric power systems and provides a review of the impact of V2G on power system stability. The concept and basics of V2G technology are introduced at first, followed by a description of EV application in the world. Several technical issues are detailed in V2G modeling and capacity forecasting, steady-state analysis and stability analysis. Research trends of such topics are declared at last.

Preliminary analysis of organic Rankine cycles to improve vehicle efficiency

This paper presents the background rationale and key findings for a model-based study of supercritical waste heat recovery organic Rankine cycles. The paper’s objective is to cover the necessary groundwork to facilitate the future operation of a thermodynamic organic Rankine cycle model under realistic thermodynamic boundary conditions for performance optimisation of organic Rankine cycles. This involves determining the type of power cycle for organic Rankine cycles, the circuit configuration and suitable boundary conditions. The study focuses on multiple heat sources from vehicles but the findings are generally applicable, with careful consideration, to any waste heat recovery system. This paper introduces waste heat recovery and discusses the general merits of organic fluids versus water and supercritical operation versus subcritical operation from a theoretical perspective and, where possible, from a practical perspective. The benefits of regeneration are investigated from an efficiency perspective for selected subcritical and supercritical conditions. A simulation model is described with an introduction to some general Rankine cycle boundary conditions. The paper describes the analysis of real hybrid vehicle data from several driving cycles and its manipulation to represent the thermal inertia for model heat input boundary conditions. Basic theory suggests that selecting the operating pressures and temperatures to maximise the Rankine cycle performance is relatively straightforward. However, it was found that this may not be the case for an organic Rankine cycle operating in a vehicle. When operating in a driving cycle, the available heat and its quality can vary with the power output and between heat sources. For example, the available coolant heat does not vary much with the load, whereas the quantity and quality of the exhaust heat varies considerably. The key objective for operation in the vehicle is optimum utilisation of the available heat by delivering the maximum work out. The fluid selection process and the presentation and analysis of the final results of the simulation work on organic Rankine cycles are the subjects of two future publications.

Theoretical investigation of the use of a moving vehicle to identify bridge dynamic parameters

Pavements and bridges are subject to a continuous degradation due to traffic aggressiveness, ageing and environmental factors. A rational transport policy requires the monitoring of this transport infrastructure in order to provide adequate maintenance and guarantee the required levels of transport service and safety. This paper investigates the use of an instrumented vehicle fitted with accelerometers on its axles to monitor the dynamics of bridges. A simplified quarter carbridge interaction model is used in theoretical simulations and the natural frequency of the bridge is extracted from the spectra of the vehicle accelerations. The accuracy is better at lower speeds and for smooth road profiles. The structural damping of the bridge was also monitored for smooth and rough road profiles. The magnitude of peaks in the power spectral density of the vehicle accelerations decreased with increasing bridge damping and this decrease was easier to detect the smoother the road profile.

First-order characteristics of the person-to-vehicle channel at 5.8 GHz

In this paper we investigate the first order characteristics of the radio channel between a moving vehicle and a stationary person positioned by the side of a road at 5.8 GHz. The experiments considered a transmitter positioned at different locations on both the body and receivers positioned on the vehicle. The transmitter was alternated between positions on the central chest region, back and the wrist (facing the roadside) of the body, with the receivers placed on the outside roof, the outside rear window and the inside dashboard of the vehicle. The Rice fading model was applied to the measurement data to assess its suitability for characterizing this emerging type of wireless channel. The Ricean K factors calculated from the data suggest that a significant dominant component existed in the majority of the channels considered in this study.

Electric vehicle capacity forecasting model with application to load levelling

There are many uncertainties in forecasting the charging and discharging capacity required by electric vehicles (EVs) often as a consequence of stochastic usage and intermittent travel. In terms of large-scale EV integration in future power networks this paper develops a capacity forecasting model which considers eight particular uncertainties in three categories. Using the model, a typical application of EVs to load levelling is presented and exemplified using a UK 2020 case study. The results presented in this paper demonstrate that the proposed model is accurate for charge and discharge prediction and a feasible basis for steady-state analysis required for large-scale EV integration.

Using official data sources to analyse the light goods vehicle fleet and operations in Britain

Report produced as part of the Green Logistics project (EPSRC and Department for Transport funded). Light goods vehicles play a key role in providing goods and services to businesses and other organisations in Britain. In order to better understand the relationship between costs and benefits of LGV operations it is necessary to gain a more detailed appreciation of the roles that these vehicles are fulfilling. This report aims to provide a better understanding of this sector by examining LGV fleet and operations in terms of their characteristics, utilisation and efficiency and purpose. Important potential external impacts of LGVs are also considered.