Control Barrier Function Based Quadratic Programs for Safety Critical Systems

Safety critical systems involve the tight coupling between potentially conflicting control objectives and safety constraints. As a means of creating a formal framework for controlling systems of this form, and with a view toward automotive applications, this paper develops a methodology that allows safety conditions -- expressed as control barrier functions -- to be unified with performance objectives -- expressed as control Lyapunov functions -- in the context of real-time optimization-based controllers. Safety conditions are specified in terms of forward invariance of a set, and are verified via two novel generalizations of barrier functions; in each case, the existence of a barrier function satisfying Lyapunov-like conditions implies forward invariance of the set, and the relationship between these two classes of barrier functions is characterized. In addition, each of these formulations yields a notion of control barrier function (CBF), providing inequality constraints in the control input that, when satisfied, again imply forward invariance of the set. Through these constructions, CBFs can naturally be unified with control Lyapunov functions (CLFs) in the context of a quadratic program (QP); this allows for the achievement of control objectives (represented by CLFs) subject to conditions on the admissible states of the system (represented by CBFs). The mediation of safety and performance through a QP is demonstrated on adaptive cruise control and lane keeping, two automotive control problems that present both safety and performance considerations coupled with actuator bounds

Rotorcraft flight-propulsion control integration: An eclectic design concept

The NASA Ames and Lewis Research Centers, in conjunction with the Army Research and Technology Laboratories, have initiated and partially completed a joint research program focused on improving the performance, maneuverability, and operating characteristics of rotorcraft by integrating the flight and propulsion controls. The background of the program, its supporting programs, its goals and objectives, and an approach to accomplish them are discussed. Results of the modern control governor design of the General Electric T700 engine and the Rotorcraft Integrated Flight-Propulsion Control Study, which were key elements of the program, are also presented

Model predictive control techniques for hybrid systems

This paper describes the main issues encountered when applying model predictive control to hybrid processes. Hybrid model predictive control (HMPC) is a research field non-fully developed with many open challenges. The paper describes some of the techniques proposed by the research community to overcome the main problems encountered. Issues related to the stability and the solution of the optimization problem are also discussed. The paper ends by describing the results of a benchmark exercise in which several HMPC schemes were applied to a solar air conditioning plant.Ministerio de Eduación y Ciencia DPI2007-66718-C04-01Ministerio de Eduación y Ciencia DPI2008-0581

Physics-augmented models to simulate commercial adaptive cruise control (ACC) systems

This paper investigates the accuracy and robustness of car-following (CF) and adaptive cruise control (ACC) models in reproducing measured trajectories of commercial ACCs. To this aim, a general modelling framework is proposed, in which ACC and CF models have been incrementally augmented with physics-based extensions: namely, perception delay, linear or nonlinear vehicle dynamics, and acceleration constraints. This framework has been applied to the Intelligent Driver Model (IDM), Gipps’ model, and to three basic ACC algorithms. These are linear controllers which are coupled with a constant time-headway spacing policy, and with two other policies derived from the traffic flow theory: the IDM desired distance function, and Gipps’ equilibrium distance-speed function. The ninety models resulting from the combination of the five base models with the aforementioned extensions, have been assessed and compared through a vast calibration and validation experiment against measured trajectory data of vehicles driven by ACC systems. Overall, the study has shown that physics-based extensions provide limited improvements to the accuracy of existing models. In addition, if an investigation against measured data is not carried out, it is not possible to argue which extension is the most suited for a specific model. The linear controller with Gipps’ spacing policy has resulted the most accurate model, while the IDM the most robust to different input trajectories. Eventually, all models have failed to capture the behaviour of some car brands – just as models fail with some human drivers. Therefore, the choice of the “best” model is independent of the car brand to simulate