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.

Periodically controlled hybrid systems verifying a controller for an autonomous vehicle

This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodically while internal and input actions may occur in the interim changing the discrete-state or the setpoint. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariance of PCHAs is presented. This technique is used in verifying safety of the planner-controller subsystem of an autonomous ground vehicle, and in deriving geometric properties of planner generated paths that can be followed safely by the controller under environmental uncertainties.

Stability control of a railway vehicle using absolute stiffness and inerters

Work presented in this paper studies the potential of employing inerters -a novel mechanical device used successfully in racing cars- in active suspension configurations with the aim to enhance railway vehicle system performance. The particular element of research in this paper concerns railway wheelset lateral stability control. Controlled torques are applied to the wheelsets using the concept of absolute stiffness. The effects of a reduced set of arbitrary passive structures using springs, dampers and inerters integrated to the active solution are discussed. A multi-objective optimisation problem is defined for tuning the parameters of the proposed configurations. Finally, time domain simulations are assessed for the railway vehicle while negotiating a curved track. A simplification of the design problem for stability is attained with the integration of inerters to the active solutions. © 2012 IEEE.

Sensor data scheduling for linear quadratic Gaussian control with full state feedback

Networked control systems (NCSs) have attracted much attention in the past decade due to their many advantages and growing number of applications. Different than classic control systems, resources in NCSs, such as network bandwidth and communication energy, are often limited, which degrade the closed-loop system performance and may even cause the system to become unstable. Seeking a desired trade-off between the closed-loop system performance and the limited resources is thus one heated area of research. In this paper, we analyze the trade-off between the sensor-to-controller communication rate and the closed-loop system performance indexed by the conventional LQG control cost. We present and compare several sensor data schedules, and demonstrate that two event-based sensor data schedules provide better trade-off than an optimal offline schedule. Simulation examples are provided to illustrate the theories developed in the paper. © 2012 AACC American Automatic Control Council).

LQ optimal and risk-sensitive control for vehicle suspensions

This paper is concerned with time-domain optimal control of active suspensions. The optimal control problem formulation has been generalised by incorporating both road disturbances (ride quality) and a representation of driver inputs (handling quality) into the optimal control formulation. A regular optimal control problem as well as a risk-sensitive exponential optimal control performance index is considered. Emphasis has been given to practical considerations including the issue of state estimation in the presence of load disturbances (driver inputs). © 2012 IEEE.

Effects of ethanol on vehicle energy efficiency and implications on ethanol life-cycle greenhouse gas analysis.

Bioethanol is the world's largest-produced alternative to petroleum-derived transportation fuels due to its compatibility within existing spark-ignition engines and its relatively mature production technology. Despite its success, questions remain over the greenhouse gas (GHG) implications of fuel ethanol use with many studies showing significant impacts of differences in land use, feedstock, and refinery operation. While most efforts to quantify life-cycle GHG impacts have focused on the production stage, a few recent studies have acknowledged the effect of ethanol on engine performance and incorporated these effects into the fuel life cycle. These studies have broadly asserted that vehicle efficiency increases with ethanol use to justify reducing the GHG impact of ethanol. These results seem to conflict with the general notion that ethanol decreases the fuel efficiency (or increases the fuel consumption) of vehicles due to the lower volumetric energy content of ethanol when compared to gasoline. Here we argue that due to the increased emphasis on alternative fuels with drastically differing energy densities, vehicle efficiency should be evaluated based on energy rather than volume. When done so, we show that efficiency of existing vehicles can be affected by ethanol content, but these impacts can serve to have both positive and negative effects and are highly uncertain (ranging from -15% to +24%). As a result, uncertainties in the net GHG effect of ethanol, particularly when used in a low-level blend with gasoline, are considerably larger than previously estimated (standard deviations increase by >10% and >200% when used in high and low blends, respectively). Technical options exist to improve vehicle efficiency through smarter use of ethanol though changes to the vehicle fleets and fuel infrastructure would be required. Future biofuel policies should promote synergies between the vehicle and fuel industries in order to maximize the society-wise benefits or minimize the risks of adverse impacts of ethanol.

Optimisation of passive and semi-active heavy vehicle suspensions

An investigation into the potential for reducing road damage by optimising the design of heavy vehicle suspensions is described. In the first part of the paper two simple mathematical models are used to study the optimisation of conventional passive suspensions. Simple modifications are made to the steel spring suspension of a tandem axle trailer and it is found experimentally that RMS dynamic tyre forces can be reduced by 15% and theoretical road damage by 5.2%. A mathematical model of an air-sprung articulated vehicle is validated, and its suspension is optimised according to the simple models. This vehicle generates about 9% less damage than the leaf-sprung vehicle in the unmodified state and it is predicted that, for the operating conditions examined, the road damage caused by this vehicle can be reduced by a further 5.4%. Finally, it is shown experimentally that computer-controlled semi-active dampers have the potential to reduce road damage by a further 5-6%, compared to an air suspension with optimum passive damping. © Copyright 1994 Society of Automotive Engineers, Inc.

Foresight vehicle programme - Customer understanding processes in design

Customer feedback is normally fed into product design and engineering via quality surveys and therefore mainly comprises negative comments: complaints about things gone wrong. Whilst eradication of such problems will result in a feeling of satisfaction in existing customers, it will not instil the sense of delight required to attract conquest buyers. CUPID's aim is to conceive and evaluate ideas to stimulate product desirability through the provision of delightful features and execution. By definition, surprise and delight features cannot be foreseen, so we have to understand sensory appeal and, therefore, the "hidden" voice of the customer. Copyright © 2002 Society of Automotive Engineers, Inc.

COGENT: Implementing a successful vehicle manufacturer/supplier co-development initiative

Over 100 suppliers have now taken part in an initiative built to improve joint design and development performance of tier one suppliers and one vehicle manufacturer. Significant targets were set - 30 % cost down and 30% faster design time with 40% less development budget - and achieved An analysis of the initiative was used to determine the critical success factors. These include significant detail findings in the areas of performance measurement and alignment of development processes. Equal attention is given to understanding how co-development can be implemented and the paper will present findings related to objectivity, perception of partners and partnerships. Copyright © 2002 Society of Automotive Engineers, Inc.