-
Finite Control Set Model Predictive Control with Limit Cycle Stability Guarantees
Authors:
Duo Xu,
Mircea Lazar
Abstract:
This paper considers the design of finite control set model predictive control (FCS-MPC) for discrete-time switched affine systems. Existing FCS-MPC methods typically pursue practical stability guarantees, which ensure convergence to a bounded invariant set that contains a desired steady state. As such, current FCS-MPC methods result in unpredictable steady-state behavior due to arbitrary switchin…
▽ More
This paper considers the design of finite control set model predictive control (FCS-MPC) for discrete-time switched affine systems. Existing FCS-MPC methods typically pursue practical stability guarantees, which ensure convergence to a bounded invariant set that contains a desired steady state. As such, current FCS-MPC methods result in unpredictable steady-state behavior due to arbitrary switching among the available finite control inputs. Motivated by this, we present a FCS-MPC design that aims to stabilize a steady-state limit cycle compatible with a desired output reference via a suitable cost function. We provide conditions in terms of periodic terminal costs and finite control set control laws that guarantee asymptotic stability of the developed limit cycle FCS-MPC algorithm. Moreover, we develop conditions for recursive feasibility of limit cycle FCS-MPC in terms of periodic terminal sets and we provide systematic methods for computing ellipsoidal and polytopic periodically invariant sets that contain a desired steady-state limit cycle. Compared to existing periodic terminal ingredients for tracking MPC with a continuous control set, we design and compute terminal ingredients using a finite control set. The developed methodology is validated on switched systems and power electronics benchmark examples.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Neural Data-Enabled Predictive Control
Authors:
Mircea Lazar
Abstract:
Data-enabled predictive control (DeePC) for linear systems utilizes data matrices of recorded trajectories to directly predict new system trajectories, which is very appealing for real-life applications. In this paper we leverage the universal approximation properties of neural networks (NNs) to develop neural DeePC algorithms for nonlinear systems. Firstly, we point out that the outputs of the la…
▽ More
Data-enabled predictive control (DeePC) for linear systems utilizes data matrices of recorded trajectories to directly predict new system trajectories, which is very appealing for real-life applications. In this paper we leverage the universal approximation properties of neural networks (NNs) to develop neural DeePC algorithms for nonlinear systems. Firstly, we point out that the outputs of the last hidden layer of a deep NN implicitly construct a basis in a so-called neural (feature) space, while the output linear layer performs affine interpolation in the neural space. As such, we can train off-line a deep NN using large data sets of trajectories to learn the neural basis and compute on-line a suitable affine interpolation using DeePC. Secondly, methods for guaranteeing consistency of neural DeePC and for reducing computational complexity are developed. Several neural DeePC formulations are illustrated on a nonlinear pendulum example.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
Structured physics-guided neural networks for electromagnetic commutation applied to industrial linear motors
Authors:
Max Bolderman,
Mircea Lazar,
Hans Butler
Abstract:
Mechatronic systems are described by an interconnection of the electromagnetic part, i.e., a static position-dependent nonlinear relation between currents and forces, and the mechanical part, i.e., a dynamic relation from forces to position. Commutation inverts a model of the electromagnetic part of the system, and thereby removes the electromagnetic part from the position control problem. Typical…
▽ More
Mechatronic systems are described by an interconnection of the electromagnetic part, i.e., a static position-dependent nonlinear relation between currents and forces, and the mechanical part, i.e., a dynamic relation from forces to position. Commutation inverts a model of the electromagnetic part of the system, and thereby removes the electromagnetic part from the position control problem. Typical commutation algorithms rely on simplified models derived from physics-based knowledge, which do not take into account position dependent parasitic effects. In turn, these commutation related model errors translate into position tracking errors, which limit the system performance. Therefore, in this work, we develop a data-driven approach to commutation using physics-guided neural networks (PGNNs). A novel PGNN model is proposed which structures neural networks (NNs) to learn specific motor dependent parasitic effects. The PGNN is used to identify a model of the electromagnetic part using force measurements, after which it is analytically inverted to obtain a PGNN-based commutation algorithm. Motivated by industrial applications, we develop an input transformation to deal with systems with fixed commutation, i.e., when the currents cannot be controlled. Real-life experiments on an industrial coreless linear motor (CLM) demonstrate a factor 10 improvement in the commutation error in driving direction and a factor 4 improvement in the position error with respect to classical commutation in terms of the mean--squared error (MSE).
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
Koopman Data-Driven Predictive Control with Robust Stability and Recursive Feasibility Guarantees
Authors:
Thomas de Jong,
Valentina Breschi,
Maarten Schoukens,
Mircea Lazar
Abstract:
In this paper, we consider the design of data-driven predictive controllers for nonlinear systems from input-output data via linear-in-control input Koopman lifted models. Instead of identifying and simulating a Koopman model to predict future outputs, we design a subspace predictive controller in the Koopman space. This allows us to learn the observables minimizing the multi-step output predictio…
▽ More
In this paper, we consider the design of data-driven predictive controllers for nonlinear systems from input-output data via linear-in-control input Koopman lifted models. Instead of identifying and simulating a Koopman model to predict future outputs, we design a subspace predictive controller in the Koopman space. This allows us to learn the observables minimizing the multi-step output prediction error of the Koopman subspace predictor, preventing the propagation of prediction errors. To avoid losing feasibility of our predictive control scheme due to prediction errors, we compute a terminal cost and terminal set in the Koopman space and we obtain recursive feasibility guarantees through an interpolated initial state. As a third contribution, we introduce a novel regularization cost yielding input-to-state stability guarantees with respect to the prediction error for the resulting closed-loop system. The performance of the developed Koopman data-driven predictive control methodology is illustrated on a nonlinear benchmark example from the literature.
△ Less
Submitted 2 May, 2024;
originally announced May 2024.
-
Averaged observations and turnpike phenomenon for parameter-dependent systems
Authors:
Martín Hernández,
Martin Lazar,
Sebastián Zamorano
Abstract:
Our main contribution in this article is the achievement of the turnpike property in its integral and exponential forms for parameter-dependent systems with averaged observations in the cost functional. Namely, under suitable assumptions with respect to the matrices that defined the dynamics and the cost functional, we prove that the optimal control and state for the evolutionary problem converge…
▽ More
Our main contribution in this article is the achievement of the turnpike property in its integral and exponential forms for parameter-dependent systems with averaged observations in the cost functional. Namely, under suitable assumptions with respect to the matrices that defined the dynamics and the cost functional, we prove that the optimal control and state for the evolutionary problem converge in average to the optimal pair of an associated stationary problem. Moreover, we characterize the closeness between these two optimal solutions, proving that over a large time interval, they are exponentially close.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Risk-Aware Real-Time Task Allocation for Stochastic Multi-Agent Systems under STL Specifications
Authors:
Maico H. W. Engelaar,
Zengjie Zhang,
Eleftherios E. Vlahakis,
Mircea Lazar,
Sofie Haesaert
Abstract:
This paper addresses the control synthesis of heterogeneous stochastic linear multi-agent systems with real-time allocation of signal temporal logic (STL) specifications. Based on previous work, we decompose specifications into sub-specifications on the individual agent level. To leverage the efficiency of task allocation, a heuristic filter evaluates potential task allocation based on STL robustn…
▽ More
This paper addresses the control synthesis of heterogeneous stochastic linear multi-agent systems with real-time allocation of signal temporal logic (STL) specifications. Based on previous work, we decompose specifications into sub-specifications on the individual agent level. To leverage the efficiency of task allocation, a heuristic filter evaluates potential task allocation based on STL robustness. Subsequently, an auctioning algorithm determines the definite allocation of specifications. Finally, a control strategy is synthesized for each agent-specification pair using tube-based Model Predictive Control (MPC), ensuring provable probabilistic satisfaction. We demonstrate the efficacy of the proposed methods using a multi-bus scenario that highlights a promising extension to autonomous driving applications like crossing an intersection.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Multivariable control of modular multilevel converters with convergence and safety guarantees
Authors:
Victor Daniel Reyes Dreke,
Ygor Pereira Marca,
Maurice Roes,
Mircea Lazar
Abstract:
Well-designed current control is a key factor in ensuring the efficient and safe operation of modular multilevel converters (MMCs). Even though this control problem involves multiple control objectives, conventional current control schemes are comprised of independently designed decoupled controllers, e.g., proportional-integral (PI) or proportional-resonant (PR). Due to the bilinearity of the MMC…
▽ More
Well-designed current control is a key factor in ensuring the efficient and safe operation of modular multilevel converters (MMCs). Even though this control problem involves multiple control objectives, conventional current control schemes are comprised of independently designed decoupled controllers, e.g., proportional-integral (PI) or proportional-resonant (PR). Due to the bilinearity of the MMC dynamics, tuning PI and PR controllers so that good performance and constraint satisfaction are guaranteed is quite challenging. This challenge becomes more relevant in an AC/AC MMC configuration due to the complexity of tracking the single-phase sinusoidal components of the MMC output. In this paper, we propose a method to design a multivariable controller, i.e., a static feedback gain, to regulate the MMC currents. We use a physics-informed transformation to model the MMC dynamics linearly and synthesise the proposed controller. We use this linear model to formulate a linear matrix inequality that computes a feedback gain that guarantees safe and effective operation, including (i) limited tracking error, (ii) stability, and (iii) meeting all constraints. To test the efficacy of our method, we examine its performance in a direct AC/AC MMC simulated in Simulink/PLECS and in a scaled-down AC/AC MMC prototype to investigate the ultra-fast charging of electric vehicles.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
On unifying control barrier and Lyapunov functions using QP and Sontag's formula with an application to tumor dynamics
Authors:
Jarne J. H. van Gemert,
Mircea Lazar,
Siep Weiland
Abstract:
A common tool in system theory for formulating control laws that achieve local asymptotic stability are Control Lyapunov functions (CLFs), while Control Barrier functions (CBFs) are typically employed to enforce safety constraints. Combining these two types of functions is of interest, because it leads to stabilizing controllers with safety guarantees. A common approach to merge CLFs and CBFs is t…
▽ More
A common tool in system theory for formulating control laws that achieve local asymptotic stability are Control Lyapunov functions (CLFs), while Control Barrier functions (CBFs) are typically employed to enforce safety constraints. Combining these two types of functions is of interest, because it leads to stabilizing controllers with safety guarantees. A common approach to merge CLFs and CBFs is to solve an optimization problem where both CLF and CBF inequalities are imposed as constraints. In this paper, we show via an example from the literature that this approach can lead to undesirable behavior (i.e., slow convergence and oscillating inputs). Then, we propose a novel cost function that penalizes the deviation from Sontag's formula by using a state-dependent weighting matrix. We show that by minimizing the developed cost function subject to a CBF constraint, local asymptotic stability is obtained with an explicit domain of attraction, without using a CLF constraint. To deal with vanishing properties of the weight matrix as the state approaches the equilibrium, we introduce a hybrid continuous control law that recovers Sontag's formula locally. The effectiveness of the developed hybrid stabilizing control law based on CLFs and CBFs is illustrated in stabilization of a 3D tumor model, subject to physiological constraints (i.e., all states must be positive), which yields useful insights into optimal cancer treatment design.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
Expanding CGL: The CGL double-adiabatic approximation in the Expanding Solar Wind
Authors:
Sebastián Echeverría-Veas,
Pablo S. Moya,
Marian Lazar,
Stefaan Poedts,
Felipe A. Asenjo
Abstract:
Different in situ satellite observations within 0.3 to 1 AU from the Sun reveal deviations in the thermodynamics of solar wind expansion. Specifically, these deviations challenge the applicability of the double adiabatic or CGL theory, indicating potential influences such as perpendicular heating and/or parallel cooling of ions. The study aims to investigate the plasma expansion phenomena using th…
▽ More
Different in situ satellite observations within 0.3 to 1 AU from the Sun reveal deviations in the thermodynamics of solar wind expansion. Specifically, these deviations challenge the applicability of the double adiabatic or CGL theory, indicating potential influences such as perpendicular heating and/or parallel cooling of ions. The study aims to investigate the plasma expansion phenomena using the Expanding Box Model (EBM) coupled with an ideal MHD description of the plasma. The primary objective is to understand the observed deviations from the CGL predictions, and how the expansion can affect the conservation of the adiabatic invariants, particularly focusing on the impact of transverse expansion on the CGL equations. To address the plasma expansion, we employed the Expanding Box Model (EBM) coupled with the ideal-MHD formalism used for CGL theory. This model provides a unique system of reference co-moving with the solar wind, allowing for the incorporation of transverse expansion into the double adiabatic equations. Solving the equations for different magnetic field profiles, we compute the evolution of anisotropy and plasma beta, which deviates from CGL predictions and empirical observations. This deviation is attributed to the plasma cooling effect induced by the Expanding Box Model (EBM). Results suggest that heating mechanisms play a crucial role in counteracting plasma cooling during expansion.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics
Authors:
Maico H. W. Engelaar,
Zengjie Zhang,
Mircea Lazar,
Sofie Haesaert
Abstract:
This paper concerns the risk-aware control of stochastic systems with temporal logic specifications dynamically assigned during runtime. Conventional risk-aware control typically assumes that all specifications are predefined and remain unchanged during runtime. In this paper, we propose a novel, provably correct model predictive control scheme for linear systems with additive unbounded stochastic…
▽ More
This paper concerns the risk-aware control of stochastic systems with temporal logic specifications dynamically assigned during runtime. Conventional risk-aware control typically assumes that all specifications are predefined and remain unchanged during runtime. In this paper, we propose a novel, provably correct model predictive control scheme for linear systems with additive unbounded stochastic disturbances that dynamically evaluates the feasibility of runtime signal temporal logic specifications and automatically reschedules the control inputs accordingly. The control method guarantees the probabilistic satisfaction of newly accepted specifications without sacrificing the satisfaction of the previously accepted ones. The proposed control method is validated by a robotic motion planning case study.
△ Less
Submitted 30 April, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
Basis functions nonlinear data-enabled predictive control: Consistent and computationally efficient formulations
Authors:
Mircea Lazar
Abstract:
This paper considers the extension of data-enabled predictive control (DeePC) to nonlinear systems via general basis functions. Firstly, we formulate a basis functions DeePC behavioral predictor and we identify necessary and sufficient conditions for equivalence with a corresponding basis functions multi-step identified predictor. The derived conditions yield a dynamic regularization cost function…
▽ More
This paper considers the extension of data-enabled predictive control (DeePC) to nonlinear systems via general basis functions. Firstly, we formulate a basis functions DeePC behavioral predictor and we identify necessary and sufficient conditions for equivalence with a corresponding basis functions multi-step identified predictor. The derived conditions yield a dynamic regularization cost function that enables a well-posed (i.e., consistent) basis functions formulation of nonlinear DeePC. To optimize computational efficiency of basis functions DeePC we further develop two alternative formulations that use a simpler, sparse regularization cost function and ridge regression, respectively. Consistency implications for Koopman DeePC as well as several methods for constructing the basis functions representation are also indicated. The effectiveness of the developed consistent basis functions DeePC formulations is illustrated on a benchmark nonlinear pendulum state-space model, for both noise free and noisy data.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
First Principle Description of Plasma Expansion Using the Expanding Box Model
Authors:
Sebastian Echeverría-Veas,
Pablo S. Moya,
Marian Lazar,
Stefaan Poedts,
.
Abstract:
Multi-scale modeling of expanding plasmas is crucial for understanding the dynamics and evolution of various astrophysical plasma systems such as the solar and stellar winds. In this context, the Expanding Box Model (EBM) provides a valuable framework to mimic plasma expansion in a non-inertial reference frame, co-moving with the expansion but in a box with a fixed volume, which is especially usef…
▽ More
Multi-scale modeling of expanding plasmas is crucial for understanding the dynamics and evolution of various astrophysical plasma systems such as the solar and stellar winds. In this context, the Expanding Box Model (EBM) provides a valuable framework to mimic plasma expansion in a non-inertial reference frame, co-moving with the expansion but in a box with a fixed volume, which is especially useful for numerical simulations. Here, fundamentally based on the Vlasov equation for magnetized plasmas and the EBM formalism for coordinates transformations, for the first time we develop a first-principles description of radially expanding plasmas in the EB frame. From this approach, we aim to fill the gap between simulations and theory at microscopic scales to model plasma expansion at the kinetic level. Our results show that expansion introduces non-trivial changes in the Vlasov equation (in the EB frame), especially affecting its conservative form through non-inertial forces purely related to the expansion. In order to test the consistency of the equations, we also provide integral moments of the modified Vlasov equation, obtaining the related expanding moments (i.e., continuity, momentum, and energy equations). Comparing our results with the literature, we obtain the same fluids equations (ideal-MHD), but starting from a first principles approach. We also obtained the tensorial form of the energy/pressure equation in the EB frame. These results show the consistency between the kinetic and MHD descriptions. Thus, the expanding Vlasov kinetic theory provides a novel framework to explore plasma physics at both micro and macroscopic scales in complex astrophysical scenarios.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Be greedy and learn: efficient and certified algorithms for parametrized optimal control problems
Authors:
Hendrik Kleikamp,
Martin Lazar,
Cesare Molinari
Abstract:
We consider parametrized linear-quadratic optimal control problems and provide their online-efficient solutions by combining greedy reduced basis methods and machine learning algorithms. To this end, we first extend the greedy control algorithm, which builds a reduced basis for the manifold of optimal final time adjoint states, to the setting where the objective functional consists of a penalty te…
▽ More
We consider parametrized linear-quadratic optimal control problems and provide their online-efficient solutions by combining greedy reduced basis methods and machine learning algorithms. To this end, we first extend the greedy control algorithm, which builds a reduced basis for the manifold of optimal final time adjoint states, to the setting where the objective functional consists of a penalty term measuring the deviation from a desired state and a term describing the control energy. Afterwards, we apply machine learning surrogates to accelerate the online evaluation of the reduced model. The error estimates proven for the greedy procedure are further transferred to the machine learning models and thus allow for efficient a posteriori error certification. We discuss the computational costs of all considered methods in detail and show by means of two numerical examples the tremendous potential of the proposed methodology.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
Interplay Between Anisotropy- and Skewness-driven Whistler Instabilities in the Solar Wind under the Core-Strahlo model
Authors:
Bea Zenteno-Quinteros,
Pablo S Moya,
Marian Lazar,
Adolfo F Vinas,
Stefaan Poedts
Abstract:
Temperature anisotropy and field-aligned skewness are commonly observed non-thermal features in electron velocity distributions in the solar wind. These characteristics can act as a source of free energy to destabilize different electromagnetic wave modes, which may alter the plasma state through wave-particle interactions. Previous theoretical studies have mainly focused on analyzing these non-th…
▽ More
Temperature anisotropy and field-aligned skewness are commonly observed non-thermal features in electron velocity distributions in the solar wind. These characteristics can act as a source of free energy to destabilize different electromagnetic wave modes, which may alter the plasma state through wave-particle interactions. Previous theoretical studies have mainly focused on analyzing these non-thermal features and self-generated instabilities individually. However, to obtain a more accurate and realistic understanding of kinetic processes in the solar wind, it is necessary to examine the interplay between these two energy sources. By means of linear kinetic theory, in this paper we investigate the excitation of the parallel-propagating whistler mode, when it is destabilized by electron populations exhibiting both temperature anisotropy and field-aligned strahl or skewness. To describe the solar wind electrons, we adopt the Core-Strahlo model as an alternative approach. This model offers the advantage of representing the suprathermal features of halo and strahl electrons, using a single skew-Kappa distribution already known as the strahlo population. Our findings show that when the electron strahlo exhibits an intrinsic temperature anisotropy, this suprathermal population becomes a stronger and more efficient source of free energy for destabilizing the whistler mode. This suggests a greater involvement of the anisotropic strahlo in processes conditioned by wave-particle interactions. Present results also suggest that the contribution of core anisotropy can be safely disregarded when assessing the importance of instabilities driven by the suprathermal population. This allows for a focused study, particularly regarding the regulation of electron heat flux in the solar wind.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Parallel Shooting Sequential Quadratic Programming for Nonlinear MPC Problems
Authors:
P. C. N. Verheijen,
M. Haghi,
M. Lazar,
D. Goswami
Abstract:
In this paper, we propose a parallel shooting algorithm for solving nonlinear model predictive control problems using sequential quadratic programming. This algorithm is built on a two-phase approach where we first test and assess sequential convergence over many initial trajectories in parallel. However, if none converge, the algorithm starts varying the Newton step size in parallel instead. Thro…
▽ More
In this paper, we propose a parallel shooting algorithm for solving nonlinear model predictive control problems using sequential quadratic programming. This algorithm is built on a two-phase approach where we first test and assess sequential convergence over many initial trajectories in parallel. However, if none converge, the algorithm starts varying the Newton step size in parallel instead. Through this parallel shooting approach, it is expected that the number of iterations to converge to an optimal solution can be decreased. Furthermore, the algorithm can be further expanded and accelerated by implementing it on GPUs. We illustrate the effectiveness of the proposed Parallel Shooting Sequential Quadratic Programming (PS-SQP) method in some benchmark examples for nonlinear model predictive control. The developed PS-SQP parallel solver converges faster on average and especially when significant nonlinear behaviour is excited in the NMPC horizon.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Physics-guided neural networks for inversion-based feedforward control applied to hybrid stepper motors
Authors:
Daiwei Fan,
Max Bolderman,
Sjirk Koekebakker,
Hans Butler,
Mircea Lazar
Abstract:
Rotary motors, such as hybrid stepper motors (HSMs), are widely used in industries varying from printing applications to robotics. The increasing need for productivity and efficiency without increasing the manufacturing costs calls for innovative control design. Feedforward control is typically used in tracking control problems, where the desired reference is known in advance. In most applications…
▽ More
Rotary motors, such as hybrid stepper motors (HSMs), are widely used in industries varying from printing applications to robotics. The increasing need for productivity and efficiency without increasing the manufacturing costs calls for innovative control design. Feedforward control is typically used in tracking control problems, where the desired reference is known in advance. In most applications, this is the case for HSMs, which need to track a periodic angular velocity and angular position reference. Performance achieved by feedforward control is limited by the accuracy of the available model describing the inverse system dynamics. In this work, we develop a physics-guided neural network (PGNN) feedforward controller for HSMs, which can learn the effect of parasitic forces from data and compensate for it, resulting in improved accuracy. Indeed, experimental results on an HSM used in printing industry show that the PGNN outperforms conventional benchmarks in terms of the mean-absolute tracking error.
△ Less
Submitted 22 June, 2023;
originally announced June 2023.
-
Stochastic Model Predictive Control with Dynamic Chance Constraints
Authors:
Maico Hendrikus Wilhelmus Engelaar,
Sofie Haesaert,
Mircea Lazar
Abstract:
This work introduces a stochastic model predictive control scheme for dynamic chance constraints. We consider linear discrete-time systems affected by unbounded additive stochastic disturbance. To synthesize an optimal controller, we solve two subsequent stochastic optimization problems. The first problem concerns finding the maximal feasible probabilities of the dynamic chance constraints. After…
▽ More
This work introduces a stochastic model predictive control scheme for dynamic chance constraints. We consider linear discrete-time systems affected by unbounded additive stochastic disturbance. To synthesize an optimal controller, we solve two subsequent stochastic optimization problems. The first problem concerns finding the maximal feasible probabilities of the dynamic chance constraints. After obtaining the probabilities, the second problem concerns finding an optimal controller using stochastic model predictive control. We solve both stochastic optimization problems by reformulating them into deterministic ones using probabilistic reachable tubes and constraint tightening. We prove that the developed algorithm is recursively feasible and yields closed-loop satisfaction of the dynamic chance constraints. In addition, we will introduce a novel implementation using zonotopes to describe the tightening analytically. Finally, we will end with an example illustrating the method's benefits.
△ Less
Submitted 25 July, 2023; v1 submitted 30 May, 2023;
originally announced May 2023.
-
Abstracting Linear Stochastic Systems via Knowledge Filtering
Authors:
Maico Hendrikus Wilhelmus Engelaar,
Licio Romao,
Yulong Gao,
Mircea Lazar,
Alessandro Abate,
Sofie Haesaert
Abstract:
In this paper, we propose a new model reduction technique for linear stochastic systems that builds upon knowledge filtering and utilizes optimal Kalman filtering techniques. This new technique will reduce the dimension of the noise disturbance and will allow any controller designed for the reduced model to be refined into a controller for the original stochastic system, while preserving any speci…
▽ More
In this paper, we propose a new model reduction technique for linear stochastic systems that builds upon knowledge filtering and utilizes optimal Kalman filtering techniques. This new technique will reduce the dimension of the noise disturbance and will allow any controller designed for the reduced model to be refined into a controller for the original stochastic system, while preserving any specification on the output. Although initially the reduced model will be time-varying, a method will be provided with which the reduced model can become time-invariant if it satisfies some minor technical conditions. We present our theoretical findings with an example that supports the proposed framework and illustrates how model reduction and controller refinement of stochastic systems can be achieved. We finish the paper by considering specific examples to analyze both completeness with respect to controller synthesis and model order reduction with respect to the state.
△ Less
Submitted 15 September, 2023; v1 submitted 12 April, 2023;
originally announced April 2023.
-
Generalized Data-driven Predictive Control
Authors:
M. Lazar,
P. C. N. Verheijen
Abstract:
Data-driven predictive control (DPC) is becoming an attractive alternative to model predictive control as it requires less system knowledge for implementation and reliable data is increasingly available in smart engineering systems. Two main approaches exist within DPC, which mostly differ in the construction of the predictor: estimated prediction matrices (unbiased for large data) or Hankel data…
▽ More
Data-driven predictive control (DPC) is becoming an attractive alternative to model predictive control as it requires less system knowledge for implementation and reliable data is increasingly available in smart engineering systems. Two main approaches exist within DPC, which mostly differ in the construction of the predictor: estimated prediction matrices (unbiased for large data) or Hankel data matrices as predictor (allows for optimizing the bias/variance trade-off). In this paper we develop a novel, generalized DPC (GDPC) algorithm that constructs the predicted input sequence as the sum of a known input sequence and an optimized input sequence. The predicted output corresponding to the known input sequence is computed using an unbiased, least squares predictor, while the optimized predicted output is computed using a Hankel matrix based predictor. By combining these two types of predictors, GDPC can achieve high performance for noisy data even when using a small Hankel matrix, which is computationally more efficient. Simulation results for a benchmark example from the literature show that GDPC with a minimal size Hankel matrix can match the performance of data-enabled predictive control with a larger Hankel matrix in the presence of noisy data.
△ Less
Submitted 3 April, 2023;
originally announced April 2023.
-
Data-driven feedforward control design for nonlinear systems: A control-oriented system identification approach
Authors:
Max Bolderman,
Mircea Lazar,
Hans Butler
Abstract:
Feedforward controllers typically rely on accurately identified inverse models of the system dynamics to achieve high reference tracking performance. However, the impact of the (inverse) model identification error on the resulting tracking error is only analyzed a posteriori in experiments. Therefore, in this work, we develop an approach to feedforward control design that aims at minimizing the tr…
▽ More
Feedforward controllers typically rely on accurately identified inverse models of the system dynamics to achieve high reference tracking performance. However, the impact of the (inverse) model identification error on the resulting tracking error is only analyzed a posteriori in experiments. Therefore, in this work, we develop an approach to feedforward control design that aims at minimizing the tracking error a priori. To achieve this, we present a model of the system in a lifted space of trajectories, based on which we derive an upperbound on the reference tracking performance. Minimization of this bound yields a feedforward control-oriented system identification cost function, and a finite-horizon optimization to compute the feedforward control signal. The nonlinear feedforward control design method is validated using physics-guided neural networks on a nonlinear, nonminimum phase mechatronic example, where it outperforms linear ILC.
△ Less
Submitted 12 June, 2023; v1 submitted 20 March, 2023;
originally announced March 2023.
-
Physics-guided neural networks for feedforward control with input-to-state stability guarantees
Authors:
Max Bolderman,
Hans Butler,
Sjirk Koekebakker,
Eelco van Horssen,
Ramidin Kamidi,
Theresa Spaan-Burke,
Nard Strijbosch,
Mircea Lazar
Abstract:
The increasing demand on precision and throughput within high-precision mechatronics industries requires a new generation of feedforward controllers with higher accuracy than existing, physics-based feedforward controllers. As neural networks are universal approximators, they can in principle yield feedforward controllers with a higher accuracy, but suffer from bad extrapolation outside the traini…
▽ More
The increasing demand on precision and throughput within high-precision mechatronics industries requires a new generation of feedforward controllers with higher accuracy than existing, physics-based feedforward controllers. As neural networks are universal approximators, they can in principle yield feedforward controllers with a higher accuracy, but suffer from bad extrapolation outside the training data set, which makes them unsafe for implementation in industry. Motivated by this, we develop a novel physics-guided neural network (PGNN) architecture that structurally merges a physics-based layer and a black-box neural layer in a single model. The parameters of the two layers are simultaneously identified, while a novel regularization cost function is used to prevent competition among layers and to preserve consistency of the physics-based parameters. Moreover, in order to ensure stability of PGNN feedforward controllers, we develop sufficient conditions for analyzing or imposing (during training) input-to-state stability of PGNNs, based on novel, less conservative Lipschitz bounds for neural networks. The developed PGNN feedforward control framework is validated on a real-life, high-precision industrial linear motor used in lithography machines, where it reaches a factor 2 improvement with respect to physics-based mass-friction feedforward and it significantly outperforms alternative neural network based feedforward controllers.
△ Less
Submitted 11 September, 2023; v1 submitted 20 January, 2023;
originally announced January 2023.
-
The aperiodic firehose instability of counter-beaming electrons in space plasmas
Authors:
M. Lazar,
R. A. López,
P. S. Moya,
S. Poedts,
S. M. Shaaban
Abstract:
Recent studies have revealed new unstable regimes of the counter-beaming electrons specific to hot and dilute plasmas from astrophysical scenarios. The (counter-)beaming electron firehose instability (BEFI) is induced for highly oblique angles of propagation relative to the magnetic field, resembling the fast growing and aperiodic mode triggered by the temperature anisotropy. It is investigated he…
▽ More
Recent studies have revealed new unstable regimes of the counter-beaming electrons specific to hot and dilute plasmas from astrophysical scenarios. The (counter-)beaming electron firehose instability (BEFI) is induced for highly oblique angles of propagation relative to the magnetic field, resembling the fast growing and aperiodic mode triggered by the temperature anisotropy. It is investigated here for space plasma conditions that includes the influence of an embedding background plasma of electrons and protons. Kinetic theory is applied to prescribe the unstable regimes, and differentiate from the regimes of interplay with other instabilities. Linear theory predicts a systematic inhibition of the BEFI, by reducing the growth rates and the range of unstable wave-number with increasing the relative density of the background electrons. To obtain finite growth rates, the beam speed does not need to be high (just comparable to thermal speed), but beams must be dense enough, with a relative density at least 15-20\% of the total density. The plasma conditions favorable to this instability are reduced under the influence of background electrons. PIC simulations confirm not only that BEFI can be excited in the presence of background electrons, but also the inhibiting effect of this population. In the regimes of transition to electrostatic (ES) instabilities, BEFI is still robust enough to develop as a secondary instability, after the relaxation of beams under a quick interaction with ES fluctuations. BEFI resembles the properties of firehose heat-flux instability triggered by the electron strahl. However, BEFI is driven by a double (counter-beaming) strahl, and develops at oblique angles, which makes it effective in the regularization of the electron counter-beams observed in closed magnetic field topologies and interplanetary shocks.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Consensus of hierarchical multi-agent systems with a time-varying set of active agents
Authors:
Victor Daniel Reyes Dreke,
Mircea Lazar
Abstract:
Time-varying hierarchical multi-agent systems are common in many applications. A well-known solution to control these systems is to use state feedback controllers that depend on the adjacency matrix to reach consensus. This solution has been applied so far to multi-agent systems with fixed or time-varying communication topologies. In this paper, we consider single-integrator multi-agent systems wh…
▽ More
Time-varying hierarchical multi-agent systems are common in many applications. A well-known solution to control these systems is to use state feedback controllers that depend on the adjacency matrix to reach consensus. This solution has been applied so far to multi-agent systems with fixed or time-varying communication topologies. In this paper, we consider single-integrator multi-agent systems where only a subset of the agents are active at any given time and the set of active agents is time-varying. This type of multi-agent system is relevant in applications such as modular multilevel converters and water pum** systems. We develop a switching algorithm that periodically selects a set of active agents through a set of graphs that connect the follower agents with a leader agent. We further prove that the developed switching algorithm combined with a classic consensus protocol yields convergence to a consensus state defined by the leader despite a time-varying set of active agents. The effectiveness of the switching algorithm is illustrated in two benchmark examples: a modular multilevel converter and a water pum** system.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
On a Canonical Distributed Controller in the Behavioral Framework
Authors:
Tom R. V. Steentjes,
Mircea Lazar,
Paul M. J. Van den Hof
Abstract:
Control in a classical transfer function or state-space setting typically views a controller as a signal processor: sensor outputs are mapped to actuator inputs. In behavioral system theory, control is simply viewed as interconnection; the interconnection of a plant with a controller. In this paper we consider the problem of control of interconnected systems in a behavioral setting. The behavioral…
▽ More
Control in a classical transfer function or state-space setting typically views a controller as a signal processor: sensor outputs are mapped to actuator inputs. In behavioral system theory, control is simply viewed as interconnection; the interconnection of a plant with a controller. In this paper we consider the problem of control of interconnected systems in a behavioral setting. The behavioral setting is especially fit for modelling interconnected systems, because it allows for the interconnection of subsystems without imposing inputs and outputs. We introduce a so-called canonical distributed controller that implements a given interconnected behavior that is desired, provided that necessary and sufficient conditions hold true. The controller design can be performed in a decentralized manner, in the sense that a local controller only depends on the local system behavior. Regularity of interconnections is an important property in behavioral control that yields feedback interconnections. We provide conditions under which the interconnection of this distributed controller with the plant is regular. Furthermore, we show that the interconnections of subsystems of the canonical distributed controller are regular if and only if the interconnections of the plant and desired behavior are regular.
△ Less
Submitted 10 April, 2023; v1 submitted 12 October, 2022;
originally announced October 2022.
-
Comparing the counter-beaming and temperature anisotropy driven aperiodic electron firehose instabilities in collisionless plasma environments
Authors:
Pablo S. Moya,
Rodrigo A Lopez,
Marian Lazar,
Stefaan Poedts,
Shaaban M Shaaban
Abstract:
The electron firehose instabilities are among the most studied kinetic instabilities, especially in the context of space plasmas, whose dynamics is mainly controlled by collisionless wave-particle interactions. This paper undertakes a comparative analysis of the aperiodic electron firehose instabilities excited either by the anisotropic temperature or by the electron counter-beaming populations. T…
▽ More
The electron firehose instabilities are among the most studied kinetic instabilities, especially in the context of space plasmas, whose dynamics is mainly controlled by collisionless wave-particle interactions. This paper undertakes a comparative analysis of the aperiodic electron firehose instabilities excited either by the anisotropic temperature or by the electron counter-beaming populations. Two symmetric counter-beams provide an effective kinetic anisotropy similar to the temperature anisotropy of a single (non-drifting) population, with temperature along the magnetic field direction larger than that in perpendicular direction. Therefore, the counter-beaming plasma is susceptible to firehose-like instabilities (FIs), parallel and oblique branches. Here we focus on the oblique beaming FI, which is also aperiodic when the free energy is provided by symmetric counter-beams. Our results show that, for relative small drifts or beaming speeds ($U$), not exceeding the thermal speed ($α$), the aperiodic FIs exist in the same interval of wave-numbers and the same range of oblique angles (with respect to the magnetic field direction), but the growth rates of counter-beaming FI (CBFI) are always higher than those of temperature anisotropy FI (TAFI). For $U/α> 1$, however, another electrostatic two-stream instability (ETSI) is also predicted, which may have growth rates higher than those of CBFI, and may dominate in that case the dynamics.
△ Less
Submitted 1 September, 2022;
originally announced September 2022.
-
Model predictive eco-driving control for heavy-duty trucks using Branch and Bound optimization
Authors:
B. Wingelaar,
G. R. Gonçalves da Silva,
M. Lazar
Abstract:
Eco-driving (ED) can be used for fuel savings in existing vehicles, requiring only a few hardware modifications. For this technology to be successful in a dynamic environment, ED requires an online real-time implementable policy. In this work, a dedicated Branch and Bound (BnB) model predictive control (MPC) algorithm is proposed to solve the optimization part of an ED optimal control problem. The…
▽ More
Eco-driving (ED) can be used for fuel savings in existing vehicles, requiring only a few hardware modifications. For this technology to be successful in a dynamic environment, ED requires an online real-time implementable policy. In this work, a dedicated Branch and Bound (BnB) model predictive control (MPC) algorithm is proposed to solve the optimization part of an ED optimal control problem. The developed MPC solution for ED is based on the following ingredients. As a prediction model, the velocity dynamics as a function of distance is modeled by a finite number of driving modes and gear positions. Then we formulate an optimization problem that minimizes a cost function with two terms: one penalizing the fuel consumption and one penalizing the trip duration. We exploit contextual elements and use a warm-started solution to make the BnB solver run in real-time. The results are evaluated in numerical simulations on two routes in Israel and France and the long haul cycle of the Vehicle Energy consumption Calculation Tool (VECTO). In comparison with a human driver and a Pontryagin's Minimum Principle (PMP) solution, 25.8% and 12.9% fuel savings, respectively, are achieved on average.
△ Less
Submitted 11 November, 2022; v1 submitted 6 June, 2022;
originally announced June 2022.
-
On the Steady-State Behavior of Finite-Control-Set MPC with an Application to High-Precision Power Amplifiers
Authors:
Duo Xu,
Sander Damsma,
Mircea Lazar
Abstract:
Motivated by increasing precision requirements for switched power amplifiers, this paper addresses the problem of model predictive control (MPC) design for discrete-time linear systems with a finite control set (FCS). Typically, existing solutions for FCS-MPC penalize the output tracking error and the control input rate of change, which can lead to arbitrary switching among the available discrete…
▽ More
Motivated by increasing precision requirements for switched power amplifiers, this paper addresses the problem of model predictive control (MPC) design for discrete-time linear systems with a finite control set (FCS). Typically, existing solutions for FCS-MPC penalize the output tracking error and the control input rate of change, which can lead to arbitrary switching among the available discrete control inputs and unpredictable steady-state behavior. To improve the steady-state behavior of FCS-MPC, in this paper we design a cost function that penalizes the tracking error with respect to a state and input steady-state limit cycle. We prove that if a suitable terminal cost is added to the FCS-MPC algorithm convergence to the limit cycle is ensured. The developed methodology is validated in direct switching control of a power amplifier for high-precision motion systems, where it significantly improves the steady-state output current ripple.
△ Less
Submitted 31 May, 2022;
originally announced May 2022.
-
Revisiting the Ulysses electron data with a triple fit of velocity distributions
Authors:
Klaus Scherer,
Edin Husidic,
Marian Lazar,
Horst Fichtner
Abstract:
Given their uniqueness, the Ulysses data can still provide us with valuable new clues about the properties of plasma populations in the solar wind, and, especially, about their variations with heliographic coordinates. We revisit the electron data reported by by the SWOOPS instrument on-board of the Ulysses spacecraft between 1990 to early 2008. These observations reveal velocity distributions out…
▽ More
Given their uniqueness, the Ulysses data can still provide us with valuable new clues about the properties of plasma populations in the solar wind, and, especially, about their variations with heliographic coordinates. We revisit the electron data reported by by the SWOOPS instrument on-board of the Ulysses spacecraft between 1990 to early 2008. These observations reveal velocity distributions out of thermal equilibrium, with anisotropies (e.g., parallel drifts or/and different temperatures, parallel and perpendicular to the background magnetic field), and quasi-thermal and suprathermal populations with different properties. We apply a 2D nonlinear least square fitting procedure, using the Levenberg-Marquardt algorithm, to simultaneously fit the velocity electron data (up to a few keV) with a triple model combining three distinct populations: the more central quasi-thermal core and suprathermal halo, and a second suprathermal population consisting mainly of the electron strahl (or beaming population with a major field-aligned drift). The recently introduced $κ$-cookbook is used to describe each component with the following anisotropic distribution functions (recipes): Maxwellian, regularized kappa-, and generalized kappa-distributions. The temperature anisotropy quantified by the best fits is considered as a case study of the main parameters characterizing electron populations. By comparison to the core, both suprathermal populations exhibit higher temperature anisotropies, which slightly increase with the energy of electrons.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
Mixing the solar wind proton and electron scales. Theory and 2D-PIC simulations of firehose instability
Authors:
R. A. López,
A. Micera,
M. Lazar,
S. Poedts,
G. Lapenta,
A. N. Zhukov,
E. Boella,
S. M. Shaaban
Abstract:
Firehose-like instabilities (FIs) are cited in multiple astrophysical applications. Of particular interest are the kinetic manifestations in weakly-collisional or even collisionless plasmas, where these instabilities are expected to contribute to the evolution of macroscopic parameters. Relatively recent studies have initiated a realistic description of FIs, as induced by the interplay of both spe…
▽ More
Firehose-like instabilities (FIs) are cited in multiple astrophysical applications. Of particular interest are the kinetic manifestations in weakly-collisional or even collisionless plasmas, where these instabilities are expected to contribute to the evolution of macroscopic parameters. Relatively recent studies have initiated a realistic description of FIs, as induced by the interplay of both species, electrons and protons, dominant in the solar wind plasma. This work complements the current knowledge with new insights from linear theory and the first disclosures from 2D PIC simulations, identifying the fastest growing modes near the instability thresholds and their long-run consequences on the anisotropic distributions. Thus, unlike previous setups, these conditions are favorable to those aperiodic branches that propagate obliquely to the uniform magnetic field, with (maximum) growth rates higher than periodic, quasi-parallel modes. Theoretical predictions are, in general, confirmed by the simulations. The aperiodic electron FI (a-EFI) remains unaffected by the proton anisotropy, and saturates rapidly at low-level fluctuations. Regarding the firehose instability at proton scales, we see a stronger competition between the periodic and aperiodic branches. For the parameters chosen in our analysis, the a-PFI is excited before than the p-PFI, with the latter reaching a significantly higher fluctuation power. However, both branches are significantly enhanced by the presence of anisotropic electrons. The interplay between EFIs and PFIs also produces a more pronounced proton isotropization.
△ Less
Submitted 4 May, 2022;
originally announced May 2022.
-
Physics-guided neural networks for feedforward control: From consistent identification to feedforward controller design
Authors:
Max Bolderman,
Mircea Lazar,
Hans Butler
Abstract:
Model-based feedforward control improves tracking performance of motion systems, provided that the model describing the inverse dynamics is of sufficient accuracy. Model sets, such as neural networks (NNs) and physics-guided neural networks (PGNNs) are typically used as flexible parametrizations that enable accurate identification of the inverse system dynamics. Currently, these (PG)NNs are used t…
▽ More
Model-based feedforward control improves tracking performance of motion systems, provided that the model describing the inverse dynamics is of sufficient accuracy. Model sets, such as neural networks (NNs) and physics-guided neural networks (PGNNs) are typically used as flexible parametrizations that enable accurate identification of the inverse system dynamics. Currently, these (PG)NNs are used to identify the inverse dynamics directly. However, direct identification of the inverse dynamics is sensitive to noise that is present in the training data, and thereby results in biased parameter estimates which limit the achievable tracking performance. In order to push performance further, it is therefore crucial to account for noise when performing the identification. To address this problem, this paper proposes the use of a forward system identification using (PG)NNs from noisy data. Afterwards, two methods are proposed for inverting PGNNs to design a feedforward controller for high-precision motion control. The developed methodology is validated on a real-life industrial linear motor, where it showed significant improvements in tracking performance with respect to the direct inverse identification.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
Long hauling eco-driving: heavy-duty trucks operational modes control with integrated road slope preview
Authors:
Gustavo R. Gonçalves da Silva,
Mircea Lazar
Abstract:
In this paper, a complete eco-driving strategy for heavy-duty trucks (HDT) based on a finite number of driving modes with corresponding gear shifting is developed to cope with different route events and with road slope data. The problem is formulated as an optimal control problem with respect to fuel consumption and trip duration, and solved using a Pontryagin minimum principle (PMP) algorithm for…
▽ More
In this paper, a complete eco-driving strategy for heavy-duty trucks (HDT) based on a finite number of driving modes with corresponding gear shifting is developed to cope with different route events and with road slope data. The problem is formulated as an optimal control problem with respect to fuel consumption and trip duration, and solved using a Pontryagin minimum principle (PMP) algorithm for a path search problem, such that computations can be carried out online, in real-time. The developed eco-driving assistance system (EDAS) provides a velocity profile and a sequence of driving modes (and gears) recommendation to the driver, without actively controlling the HDT (human in the loop) and, in practice, allows contextual feedback incorporation from the driver for safety. Simulation results show that the developed methodology is able to provide a velocity profile for a complete route based on known road events and slope information while satisfying all truck operational constraints.
△ Less
Submitted 23 March, 2022;
originally announced March 2022.
-
Informativity conditions for data-driven control based on input-state data and polyhedral cross-covariance noise bounds
Authors:
Tom R. V. Steentjes,
Mircea Lazar,
Paul M. J. Van den Hof
Abstract:
Modeling and control of dynamical systems rely on measured data, which contains information about the system. Finite data measurements typically lead to a set of system models that are unfalsified, i.e., that explain the data. The problem of data-informativity for stabilization or control with quadratic performance is concerned with the existence of a controller that stabilizes all unfalsified sys…
▽ More
Modeling and control of dynamical systems rely on measured data, which contains information about the system. Finite data measurements typically lead to a set of system models that are unfalsified, i.e., that explain the data. The problem of data-informativity for stabilization or control with quadratic performance is concerned with the existence of a controller that stabilizes all unfalsified systems or achieves a desired quadratic performance. Recent results in the literature provide informativity conditions for control based on input-state data and ellipsoidal noise bounds, such as energy or magnitude bounds. In this paper, we consider informativity of input-state data for control where noise bounds are defined through the cross-covariance of the noise with respect to an instrumental variable; bounds that were introduced originally as a noise characterization in parameter bounding identification. The considered cross-covariance bounds are defined by a finite number of hyperplanes, which induce a (possibly unbounded) polyhedral set of unfalsified systems. We provide informativity conditions for input-state data with polyhedral cross-covariance bounds for stabilization and $\mathcal{H}_2$/$\mathcal{H}_\infty$ control through vertex/half-space representations of the polyhedral set of unfalsified systems.
△ Less
Submitted 18 February, 2022;
originally announced February 2022.
-
Greedy search of optimal approximate solutions
Authors:
Martin Lazar,
Enrique Zuazua
Abstract:
In this paper we develop a procedure to deal with a family of parameter-dependent ill-posed problems, for which the exact solution in general does not exist. The original problems are relaxed by considering corresponding approximate ones, whose optimal solutions are well dfined, where the optimality is determined by the minimal norm requirement. The procedure is based upon greedy algorithms that p…
▽ More
In this paper we develop a procedure to deal with a family of parameter-dependent ill-posed problems, for which the exact solution in general does not exist. The original problems are relaxed by considering corresponding approximate ones, whose optimal solutions are well dfined, where the optimality is determined by the minimal norm requirement. The procedure is based upon greedy algorithms that preserve, at least asymptotically, Kolmogorov approximation rates. In order to provide a-priori estimates for the algorithm, a Tychonff-type regularization is applied, which adds an additional parameter to the model. The theory is developed in an abstract theoretical framework that allows its application to different kinds of problems. We present a specific example that considers a family of ill-posed elliptic problems. The required general assumptions in this case translate to rather natural uniform lower and upper bounds on coefficients of the considered operators.
△ Less
Submitted 28 June, 2022; v1 submitted 31 January, 2022;
originally announced February 2022.
-
On feedforward control using physics-guided neural networks: Training cost regularization and optimized initialization
Authors:
Max Bolderman,
Mircea Lazar,
Hans Butler
Abstract:
Performance of model-based feedforward controllers is typically limited by the accuracy of the inverse system dynamics model. Physics-guided neural networks (PGNN), where a known physical model cooperates in parallel with a neural network, were recently proposed as a method to achieve high accuracy of the identified inverse dynamics. However, the flexible nature of neural networks can create overp…
▽ More
Performance of model-based feedforward controllers is typically limited by the accuracy of the inverse system dynamics model. Physics-guided neural networks (PGNN), where a known physical model cooperates in parallel with a neural network, were recently proposed as a method to achieve high accuracy of the identified inverse dynamics. However, the flexible nature of neural networks can create overparameterization when employed in parallel with a physical model, which results in a parameter drift during training. This drift may result in parameters of the physical model not corresponding to their physical values, which increases vulnerability of the PGNN to operating conditions not present in the training data. To address this problem, this paper proposes a regularization method via identified physical parameters, in combination with an optimized training initialization that improves training convergence. The regularized PGNN framework is validated on a real-life industrial linear motor, where it delivers better tracking accuracy and extrapolation.
△ Less
Submitted 28 January, 2022;
originally announced January 2022.
-
Towards a realistic evaluation of transport coefficients in non-equilibrium space plasmas
Authors:
Edin Husidic,
Klaus Scherer,
Marian Lazar,
Horst Fichtner,
Stefaan Poedts
Abstract:
Recent studies have outlined the interest for the evaluation of transport coefficients in space plasmas, where the observed velocity distributions of plasma particles are conditioned not only by the binary collisions, e.g., at low energies, but also by the energisation of particles from their interaction with wave turbulence and fluctuations, generating the suprathermal Kappa-distributed populatio…
▽ More
Recent studies have outlined the interest for the evaluation of transport coefficients in space plasmas, where the observed velocity distributions of plasma particles are conditioned not only by the binary collisions, e.g., at low energies, but also by the energisation of particles from their interaction with wave turbulence and fluctuations, generating the suprathermal Kappa-distributed populations. This paper provides a first estimate of the main transport coefficients based on regularised Kappa distributions (RKDs), which, unlike standard Kappa distributions (SKDs), enable macroscopic parameterisation without mathematical divergences or physical inconsistencies. All transport coefficients derived here, i.e., the diffusion and mobility coefficients, electric conductivity, thermoelectric coefficient and thermal conductivity, are finite and well defined for all values of $κ> 0$. Moreover, for low values of $κ$ (i.e., below the SKD poles), the transport coefficients can be orders of magnitudes higher than the corresponding Maxwellian limits, meaning that significant underestimations can be made if suprathermal electrons are ignored.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
On data-driven control: informativity of noisy input-output data with cross-covariance bounds
Authors:
Tom R. V. Steentjes,
Mircea Lazar,
Paul M. J. Van den Hof
Abstract:
In this paper we develop new data informativity based controller synthesis methods that extend existing frameworks in two relevant directions: a more general noise characterization in terms of cross-covariance bounds and informativity conditions for control based on input-output data. Previous works have derived necessary and sufficient informativity conditions for noisy input-state data with quad…
▽ More
In this paper we develop new data informativity based controller synthesis methods that extend existing frameworks in two relevant directions: a more general noise characterization in terms of cross-covariance bounds and informativity conditions for control based on input-output data. Previous works have derived necessary and sufficient informativity conditions for noisy input-state data with quadratic noise bounds via an S-procedure. Although these bounds do not capture cross-covariance bounds in general, we show that the S-procedure is still applicable for obtaining non-conservative conditions on the data. Informativity-conditions for stability, $\mathcal{H}_\infty$ and $\mathcal{H}_2$ control are developed, which are sufficient for input-output data and also necessary for input-state data. Simulation experiments illustrate that cross-covariance bounds can be less conservative for informativity, compared to norm bounds typically employed in the literature.
△ Less
Submitted 23 March, 2022; v1 submitted 28 November, 2021;
originally announced November 2021.
-
Generalized plane strain embedded in three-dimensional anisotropic elasticity
Authors:
Markus Lazar,
Helmut O. K. Kirchner
Abstract:
The theory of anisotropic generalized plane strain of line forces and dislocation lines is embedded in three-dimensional elasticity of point forces and dislocation densities. Embedding in real space is achieved by slicing in reciprocal space using the projection-slice theorem.
The theory of anisotropic generalized plane strain of line forces and dislocation lines is embedded in three-dimensional elasticity of point forces and dislocation densities. Embedding in real space is achieved by slicing in reciprocal space using the projection-slice theorem.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Optimal control of parabolic equations -- a spectral calculus based approach
Authors:
Luka Grubišić,
Martin Lazar,
Ivica Nakić,
Martin Tautenhahn
Abstract:
In this paper we consider a constrained parabolic optimal control problem. The cost functional is quadratic and it combines the distance of the trajectory of the system from the desired evolution profile together with the cost of a control. The constraint is given by a term measuring the distance between the final state and the desired state towards which the solution should be steered. The contro…
▽ More
In this paper we consider a constrained parabolic optimal control problem. The cost functional is quadratic and it combines the distance of the trajectory of the system from the desired evolution profile together with the cost of a control. The constraint is given by a term measuring the distance between the final state and the desired state towards which the solution should be steered. The control enters the system through the initial condition. We present a geometric analysis of this problem and provide a closed-form expression for the solution. This approach allows us to present the sensitivity analysis of this problem based on the resolvent estimates for the generator of the system. The numerical implementation is performed by exploring efficient rational Krylov approximation techniques that allow us to approximate a complex function of an operator by a series of linear problems. Our method does not depend on the actual choice of discretization. The main approximation task is to construct an efficient rational approximation of a generalized exponential function. It is well known that this class of functions allows exponentially convergent rational approximations, which, combined with the sensitivity analysis of the closed form solution, allows us to present a robust numerical method. Several case studies are presented to illustrate our results.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Transport coefficients enhanced by suprathermal particles in nonequilibrium heliospheric plasmas
Authors:
Edin Husidic,
Marian Lazar,
Horst Fichtner,
Klaus Scherer,
Stefaan Poedts
Abstract:
In heliospheric plasmas the transport of energy and particles is governed by various fluxes (e.g., heat flux) triggered by different forces, electromagnetic fields, and gradients in density or temperature. In the outer corona and at relatively low heliocentric distances in the solar wind (i.e., < 1 AU), particle-particle collisions play an important role in the transport of energy, momentum, and m…
▽ More
In heliospheric plasmas the transport of energy and particles is governed by various fluxes (e.g., heat flux) triggered by different forces, electromagnetic fields, and gradients in density or temperature. In the outer corona and at relatively low heliocentric distances in the solar wind (i.e., < 1 AU), particle-particle collisions play an important role in the transport of energy, momentum, and matter, described within classical transport theory by the transport coefficients, which relate the fluxes to their sources. The present paper aims to improve the evaluation of the main transport coefficients in such nonequilibrium plasmas, on the basis of an implicit realistic characterization of their particle velocity distributions, in accord with the in situ observations. Of particular interest is the presence of suprathermal populations and their influence on these transport coefficients. Using the Boltzmann transport equation and macroscopic laws for the energy and particle fluxes, we derived electric conductivity, thermoelectric coefficient, thermal conductivity, diffusion, and mobility coefficient. These are conditioned by the electrons, which are empirically well described by the Kappa distribution, with a nearly Maxwellian core and power-law tails enhanced by the suprathermal population. Here we have adopted the original Kappa approach that has the ability to outline and quantify the contribution of suprathermal populations. Without exception, the transport coefficients are found to be systematically and markedly enhanced in the presence of suprathermal electrons, due to the additional kinetic energy with which these populations contribute to the dynamics of space plasma systems. The present results also show how important an adequate Kappa modeling of suprathermal populations is, which is in contrast to other modified interpretations that underestimate the effects of these populations.
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
A new low-beta regime for unstable proton firehose modes in bi-Kappa distributed plasmas
Authors:
S. M. Shaaban,
M. Lazar,
R. F. Wimmer-Schweingruber,
H. Fichtner
Abstract:
In the solar wind plasma an excess of kinetic temperature along the background magnetic field stimulates proton firehose modes to grow if the parallel plasma beta parameter is sufficiently high, i.e., $β_{p \parallel}\gtrsim 1$. This instability can prevent the expansion-driven anisotropy from increasing indefinitely, and explain the observations. Moreover, such kinetic instabilities are expected…
▽ More
In the solar wind plasma an excess of kinetic temperature along the background magnetic field stimulates proton firehose modes to grow if the parallel plasma beta parameter is sufficiently high, i.e., $β_{p \parallel}\gtrsim 1$. This instability can prevent the expansion-driven anisotropy from increasing indefinitely, and explain the observations. Moreover, such kinetic instabilities are expected to be even more effective in the presence of suprathermal Kappa-distributed populations, which are ubiquitous in the solar wind, are less affected by collisions than the core population, but contribute with an additional free energy. In this work we use both linear and extended quasi-linear (QL) frameworks to characterize the unstable periodic proton firehose modes (propagating parallel to the magnetic field) under the influence of suprathermal protons. Linear theory predicts a systematic stimulation of the instability, suprathermals amplifying the growth rates and decreasing the instability thresholds to lower anisotropies and lower plasma betas ($β_{p \parallel}<1$). In perfect agreement with these results, the QL approach reveals a significant enhancement of the resulting electromagnetic fluctuations up to the saturation with a stronger back reaction on protons, leading also to a faster and more efficient relaxation of the temperature anisotropy.
△ Less
Submitted 27 June, 2021;
originally announced June 2021.
-
Stabilization of discrete-time nonlinear systems based on control dissipation functions
Authors:
Mircea Lazar
Abstract:
This paper develops a dissipativity-based framework for synthesis of stabilizing controllers for discrete-time nonlinear systems subject to state/input constraints. Firstly, we revisit dissipation inequalities for discrete-time nonlinear systems that involve general storage and supply functions. We prove that positive definite storage functions and cyclically negative supply functions yield asympt…
▽ More
This paper develops a dissipativity-based framework for synthesis of stabilizing controllers for discrete-time nonlinear systems subject to state/input constraints. Firstly, we revisit dissipation inequalities for discrete-time nonlinear systems that involve general storage and supply functions. We prove that positive definite storage functions and cyclically negative supply functions yield asymptotic Lyapunov stability. Secondly, we define control dissipation functions (CDFs) and we construct stabilizing receding horizon controllers by minimizing CDFs subject to a cyclically negative supply condition. The effectiveness of stabilizing controllers based on CDFs is demonstrated on stabilization of interconnected synchronous generators with nonlinear coupling and state/input constraints.
△ Less
Submitted 21 February, 2022; v1 submitted 14 April, 2021;
originally announced April 2021.
-
Data-driven predictive control with estimated prediction matrices and integral action
Authors:
P. C. N. Verheijen,
G. R. Gonçalves da Silva,
M. Lazar
Abstract:
This paper presents a data-driven approach to the design of predictive controllers. The prediction matrices utilized in standard model predictive control (MPC) algorithms are typically constructed using knowledge of a system model such as, state-space or input-output models. Instead, we directly estimate the prediction matrices relating future outputs with current and future inputs from measured d…
▽ More
This paper presents a data-driven approach to the design of predictive controllers. The prediction matrices utilized in standard model predictive control (MPC) algorithms are typically constructed using knowledge of a system model such as, state-space or input-output models. Instead, we directly estimate the prediction matrices relating future outputs with current and future inputs from measured data, off-line. On-line, the developed data--driven predictive controller reduces to solving a quadratic program with a similar structure and complexity as linear MPC. Additionally, we develop a new procedure for estimating prediction matrices from data for predictive controllers with integral action, corresponding to the rate-based formulation of linear MPC. The effectiveness of the developed data-driven predictive controller is illustrated on position control of a linear motor model.
△ Less
Submitted 11 April, 2021;
originally announced April 2021.
-
Design and assessment of an eco--driving PMP algorithm for optimal deceleration and gear shifting in trucks
Authors:
B. Wingelaar,
G. R. Gonçalves da Silva,
M. Lazar,
Y. Chen,
J. T. B. A. Kessels
Abstract:
In this paper, an eco--driving Pontryagin maximum principle (PMP) algorithm is designed for optimal deceleration and gear shifting in trucks based on switching among a finite set of driving modes. The PMP algorithm is implemented and assessed in the IPG TruckMaker traffic simulator as an eco--driving assistance system (EDAS). The developed EDAS strategy reduces fuel consumption with an optimized v…
▽ More
In this paper, an eco--driving Pontryagin maximum principle (PMP) algorithm is designed for optimal deceleration and gear shifting in trucks based on switching among a finite set of driving modes. The PMP algorithm is implemented and assessed in the IPG TruckMaker traffic simulator as an eco--driving assistance system (EDAS). The developed EDAS strategy reduces fuel consumption with an optimized velocity profile and, in practice, allows contextual feedback incorporation from the driver for safety. Furthermore, the optimization over driving modes is computationally inexpensive, allowing the methodology to be used online, in real--time. Simulation results show that significant fuel savings can be achieved proportional to the number of velocity events and the difference between current velocity and final desired velocity for each event.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
Guaranteed $\mathcal{H}_\infty$ performance analysis and controller synthesis for interconnected linear systems from noisy input-state data
Authors:
Tom R. V. Steentjes,
Mircea Lazar,
Paul M. J. Van den Hof
Abstract:
The increase in available data and complexity of dynamical systems has sparked the research on data-based system performance analysis and controller design. Recent approaches can guarantee performance and robust controller synthesis based on noisy input-state data of a single dynamical system. In this paper, we extend a recent data-based approach for guaranteed performance analysis to distributed…
▽ More
The increase in available data and complexity of dynamical systems has sparked the research on data-based system performance analysis and controller design. Recent approaches can guarantee performance and robust controller synthesis based on noisy input-state data of a single dynamical system. In this paper, we extend a recent data-based approach for guaranteed performance analysis to distributed analysis of interconnected linear systems. We present a new set of sufficient LMI conditions based on noisy input-state data that guarantees $\mathcal{H}_\infty$ performance and have a structure that lends itself well to distributed controller synthesis from data. Sufficient LMI conditions based on noisy data are provided for the existence of a dynamic distributed controller that achieves $\mathcal{H}_\infty$ performance. The presented approach enables scalable analysis and control of large-scale interconnected systems from noisy input-state data sets.
△ Less
Submitted 7 April, 2021; v1 submitted 26 March, 2021;
originally announced March 2021.
-
Physics-Guided Neural Networks for Inversion-based Feedforward Control applied to Linear Motors
Authors:
Max Bolderman,
Mircea Lazar,
Hans Butler
Abstract:
Ever-increasing throughput specifications in semiconductor manufacturing require operating high-precision mechatronics, such as linear motors, at higher accelerations. In turn this creates higher nonlinear parasitic forces that cannot be handled by industrial feedforward controllers. Motivated by this problem, in this paper we develop a general framework for inversion-based feedforward controller…
▽ More
Ever-increasing throughput specifications in semiconductor manufacturing require operating high-precision mechatronics, such as linear motors, at higher accelerations. In turn this creates higher nonlinear parasitic forces that cannot be handled by industrial feedforward controllers. Motivated by this problem, in this paper we develop a general framework for inversion-based feedforward controller design using physics-guided neural networks (PGNNs). In contrast with black-box neural networks, the developed PGNNs embed prior physical knowledge in the input and hidden layers, which results in improved training convergence and learning of underlying physical laws. The PGNN inversion-based feedforward control framework is validated in simulation on an industrial linear motor, for which it achieves a mean average tracking error twenty times smaller than mass-acceleration feedforward in simulation.
△ Less
Submitted 10 March, 2021;
originally announced March 2021.
-
General dispersion properties of magnetized plasmas with drifting bi-Kappa distributions. DIS-K: DIspersion Solver for Kappa plasmas
Authors:
R. A. López,
S. M. Shaaban,
M. Lazar
Abstract:
Space plasmas are known to be out of (local) thermodynamic equilibrium, as observations show direct or indirect evidences of non-thermal velocity distributions of plasma particles. Prominent are the anisotropies relative to the magnetic field, anisotropic temperatures, field-aligned beams or drifting populations, but also, the suprathermal populations enhancing the high-energy tails of the observe…
▽ More
Space plasmas are known to be out of (local) thermodynamic equilibrium, as observations show direct or indirect evidences of non-thermal velocity distributions of plasma particles. Prominent are the anisotropies relative to the magnetic field, anisotropic temperatures, field-aligned beams or drifting populations, but also, the suprathermal populations enhancing the high-energy tails of the observed distributions. Drifting bi-Kappa distribution functions can provide a good representation of these features and enable for a kinetic fundamental description of the dispersion and stability of these collision-poor plasmas, where particle-particle collisions are rare but wave-particle interactions appears to play a dominant role in the dynamic. In the present paper we derive the full set of components of the dispersion tensor for magnetized plasma populations modeled by drifting bi-Kappa distributions. A new solver called DIS-K (DIspersion Solver for Kappa plasmas) is proposed to solve numerically the dispersion relations of high complexity. The solver is validated by comparing to the damped and unstable wave solutions obtained with other codes, operating in the limits of drifting Maxwellian and non-drifting Kappa models. These new theoretical tools enable more realistic characterizations, both analytical and numerical, of wave fluctuations and instabilities in complex kinetic configurations measured in-situ in space plasmas.
△ Less
Submitted 6 May, 2021; v1 submitted 24 February, 2021;
originally announced February 2021.
-
On the interplay of solar wind proton and electron instabilities: Linear and quasi-linear approaches
Authors:
S. M. Shaaban,
M. Lazar,
R. A. López,
R. F. Wimmer-Schweingruber
Abstract:
Important efforts are currently made for understanding the so-called kinetic instabilities, driven by the anisotropy of different species of plasma particles present in the solar wind and terrestrial magnetosphere. These instabilities are fast enough to efficiently convert the free energy of plasma particles into enhanced (small-scale) fluctuations with multiple implications, regulating the anisot…
▽ More
Important efforts are currently made for understanding the so-called kinetic instabilities, driven by the anisotropy of different species of plasma particles present in the solar wind and terrestrial magnetosphere. These instabilities are fast enough to efficiently convert the free energy of plasma particles into enhanced (small-scale) fluctuations with multiple implications, regulating the anisotropy of plasma particles. In this paper we use both linear and quasilinear (QL) frameworks to describe complex unstable regimes, which realistically combine different temperature anisotropies of electrons and ions (protons). Thus parameterized are various instabilities, e.g., proton and electron firehose, electromagnetic ion cyclotron, and whistler instability, showing that their main linear properties are markedly altered by the interplay of anisotropic electrons and protons. Linear theory may predict a strong competition of two instabilities of different nature when their growth rates are comparable. In the QL phase wave fluctuations grow and saturate at different levels and temporal scales, by comparison to the individual excitation of the proton or electron instabilities. In addition, cumulative effects of the combined proton and electron induced fluctuations can markedly stimulate the relaxations of their temperature anisotropies. Only whistler fluctuations inhibit the efficiency of proton firehose fluctuations in the relaxation of anisotropic protons. These results offer valuable premises for further investigations in numerical simulations, to decode the full spectrum of kinetic instabilities resulting from the interplay of anisotropic electrons and protons in space plasmas.
△ Less
Submitted 11 January, 2021;
originally announced January 2021.
-
Electromagnetic ion cyclotron instability stimulated by the suprathermal ions in space plasmas: A quasi-linear approach
Authors:
S. M. Shaaban,
M. Lazar,
R. Schlickeiser
Abstract:
In collision-poor space plasmas protons with an excess of kinetic energy or temperature in direction perpendicular to background magnetic field can excite the electromagnetic ion cyclotron (EMIC) instability. This instability is expected to be highly sensitive to suprathermal protons, which enhance the high-energy tails of the observed velocity distributions and are well reproduced by the (bi-)Kap…
▽ More
In collision-poor space plasmas protons with an excess of kinetic energy or temperature in direction perpendicular to background magnetic field can excite the electromagnetic ion cyclotron (EMIC) instability. This instability is expected to be highly sensitive to suprathermal protons, which enhance the high-energy tails of the observed velocity distributions and are well reproduced by the (bi-)Kappa distribution functions. In this paper we present the results of a refined quasilinear (QL) approach, able to describe the effects of suprathermal protons on the extended temporal evolution of EMIC instability. It is thus shown that suprathermals have a systematic stimulating effect on the EMIC instability, enhancing not only the growth rates and the range of unstable wave-numbers, but also the magnetic fluctuating energy density reached at the saturation. In effect, the relaxation of anisotropic temperature becomes also more efficient, i.e., faster in time and closer to isotropy.
△ Less
Submitted 17 December, 2020;
originally announced December 2020.
-
Towards a general quasi-linear approach for the instabilities of bi-Kappa plasmas. Whistler instability
Authors:
Pablo S. Moya,
Marian Lazar,
Stefaan Poedts
Abstract:
Kappa distributions are ubiquitous in space and astrophysical poorly collisional plasmas, such as the solar wind, suggesting that microscopic and macroscopic properties of these non-equilibrium plasmas are highly conditioned by the wave-particle interactions. The present work addresses the evolution of anisotropic bi-Kappa (or bi-$κ$-)distributions of electrons triggering instabilities of electrom…
▽ More
Kappa distributions are ubiquitous in space and astrophysical poorly collisional plasmas, such as the solar wind, suggesting that microscopic and macroscopic properties of these non-equilibrium plasmas are highly conditioned by the wave-particle interactions. The present work addresses the evolution of anisotropic bi-Kappa (or bi-$κ$-)distributions of electrons triggering instabilities of electromagnetic electron-cyclotron (or whistler) modes. The new quasi-linear approach proposed here includes time variations of the $κ$ parameter during the relaxation of temperature anisotropy. Numerical results show that $κ$ may increase for short interval of times at the beginning, but then decreases towards a value lower than the initial one, while the plasma beta and temperature anisotropy indicate a systematic relaxation. Our results suggest that the electromagnetic turbulence plays an important role on the suprathermalization of the plasma, ultimately lowering the parameter $κ$. Even though the variation of $κ$ is in general negative ($Δκ<0$) this variation seems to depend of the initial conditions of anisotropic electrons, which can vary very much in the inner heliosphere.
△ Less
Submitted 3 December, 2020; v1 submitted 18 November, 2020;
originally announced November 2020.
-
Generalized anisotropic $κ$-cookbook: 2D fitting of Ulysses electron data
Authors:
Klaus Scherer,
Edin Husidic,
Marian Lazar,
Horst Fichtner
Abstract:
Observations in space plasmas reveal particle velocity distributions out of thermal equilibrium, with anisotropies (e.g., parallel drifts or/and different temperatures, $T_\parallel$ - parallel and $T_\perp$ - perpendicular, with respect to the background magnetic field), and multiple quasithermal and suprathermal populations with different properties. The recently introduced (isotropic) $κ$-cookb…
▽ More
Observations in space plasmas reveal particle velocity distributions out of thermal equilibrium, with anisotropies (e.g., parallel drifts or/and different temperatures, $T_\parallel$ - parallel and $T_\perp$ - perpendicular, with respect to the background magnetic field), and multiple quasithermal and suprathermal populations with different properties. The recently introduced (isotropic) $κ$-cookbook is generalized in the present paper to cover all these cases of anisotropic and multi-component distributions reported by the observations. We derive general analytical expressions for the velocity moments and show that the common (bi-)Maxwellian and (bi-)$κ-$distributions are obtained as limiting cases of the generalized anisotropic $κ$-cookbook (or recipes). Based on this generalization, a new 2D fitting procedure is introduced, with an improved level of confidence compared to the 1D fitting methods widely used to quantify the main properties of the observed distributions. The nonlinear least-squares fit is \led{applied to electron data sets} measured by the Ulysses spacecraft confirming the existence of three different populations, a quasithermal core and two suprathermal (halo and strahl) components. In general, the best overall fit is given by the sum of a Maxwellian and two generalized $κ$-distributions.
△ Less
Submitted 17 November, 2020;
originally announced November 2020.