PieceWise Affine (PWA) approximations for nonlinear functions have been extensively used for tractable, computationally efficient control of nonlinear systems. However, reaching a desired approximation accuracy without prior information about the behavior of the nonlinear systems remains a challenge in the function approximation and control literature. As the name suggests, PWA approximation aims at approximating a nonlinear function or system by dividing the domain into multiple subregions where the nonlinear function or dynamics is approximated locally by an affine function also called local mode. Without prior knowledge of the form of the nonlinearity, the required number of modes, the locations of the subregions, and the local approximations need to be optimized simultaneously, which becomes highly complex for large-scale systems with multi-dimensional nonlinear functions. This paper introduces a novel approach for PWA approximation of multi-dimensional nonlinear systems, utilizing a hinging hyperplane formalism for cut-based partitioning of the domain. The complexity of the PWA approximation is iteratively increased until reaching the desired accuracy level. Further, the tractable cut definitions allow for different forms of subregions, as well as the ability to impose continuity constraints on the PWA approximation. The methodology is explained via multiple examples and its performance is compared to two existing approaches through case studies, showcasing its efficacy.

Emergency maneuvers on highways present one of the most complex challenges for automated driving. High speeds pushing the vehicle towards nonlinear regimes, coupled with the necessity of swift decision making, complicates the collision avoidance problem to the extent that even expert human drivers may struggle to safely avoid collisions.
Lack of sufficient and reliable data limits applicability of model-free and data-driven control approaches in hazardous scenarios, opening the door to model-based and optimization based control approaches. However, the unknown behavior of other road users, the sensitivity of the handling limits (e.g., tire saturation) to road conditions, and the amplification of minor steering adjustments on the lateral trajectory due to high speed necessitate the incorporation of nonlinear models in the design. Such nonlinearities should be balanced with the increased complexity and the need for swift responses to hazard....

Uncertainty in the behavior of other traffic participants is a crucial factor in collision avoidance for automated driving; here, stochastic metrics could avoid overly conservative decisions. This article introduces a stochastic model predictive control (SMPC) planner for emergency collision avoidance in highway scenarios to proactively minimize collision risk while ensuring safety through chance constraints. To guarantee that the emergency trajectory can be attained, we incorporate nonlinear tire dynamics in the prediction model of the ego vehicle. Further, we exploit max-min-plus-scaling (MMPS) approximations of the nonlinearities to avoid conservatism, enforce proactive collision avoidance, and improve computational efficiency in terms of performance and speed. Consequently, our contributions include integrating a dynamic ego vehicle model into the SMPC planner, introducing the MMPS approximation for real-time implementation in emergency scenarios, and integrating SMPC with hybridized chance constraints and risk minimization. We evaluate our SMPC formulation in terms of proactivity and efficiency in various hazardous scenarios. Moreover, we demonstrate the effectiveness of our proposed approach by comparing it with a state-of-the-art SMPC planner and we validate that the generated trajectories can be attained using a high-fidelity vehicle model in IPG CarMaker.

Nonlinear Programs (NLPs) are prevalent in optimization-based control of nonlinear systems. Solving general NLPs is computationally expensive, necessitating the development of fast hardware or tractable suboptimal approximations. This paper investigates the sensitivity of the solutions of NLPs with polytopic constraints when the nonlinear continuous objective function is approximated by a PieceWise-Affine (PWA) counterpart. By leveraging perturbation analysis using a convex modulus, we derive guaranteed bounds on the distance between the optimal solution of the original polytopically-constrained NLP and that of its approximated formulation. Our approach aids in determining criteria for achieving desired solution bounds. Two case studies on the Eggholder function and nonlinear model predictive control of an inverted pendulum demonstrate the theoretical results.

The computational complexity of nonlinear Model Predictive Control (MPC) poses a significant challenge in achieving real-time levels of 4 and 5 of automated driving. This work presents the open-access Hybridization toolbox for MPC (H4MPC), targeting computational efficiency of nonlinear MPC thanks to several modules to hybridize nonlinear MPC optimization problems commonly encountered in automated driving applications. H4MPC is designed as a user-friendly solution with a graphical user interface within the MATLAB environment. The toolbox facilitates intuitive and straightforward customization of the hybridization process for any given function appearing in the equality or inequality constraints within the MPC framework. The initial release, Version 1.0, is freely available from https://bit.ly/H4MPCV1. To provide a clear illustration of the toolbox capabilities, we present two case studies: one to hybridize a vehicle model and another one to approximate tire saturation constraints.

Piecewise-affine (PWA) approximations are widely used among hybrid modeling frameworks as a way to increase computational efficiency in nonlinear control and optimization problems. A variety of approaches to construct PWA approximations have been proposed, most of which are tailored to specific application areas by using some prior knowledge of the system in their assumptions and/or steps. In this paper, a parametric method is proposed to identify PWA approximations of nonlinear systems, without any prior knowledge of their dynamics or application requirements. The algorithm defines the regions parametrically using hyperplanes to cut the domain, and increases the number of regions iteratively until a user-defined error tolerance criterion is met. General remarks are given on the algorithm's implementation and a case study is provided to illustrate its application to vehicle dynamics.