Showing 1–50 of 196 results for author: Lazar, M

Deep Operator Neural Network Model Predictive Control

Authors: Thomas Oliver de Jong, Khemraj Shukla, Mircea Lazar

Abstract: In this paper, we consider the design of model predictive control (MPC) algorithms based on deep operator neural networks (DeepONets). These neural networks are capable of accurately approximating real and complex valued solutions of continuous time nonlinear systems without relying on recurrent architectures. The DeepONet architecture is made up of two feedforward neural networks: the branch netw… ▽ More In this paper, we consider the design of model predictive control (MPC) algorithms based on deep operator neural networks (DeepONets). These neural networks are capable of accurately approximating real and complex valued solutions of continuous time nonlinear systems without relying on recurrent architectures. The DeepONet architecture is made up of two feedforward neural networks: the branch network, which encodes the input function space, and the trunk network, which represents dependencies on temporal variables or initial conditions. Utilizing the original DeepONet architecture as a predictor within MPC for Multi Input Multi Output (MIMO) systems requires multiple branch networks, to generate multi output predictions, one for each input. Moreover, to predict multiple time steps into the future, the network has to be evaluated multiple times. Motivated by this, we introduce a multi step DeepONet (MS-DeepONet) architecture that computes in one shot multi step predictions of system outputs from multi step input sequences, which is better suited for MPC. We prove that the MS DeepONet is a universal approximator in terms of multi step sequence prediction. Additionally, we develop automated hyper parameter selection strategies and implement MPC frameworks using both the standard DeepONet and the proposed MS DeepONet architectures in PyTorch. The implementation is publicly available on GitHub. Simulation results demonstrate that MS-DeepONet consistently outperforms the standard DeepONet in learning and predictive control tasks across several nonlinear benchmark systems: the van der Pol oscillator, the quadruple tank process, and a cart pendulum unstable system, where it successfully learns and executes multiple swing up and stabilization policies. △ Less

Submitted 23 May, 2025; originally announced May 2025.

Temperature anisotropy instabilities of solar wind electrons with regularized Kappa-halos resolved with ALPS

Authors: Dustin L. Schröder, Horst Fichtner, Marian Lazar, Daniel Verscharen, Kristopher G. Klein

Abstract: Space plasmas in various astrophysical setups can often be both very hot and dilute, making them highly susceptible to waves and fluctuations, which are generally self-generated and maintained by kinetic instabilities. In this sense, we have in-situ observational evidence from the solar wind and planetary environments, which reveal not only wave fluctuations at kinetic scales of electrons and prot… ▽ More Space plasmas in various astrophysical setups can often be both very hot and dilute, making them highly susceptible to waves and fluctuations, which are generally self-generated and maintained by kinetic instabilities. In this sense, we have in-situ observational evidence from the solar wind and planetary environments, which reveal not only wave fluctuations at kinetic scales of electrons and protons, but also non-equilibrium distributions of particle velocities. This paper reports on the progress made in achieving a consistent modeling of the instabilities generated by temperature anisotropy, taking concrete example of those induced by anisotropic electrons, such as, electromagnetic electron-cyclotron (whistler) and firehose instabilities. The effects of the two main electron populations, the quasi-thermal core and the suprathermal halo indicated by the observations, are thus captured. The low-energy core is bi-Maxwellian, and the halo is described for the first time by a regularized (bi-)$κ$-distribution (RKD), which was recently introduced to fix inconsistencies of standard $κ$-distributions (SKD). In the absence of a analytical RKD dispersion kinetic formalism (involving tedious and laborious derivations), both the dispersion and (in)stability properties are directly solved numerically using the numerical Arbitrary Linear Plasma Solver (ALPS). The results have an increased degree of confidence, considering the successful testing of the ALPS on previous results with established distributions. △ Less

Submitted 22 April, 2025; originally announced April 2025.

Comments: 13 pages, 9 figures, 3 tables

Journal ref: Physics of Plasmas 32, 032109 (2025)

Extended scenarios for solar radio emissions with downshifted electron beam plasma excitations

Authors: M. Lazar, R. A. López, S. M. Shaaban, S. Poedts, H. Fichtner

