-
Generation of Wheel Lockup Attacks on Nonlinear Dynamics of Vehicle Traction
Authors:
Alireza Mohammadi,
Hafiz Malik,
Masoud Abbaszadeh
Abstract:
There is ample evidence in the automotive cybersecurity literature that the car brake ECUs can be maliciously reprogrammed. Motivated by such threat, this paper investigates the capabilities of an adversary who can directly control the frictional brake actuators and would like to induce wheel lockup conditions leading to catastrophic road injuries. This paper demonstrates that the adversary despit…
▽ More
There is ample evidence in the automotive cybersecurity literature that the car brake ECUs can be maliciously reprogrammed. Motivated by such threat, this paper investigates the capabilities of an adversary who can directly control the frictional brake actuators and would like to induce wheel lockup conditions leading to catastrophic road injuries. This paper demonstrates that the adversary despite having a limited knowledge of the tire-road interaction characteristics has the capability of driving the states of the vehicle traction dynamics to a vicinity of the lockup manifold in a finite time by means of a properly designed attack policy for the frictional brakes. This attack policy relies on employing a predefined-time controller and a nonlinear disturbance observer acting on the wheel slip error dynamics. Simulations under various road conditions demonstrate the effectiveness of the proposed attack policy.
△ Less
Submitted 5 January, 2022; v1 submitted 16 December, 2021;
originally announced December 2021.
-
Nonlinear Robust Filtering of Sampled-Data Dynamical Systems
Authors:
Masoud Abbaszadeh,
Horacio J. Marquez
Abstract:
This work is concerned with robust filtering of nonlinear sampled-data systems with and without exact discrete-time models. A linear matrix inequality (LMI) based approach is proposed for the design of robust $H_{\infty}$ observers for a class of Lipschitz nonlinear systems. Two type of systems are considered, Lipschitz nonlinear discrete-time systems and Lipschitz nonlinear sampled-data systems w…
▽ More
This work is concerned with robust filtering of nonlinear sampled-data systems with and without exact discrete-time models. A linear matrix inequality (LMI) based approach is proposed for the design of robust $H_{\infty}$ observers for a class of Lipschitz nonlinear systems. Two type of systems are considered, Lipschitz nonlinear discrete-time systems and Lipschitz nonlinear sampled-data systems with Euler approximate discrete-time models. Observer convergence when the exact discrete-time model of the system is available is shown. Then, practical convergence of the proposed observer is proved using the Euler approximate discrete-time model. As an additional feature, maximizing the admissible Lipschitz constant, the solution of the proposed LMI optimization problem guaranties robustness against some nonlinear uncertainty. The robust H_infty observer synthesis problem is solved for both cases. The maximum disturbance attenuation level is achieved through LMI optimization. At the end, a path to extending the results to higher-order approximate discretizations is provided.
△ Less
Submitted 23 December, 2018;
originally announced December 2018.
-
Computer Algebra Methods in Control Systems
Authors:
Masoud Abbaszadeh
Abstract:
As dynamic and control systems become more complex, relying purely on numerical computations for systems analysis and design might become extremely expensive or totally infeasible. Computer algebra can act as an enabler for analysis and design of such complex systems. It also provides means for characterization of all solutions and studying them before realizing a particular solution. This note pr…
▽ More
As dynamic and control systems become more complex, relying purely on numerical computations for systems analysis and design might become extremely expensive or totally infeasible. Computer algebra can act as an enabler for analysis and design of such complex systems. It also provides means for characterization of all solutions and studying them before realizing a particular solution. This note provides a brief survey on some of the applications of symbolic computations in control systems analysis and design.
△ Less
Submitted 28 December, 2017; v1 submitted 25 December, 2017;
originally announced December 2017.
-
Is Lipschitz Continuity Preserved under Sampled-Data Discretization?
Authors:
Masoud Abbaszadeh
Abstract:
Usually, given a continuous-time nonlinear model, a closed form solution for an exact discretization cannot be found explicitly, originating the need of approximating discrete-time models. This note studies the preservation of the Lipschitz continuity under approximate discretizations.
Usually, given a continuous-time nonlinear model, a closed form solution for an exact discretization cannot be found explicitly, originating the need of approximating discrete-time models. This note studies the preservation of the Lipschitz continuity under approximate discretizations.
△ Less
Submitted 19 April, 2020; v1 submitted 26 December, 2016;
originally announced December 2016.
-
Static Output Feedback Control for Nonlinear Systems subject to Parametric and Nonlinear Uncertainties
Authors:
Masoud Abbaszadeh,
Horacio J. Marquez
Abstract:
This work addresses the design of static output feedback control of discrete-time nonlinear systems satisfying a local Lipschitz continuity condition with time-varying uncertainties. The controller has also a guaranteed disturbance attenuation level (Hinfty performance). Thanks to the linearity of the proposed LMIs in both the admissible Lipschitz constant of the system and the disturbance attenua…
▽ More
This work addresses the design of static output feedback control of discrete-time nonlinear systems satisfying a local Lipschitz continuity condition with time-varying uncertainties. The controller has also a guaranteed disturbance attenuation level (Hinfty performance). Thanks to the linearity of the proposed LMIs in both the admissible Lipschitz constant of the system and the disturbance attenuation level, they can be simultaneously optimized through convex multiobjective optimization. The optimization over Lipschitz constant adds an extra important and new feature to the controller, robustness against nonlinear uncertainty. The resulting controller is robust against both nonlinear additive uncertainty and time-varying parametric uncertainties. Explicit norm-wise and element-wise bounds on the tolerable nonlinear uncertainty are derived.
△ Less
Submitted 24 June, 2016;
originally announced June 2016.
-
Adaptive Model Predictive Control of a Batch Solution Polymerization Process using Trajectory Linearization
Authors:
Masoud Abbaszadeh
Abstract:
A sequential trajectory linearized adaptive model based predictive controller is designed using the DMC algorithm to control the temperature of a batch MMA polymerization process. Using the mechanistic model of the polymerization, a parametric transfer function is derived to relate the reactor temperature to the power of the heaters. Then, a multiple model predictive control approach is taken in t…
▽ More
A sequential trajectory linearized adaptive model based predictive controller is designed using the DMC algorithm to control the temperature of a batch MMA polymerization process. Using the mechanistic model of the polymerization, a parametric transfer function is derived to relate the reactor temperature to the power of the heaters. Then, a multiple model predictive control approach is taken in to track a desired temperature trajectory.The coefficients of the multiple transfer functions are calculated along the selected temperature trajectory by sequential linearization and the model is validated experimentally. The controller performance is studied on a small scale batch reactor.
△ Less
Submitted 12 October, 2015;
originally announced October 2015.
-
Constrained Nonlinear Model Predictive Control of an MMA Polymerization Process via Evolutionary Optimization
Authors:
Masoud Abbaszadeh,
Reza Solgi
Abstract:
In this work, a nonlinear model predictive controller is developed for a batch polymerization process. The physical model of the process is parameterized along a desired trajectory resulting in a trajectory linearized piecewise model (a multiple linear model bank) and the parameters are identified for an experimental polymerization reactor. Then, a multiple model adaptive predictive controller is…
▽ More
In this work, a nonlinear model predictive controller is developed for a batch polymerization process. The physical model of the process is parameterized along a desired trajectory resulting in a trajectory linearized piecewise model (a multiple linear model bank) and the parameters are identified for an experimental polymerization reactor. Then, a multiple model adaptive predictive controller is designed for thermal trajectory tracking of the MMA polymerization. The input control signal to the process is constrained by the maximum thermal power provided by the heaters. The constrained optimization in the model predictive controller is solved via genetic algorithms to minimize a DMC cost function in each sampling interval.
△ Less
Submitted 14 February, 2015;
originally announced February 2015.
-
Robust Nonlinear L2 Filtering of Uncertain Lipschitz Systems via Pareto Optimization
Authors:
Masoud Abbaszadeh,
Horacio J. Marquez
Abstract:
A new approach for robust Hinfty filtering for a class of Lipschitz nonlinear systems with time-varying uncertainties both in the linear and nonlinear parts of the system is proposed in an LMI framework. The admissible Lipschitz constant of the system and the disturbance attenuation level are maximized simultaneously through convex multiobjective optimization. The resulting Hinfty filter guarantee…
▽ More
A new approach for robust Hinfty filtering for a class of Lipschitz nonlinear systems with time-varying uncertainties both in the linear and nonlinear parts of the system is proposed in an LMI framework. The admissible Lipschitz constant of the system and the disturbance attenuation level are maximized simultaneously through convex multiobjective optimization. The resulting Hinfty filter guarantees asymptotic stability of the estimation error dynamics with exponential convergence and is robust against nonlinear additive uncertainty and time-varying parametric uncertainties. Explicit bounds on the nonlinear uncertainty are derived based on norm-wise and element-wise robustness analysis.
△ Less
Submitted 1 March, 2014;
originally announced March 2014.
-
Generalized Nonlinear Robust Energy-to-Peak Filtering for Differential Algebraic Systems
Authors:
Masoud Abbaszadeh
Abstract:
The problem of robust nonlinear energy-to-peak filtering for nonlinear descriptor systems with model uncertainties is addressed. The system is assumed to have nonlinearities both in the state and output equations as well as norm-bounded time-varying uncertainties in the realization matrices. A generalized nonlinear dynamic filtering structure is proposed for such a class of systems with more degre…
▽ More
The problem of robust nonlinear energy-to-peak filtering for nonlinear descriptor systems with model uncertainties is addressed. The system is assumed to have nonlinearities both in the state and output equations as well as norm-bounded time-varying uncertainties in the realization matrices. A generalized nonlinear dynamic filtering structure is proposed for such a class of systems with more degrees of freedom than the conventional static-gain and dynamic filtering structures. The L2-Linfty filter is synthesized through semidefinite programming and strict LMIs, in which the energy-to-peak filtering performance in optimized.
△ Less
Submitted 24 February, 2014;
originally announced February 2014.
-
A Generalized Robust Filtering Framework for Nonlinear Differential-Algebraic Systems
Authors:
Masoud Abbaszadeh
Abstract:
A generalized dynamical robust nonlinear filtering framework is established for a class of Lipschitz differential algebraic systems, in which the nonlinearities appear both in the state and measured output equations. The system is assumed to be affected by norm-bounded disturbance and to have both norm-bounded uncertainties in the realization matrices as well as nonlinear model uncertainties. We s…
▽ More
A generalized dynamical robust nonlinear filtering framework is established for a class of Lipschitz differential algebraic systems, in which the nonlinearities appear both in the state and measured output equations. The system is assumed to be affected by norm-bounded disturbance and to have both norm-bounded uncertainties in the realization matrices as well as nonlinear model uncertainties. We synthesize a robust H_infty filter through semidefinite programming and strict linear matrix inequalities (LMIs). The admissible Lipschitz constants of the nonlinear functions are maximized through LMI optimization. The resulting H_infty filter guarantees asymptotic stability of the estimation error dynamics with prespecified disturbance attenuation level and is robust against time-varying parametric uncertainties as well as Lipschitz nonlinear additive uncertainty. Explicit bound on the tolerable nonlinear uncertainty is derived based on a norm-wise robustness analysis.
△ Less
Submitted 22 February, 2014;
originally announced February 2014.
-
Design of Nonlinear State Observers for One-Sided Lipschitz Systems
Authors:
Masoud Abbaszadeh,
Horacio J. Marquez
Abstract:
Control and state estimation of nonlinear systems satisfying a Lipschitz continuity condition have been important topics in nonlinear system theory for over three decades, resulting in a substantial amount of literature. The main criticism behind this approach, however, has been the restrictive nature of the Lipschitz continuity condition and the conservativeness of the related results. This work…
▽ More
Control and state estimation of nonlinear systems satisfying a Lipschitz continuity condition have been important topics in nonlinear system theory for over three decades, resulting in a substantial amount of literature. The main criticism behind this approach, however, has been the restrictive nature of the Lipschitz continuity condition and the conservativeness of the related results. This work deals with an extension to this problem by introducing a more general family of nonlinear functions, namely one-sided Lipschitz functions. The corresponding class of systems is a superset of its well-known Lipschitz counterpart and possesses inherent advantages with respect to conservativeness. In this paper, first the problem of state observer design for this class of systems is established, the challenges are discussed and some analysis-oriented tools are provided. Then, a solution to the observer design problem is proposed in terms of nonlinear matrix inequalities which in turn are converted into numerically efficiently solvable linear matrix inequalities.
△ Less
Submitted 23 February, 2013;
originally announced February 2013.
-
Robust H_infinity Filter Design for Lipschitz Nonlinear Systems via Multiobjective Optimization
Authors:
Masoud Abbaszadeh,
Horacio J. Marquez
Abstract:
In this paper, a new method of H_infinity observer design for Lipschitz nonlinear systems is proposed in the form of an LMI optimization problem. The proposed observer has guaranteed decay rate (exponential convergence) and is robust against unknown exogenous disturbance. In addition, thanks to the linearity of the proposed LMIs in the admissible Lipschitz constant, it can be maximized via LMI opt…
▽ More
In this paper, a new method of H_infinity observer design for Lipschitz nonlinear systems is proposed in the form of an LMI optimization problem. The proposed observer has guaranteed decay rate (exponential convergence) and is robust against unknown exogenous disturbance. In addition, thanks to the linearity of the proposed LMIs in the admissible Lipschitz constant, it can be maximized via LMI optimization. This adds an extra important feature to the observer, robustness against nonlinear uncertainty. Explicit bound on the tolerable nonlinear uncertainty is derived. The new LMI formulation also allows optimizations over the disturbance attenuation level (H_infinity cost). Then, the admissible Lipschitz constant and the disturbance attenuation level of the H_infinity filter are simultaneously optimized through LMI multiobjective optimization.
△ Less
Submitted 4 October, 2010;
originally announced October 2010.
