Guaranteed state estimation using a bundle of interval observers with adaptive gains applied to the induction machine

he scope of this paper is the design of an interval observer bundle for the guaranteed state estimation of an uncertain induction machine with linear, time-varying dynamics. These guarantees are of particular interest in the case of safety-critical systems. In many cases, interval observers provide large intervals for which the usability becomes impractical. Hence, based on a reduced-order hybrid interval observer structure, the guaranteed enclosure within intervals of the magnetizing current’s estimates is improved using a bundle of interval observers. One advantage of such an interval observer bundle is the possibility to reinitialize the interval observers at specified timesteps during runtime with smaller initial intervals, based on previously observed system states, resulting in decreasing interval widths. Thus, unstable observer dynamics are considered so as to take advantage of their transient behavior, whereby the overall stability of the interval estimation is maintained. An algorithm is presented to determine the parametrization of reduced-order interval observers. To this, an adaptive observer gain is introduced with which the system states are observed optimally by considering a minimal interval width at variable operating points. Furthermore, real-time capability and validation of the proposed methods are shown. The results are discussed with simulations as well as experimental data obtained with a test bench

Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control

This paper develops a control approach with correctness guarantees for the simultaneous operation of lane keeping and adaptive cruise control. The safety specifications for these driver assistance modules are expressed in terms of set invariance. Control barrier functions (CBFs) are used to design a family of control solutions that guarantee the forward invariance of a set, which implies satisfaction of the safety specifications. The CBFs are synthesized through a combination of sum-of-squares program and physics-based modeling and optimization. A real-time quadratic program is posed to combine the CBFs with the performance-based controllers, which can be either expressed as control Lyapunov function conditions or as black-box legacy controllers. In both cases, the resulting feedback control guarantees the safety of the composed driver assistance modules in a formally correct manner. Importantly, the quadratic program admits a closed-form solution that can be easily implemented. The effectiveness of the control approach is demonstrated by simulations in the industry-standard vehicle simulator Carsim. Note to Practitioners—Safety is of paramount importance for the control of automated vehicles. This paper is motivated by the problem of designing controllers that are provably correct for the simultaneous operation of two driver assistance modules, lane keeping and adaptive cruise control. This is a challenging problem partially, because the lateral and longitudinal dynamics of the vehicles are coupled, with few results known to exist that provide formal guarantees. In this paper, we employ an assume-guarantee formalism between these two subsystems, such that they can be considered individually; based on that, we use optimization to design safe sets that serves as “supervisors” for vehicle behavior, such that the trajectories of the closed-loop system are confined within the safe sets using predetermined bounds on wheel force and steering angle. The feedback controller is constructed by solving convex quadratic programs online, which can also be given in closed form, making the implementation much easier. One particular advantage of this control approach is that the safety set and the performance controller can be designed separately, which enables the integration of a legacy controller into a correct-by-construction solution