Abstract: First-principle studies of radiative processes aimed at explaining the origin of type II and type III solar radio bursts raise questions on the implications of downshifted electron beam plasma excitations with frequency (slightly) below the plasma frequency ($ω\lesssimω_{pe}$) in the generation of radio emissions. Unlike the beam-induced Langmuir waves ($ω\gtrsim ω_{pe}$) in the standard radio emi… ▽ More First-principle studies of radiative processes aimed at explaining the origin of type II and type III solar radio bursts raise questions on the implications of downshifted electron beam plasma excitations with frequency (slightly) below the plasma frequency ($ω\lesssimω_{pe}$) in the generation of radio emissions. Unlike the beam-induced Langmuir waves ($ω\gtrsim ω_{pe}$) in the standard radio emission plasma model, the primary wave excitations of cooler and/or denser beams have predominantly downshifted frequencies. Broadbands of such downshifted excitations are also confirmed by in situ observations in association with terrestrial foreshock and electron beams (in contrast to narrowband Langmuir waves), but their involvement in radiative processes has not been examined so far. We revisit three radiative scenarios specific to downshifted primary excitations, and the results demonstrate their direct or indirect involvement in plasma radio emission. Downshifted excitations of an electron beam primarily play an indirect role, contributing to the relaxation to a plateau-on-tail still able to induce Langmuir beam waves that satisfy conditions for nonlinear wave-wave interactions leading to free radio waves. At longer time scales, the primary excitations can become predominantly downshifted, and then directly couple with the secondary (backscattered) Langmuir waves to generate the second harmonic of radio emissions. Two counterbeams are more efficient and lead to faster radiative mechanisms, involving counterpropagating downshifted excitations, which couple to each other and generate intense, broadband and isotropic radio spectra of downshifted second harmonics. Such a long-lasting (second) radio harmonic can thus be invoked to distinguish regimes with downshifted ($ω\gtrsim ω_{pe}$) primary excitations. △ Less

Submitted 15 April, 2025; originally announced April 2025.

Comments: Submitted for publications at JGR: Space Physics

imuQP: An Inverse-Matrix-Updates-Based Fast QP Solver Suitable for Real-Time MPC

Authors: Victor Truong Thinh Lam, Mircea Lazar

Abstract: This paper presents a new fast active-set quadratic programming (QP) solver based on inverse matrix updates, which is suitable for real-time model predictive control (MPC). This QP solver, called imuQP (inverse matrix update QP), is based on Karush-Kuhn-Tucker (KKT) conditions and is inspired by Hildreth's QP solver. An extensive convergence and optimality analysis of imuQP, including infeasibilit… ▽ More This paper presents a new fast active-set quadratic programming (QP) solver based on inverse matrix updates, which is suitable for real-time model predictive control (MPC). This QP solver, called imuQP (inverse matrix update QP), is based on Karush-Kuhn-Tucker (KKT) conditions and is inspired by Hildreth's QP solver. An extensive convergence and optimality analysis of imuQP, including infeasibility detection, is presented. The memory footprint and computational complexity of imuQP are analyzed and compared with qpOASES, a well-known active-set QP solver in literature. Speed and accuracy of imuQP are compared with state-of-the-art active-set QP solvers by simulating a chain of spring-connected masses in MATLAB. For illustration, MPC with integral action is used, to remove offset when tracking a constant reference, with a small sampling period of Ts = 4 ms. Simulation results show that imuQP is suitable for fast systems - with small Ts - and is competitive with state-of-the-art active-set QP solvers. △ Less

Submitted 5 March, 2025; originally announced March 2025.

A Kernelized Operator Approach to Nonlinear Data-Enabled Predictive Control

Authors: Thomas de Jong, Siep Weiland, Mircea Lazar

Abstract: This paper considers the design of nonlinear data-enabled predictive control (DeePC) using kernel functions. Compared with existing methods that use kernels to parameterize multi-step predictors for nonlinear DeePC, we adopt a novel, operator-based approach. More specifically, we employ a universal product kernel parameterization of nonlinear systems operators as a prediction mechanism for nonline… ▽ More This paper considers the design of nonlinear data-enabled predictive control (DeePC) using kernel functions. Compared with existing methods that use kernels to parameterize multi-step predictors for nonlinear DeePC, we adopt a novel, operator-based approach. More specifically, we employ a universal product kernel parameterization of nonlinear systems operators as a prediction mechanism for nonlinear DeePC. We show that by using a product reproducing kernel Hilbert space (RKHS) to learn the system trajectories, big data sets can be handled effectively to construct the corresponding product Gram matrix. Moreover, we show that the structure of the adopted product RKHS representation allows for a computationally efficient DeePC formulation. Compared to existing methods, our approach achieves substantially faster computation times for the same data size. This allows for the use of much larger data sets and enhanced control performance. △ Less

Submitted 29 January, 2025; originally announced January 2025.

A universal reproducing kernel Hilbert space for learning nonlinear systems operators

Authors: Mircea Lazar

Abstract: In this work, we consider the problem of learning nonlinear operators that correspond to discrete-time nonlinear dynamical systems with inputs. Given an initial state and a finite input trajectory, such operators yield a finite output trajectory compatible with the system dynamics. Inspired by the universal approximation theorem of operators tailored to radial basis functions neural networks, we c… ▽ More In this work, we consider the problem of learning nonlinear operators that correspond to discrete-time nonlinear dynamical systems with inputs. Given an initial state and a finite input trajectory, such operators yield a finite output trajectory compatible with the system dynamics. Inspired by the universal approximation theorem of operators tailored to radial basis functions neural networks, we construct a class of kernel functions as the product of kernel functions in the space of input trajectories and initial states, respectively. We prove that for positive definite kernel functions, the resulting product reproducing kernel Hilbert space is dense and even complete in the space of nonlinear systems operators, under suitable assumptions. This provides a universal kernel-functions-based framework for learning nonlinear systems operators, which is intuitive and easy to apply to general nonlinear systems. △ Less

Submitted 24 December, 2024; originally announced December 2024.

Exploiting structural observability and graph colorability for optimal sensor placement in water distribution networks

Authors: J. J. H. van Gemert, V. Breschi, D. R. Yntema, K. J. Keesman, M. Lazar

Abstract: Water distribution networks (WDNs) are critical systems for our society and detecting leakages is important for minimizing losses and water waste. This makes optimal sensor placement for leakage detection very relevant. Existing sensor placement methods rely on simulation-based scenarios, often lacking structure and generalizability, or depend on the knowledge of specific parameters of the WDN as… ▽ More Water distribution networks (WDNs) are critical systems for our society and detecting leakages is important for minimizing losses and water waste. This makes optimal sensor placement for leakage detection very relevant. Existing sensor placement methods rely on simulation-based scenarios, often lacking structure and generalizability, or depend on the knowledge of specific parameters of the WDN as well as on initial sensor data for linearization and demand estimation. Motivated by this, this paper investigates the observability of an entire WDN, based on structural observability theory. This allows us to establish the conditions for the observability of the WDN model, independently of parameter uncertainties and without the need for initial sensor data. Additionally, a sensor placement algorithm is proposed, that leverages such observability conditions and graph theory and accounts for the industrial and material costs. To demonstrate the effectiveness of our approach, we apply it to a hydraulic-transient WDN model. △ Less

Submitted 13 December, 2024; originally announced December 2024.

Comments: 9 pages, 5 figures

Kernelized offset-free data-driven predictive control for nonlinear systems

Authors: Thomas Oliver de Jong, Mircea Lazar

Abstract: This paper presents a kernelized offset-free data-driven predictive control scheme for nonlinear systems. Traditional model-based and data-driven predictive controllers often struggle with inaccurate predictors or persistent disturbances, especially in the case of nonlinear dynamics, leading to tracking offsets and stability issues. To overcome these limitations, we employ kernel methods to parame… ▽ More This paper presents a kernelized offset-free data-driven predictive control scheme for nonlinear systems. Traditional model-based and data-driven predictive controllers often struggle with inaccurate predictors or persistent disturbances, especially in the case of nonlinear dynamics, leading to tracking offsets and stability issues. To overcome these limitations, we employ kernel methods to parameterize the nonlinear terms of a velocity model, preserving its structure and efficiently learning unknown parameters through a least squares approach. This results in a offset-free data-driven predictive control scheme formulated as a nonlinear program, but solvable via sequential quadratic programming. We provide a framework for analyzing recursive feasibility and stability of the developed method and we demonstrate its effectiveness through simulations on a nonlinear benchmark example. △ Less

Submitted 27 November, 2024; originally announced November 2024.

Stochastic MPC for Finite Gaussian Mixture Disturbances with Guarantees

Authors: Maico H. W. Engelaar, Micha P. P. Swaanen, Mircea Lazar, Sofie Haesaert

Abstract: This paper presents a stochastic model predictive control (SMPC) algorithm for linear systems subject to additive Gaussian mixture disturbances, with the goal of satisfying chance constraints. To synthesize a control strategy, the stochastic control problem is reformulated into an MPC problem. The reformulation begins by decoupling the mixture distribution and decomposing the system dynamics. Usin… ▽ More This paper presents a stochastic model predictive control (SMPC) algorithm for linear systems subject to additive Gaussian mixture disturbances, with the goal of satisfying chance constraints. To synthesize a control strategy, the stochastic control problem is reformulated into an MPC problem. The reformulation begins by decoupling the mixture distribution and decomposing the system dynamics. Using stochastic simulation relations, we then redefine the stochastic control problem onto the resultant abstract system. Next, constraint tightening forms an MPC problem subject to finite disturbances. A branching control is introduced to solve the MPC problem. Finally, a controller refinement procedure determines a valid control strategy. Our contribution is an extension of the SMPC literature to accommodate Gaussian mixture disturbances while retaining recursive feasibility and closed-loop guarantees. We illustrate the retention of guarantees with a case study of vehicle control on an ill-maintained road. △ Less

Submitted 12 November, 2024; originally announced November 2024.

Comments: 7 pages, 6 figures

Constraints-Informed Neural-Laguerre Approximation of Nonlinear MPC with Application in Power Electronics

Authors: Duo Xu, Rody Aerts, Petros Karamanakos, Mircea Lazar

Abstract: This paper considers learning online (implicit) nonlinear model predictive control (MPC) laws using neural networks and Laguerre functions. Firstly, we parameterize the control sequence of nonlinear MPC using Laguerre functions, which typically yields a smoother control law compared to the original nonlinear MPC law. Secondly, we employ neural networks to learn the coefficients of the Laguerre non… ▽ More This paper considers learning online (implicit) nonlinear model predictive control (MPC) laws using neural networks and Laguerre functions. Firstly, we parameterize the control sequence of nonlinear MPC using Laguerre functions, which typically yields a smoother control law compared to the original nonlinear MPC law. Secondly, we employ neural networks to learn the coefficients of the Laguerre nonlinear MPC solution, which comes with several benefits, namely the dimension of the learning space is dictated by the number of Laguerre functions and the complete predicted input sequence can be used to learn the coefficients. To mitigate constraints violation for neural approximations of nonlinear MPC, we develop a constraints-informed loss function that penalizes the violation of polytopic state constraints during learning. Box input constraints are handled by using a clamp function in the output layer of the neural network. We demonstrate the effectiveness of the developed framework on a nonlinear buck-boost converter model with sampling rates in the sub-millisecond range, where online nonlinear MPC would not be able to run in real time. The developed constraints-informed neural-Laguerre approximation yields similar performance with long-horizon online nonlinear MPC, but with execution times of a few microseconds, as validated on a field-programmable gate array (FPGA) platform. △ Less

Submitted 14 September, 2024; originally announced September 2024.

Numerical simulations of temperature anisotropy instabilities stimulated by suprathermal protons

Authors: S. M. Shaaban, R. A. Lopez, M. Lazar, S. Poedts

Abstract: The new in situ measurements of the Solar Orbiter mission contribute to the knowledge of the suprathermal populations in the solar wind, especially of ions and protons whose characterization, although still in the early phase, seems to suggest a major involvement in the interaction with plasma wave fluctuations. Recent studies point to the stimulating effect of suprathermal populations on temperat… ▽ More The new in situ measurements of the Solar Orbiter mission contribute to the knowledge of the suprathermal populations in the solar wind, especially of ions and protons whose characterization, although still in the early phase, seems to suggest a major involvement in the interaction with plasma wave fluctuations. Recent studies point to the stimulating effect of suprathermal populations on temperature anisotropy instabilities in the case of electrons already being demonstrated in theory and numerical simulations. Here, we investigate anisotropic protons, addressing the electromagnetic ion-cyclotron (EMIC) and the proton firehose (PFH) instabilities. Suprathermal populations enhance the high-energy tails of the Kappa velocity (or energy) distributions measured in situ, enabling characterization by contrasting to the quasi-thermal population in the low-energy (bi-)Maxwellian core. We use hybrid simulations to investigate the two instabilities (with ions or protons as particles and electrons as fluid) for various configurations relevant to the solar wind and terrestrial magnetosphere. The new simulation results confirm the linear theory and its predictions. In the presence of suprathermal protons, the wave fluctuations reach increased energy density levels for both instabilities and cause faster and/or deeper relaxation of temperature anisotropy. The magnitude of suprathermal effects also depends on each instability's specific (initial) parametric regimes. These results further strengthen the belief that wave-particle interactions govern space plasmas. These provide valuable clues for understanding their dynamics, particularly the involvement of suprathermal particles behind the quasi-stationary non-equilibrium states reported by in situ observations. △ Less

Submitted 13 September, 2024; originally announced September 2024.

Journal ref: Astronomy and Astrophysics 2014

Decoding the formation of hammerhead ion populations observed by Parker Solar Probe

Authors: Shaaban M. Shaaban, M. Lazar, R. A. López, P. H. Yoon, S. Poedts

Abstract: In situ observations by the Parker Solar Probe (PSP) have revealed new properties of the proton velocity distributions, including hammerhead features that suggest non-isotropic broadening of the beams. The present work proposes a very plausible explanation for the formation of these populations through the action of a proton firehose-like instability triggered by the proton beam. The quasi-linear… ▽ More In situ observations by the Parker Solar Probe (PSP) have revealed new properties of the proton velocity distributions, including hammerhead features that suggest non-isotropic broadening of the beams. The present work proposes a very plausible explanation for the formation of these populations through the action of a proton firehose-like instability triggered by the proton beam. The quasi-linear (QL) theory proposed here shows that the resulting right-hand (RH) waves have two consequences on the protons: (i) reduce the relative drift between the beam and the core, but above all, (ii) induce a strong perpendicular temperature anisotropy, specific to the observed hammerhead ion strahl. Moreover, the long-run QL results suggest that these hammerhead distributions are rather transitory states, still subject to relaxation mechanisms, of which instabilities like the one discussed here are very likely involved. △ Less

Submitted 3 September, 2024; originally announced September 2024.

Journal ref: A&A 692, L6 (2024)

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, Dimos V. Dimarogonas, 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, and subsequently, an auctioning algorithm determines the definitive 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-shuttle scenario that highlights a promising extension to automated driving applications like vehicle routing. △ Less

Submitted 3 September, 2024; v1 submitted 2 April, 2024; originally announced April 2024.

Comments: 7 pages, 5 figures, Accepted for CDC 2024. arXiv admin note: text overlap with arXiv:2402.03165

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.

Comments: Submitted to IEEE Open Journal of the Industrial Electronics

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.

Comments: 10 pages, 4 figures

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.

Comments: 7 pages, 4 figures, 1 table, Accepted for ADHS 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.

Comments: Manuscript subbmited to Universe (MDPI). 24 pages, 1 figure

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.

MSC Class: 49N10; 68T07; 46E22; 62J02

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.

Comments: 18 pages, 8 figures, accepted for publication in The Astrophysical Journal

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.

Comments: 7 pages, 6 figures, submitted and accepted for the 7th IEEE Conference on Control Technology and Applications (CCTA) 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.

Comments: 6 pages, 4 figures, Accepted for ICSTCC 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.

Comments: 7 pages, 3 figures, accepted for CDC 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.

Journal ref: Control Engineering Practice, 2024

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.

Comments: Paper accepted for publication in Astronomy and Astrophysics (12.12.2022)

Journal ref: A&A 670, A85 (2023)

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 pumping 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 pumping 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.

Comments: 19 pages, 6 figures, 2 tables, accepted for publication in The Astrophysical Journal

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.

Comments: 11 pages, 11 Figures

Journal ref: A&A 663, A67 (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.

Comments: Accepted in ApJ

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.

Comments: Accepted for conference. Not final version

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.

Comments: 13 pages, 5 figures, 1 table

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.

Comments: In the previous version of this arXiv article and the corresponding L-CSS article, DOI: 10.1109/LCSYS.2021.3139526, there was a typographical error in equation (21) and (25). The equations contain $P_-$, which should be $Y_-$. This typo is corrected in this version

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.

Journal ref: Philosophical Magazine 101 (24), 2584-2598 (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.

Comments: 25 pages, 7 figures

MSC Class: 49N05 (Primary) 49K20; 49M41; 65F60 (Secondary)