Showing 1–43 of 43 results for author: Lazar, M

Neural Parameter-varying Data-enabled Predictive Control of Cold Atmospheric Pressure Plasma Jets

Authors: Pegah GhafGhanbari, Mircea Lazar, Javad Mohammadpour Velni

Abstract: Cold Atmospheric Pressure Plasma Jets (APPJs) show significant potential for biomedical applications, but their inherent complexity, characterized by nonlinear dynamics and strong sensitivity to operating conditions like tip-to-surface distance, presents considerable challenges for achieving robust and reliable real-time control. To address these issues, this paper presents the Neural Parameter-Va… ▽ More Cold Atmospheric Pressure Plasma Jets (APPJs) show significant potential for biomedical applications, but their inherent complexity, characterized by nonlinear dynamics and strong sensitivity to operating conditions like tip-to-surface distance, presents considerable challenges for achieving robust and reliable real-time control. To address these issues, this paper presents the Neural Parameter-Varying Data-enabled Predictive Control (NPV-DeePC) framework. By integrating hyper neural networks (hypernets) into the neural Data-enabled Predictive Control (DeePC) paradigm, the proposed method adaptively captures system nonlinearities and parameter variations, updates the neural feature space accordingly, and enables efficient and accurate trajectory prediction and control. The NPV-DeePC framework is validated through extensive simulations involving surface temperature tracking and thermal dose delivery. The results highlight its ability to outperform existing controllers in terms of accuracy and adaptability. The computational efficiency of the NPV-DeePC approach makes it a viable candidate for real-time applications. These findings underscore its potential to advance the safe and precise control of APPJs and provide a scalable solution for other parameter-varying nonlinear systems. △ Less

Submitted 10 July, 2025; originally announced July 2025.

Dynamic Output-Feedback Controller Synthesis for Dissipativity from Noisy Input-State Data

Authors: Pietro Kristović, Andrej Jokić, Mircea Lazar

Abstract: In this paper we propose a dynamic output-feedback controller synthesis method for discrete-time linear time-invariant systems. The synthesis goal is to render closed-loop system dissipative with respect to a given generic unstructured quadratic supply rate, while the system dynamics is partially represented by input-state data corrupted by a bounded disturbance. The controller synthesis is perfor… ▽ More In this paper we propose a dynamic output-feedback controller synthesis method for discrete-time linear time-invariant systems. The synthesis goal is to render closed-loop system dissipative with respect to a given generic unstructured quadratic supply rate, while the system dynamics is partially represented by input-state data corrupted by a bounded disturbance. The controller synthesis is performed with respect to all systems which are consistent with the available data, and it is formulated in terms of a linear matrix inequality parametrized by a scalar variable, so that the synthesis can be performed using line search and convex optimization. Within the considered setting, the proposed synthesis procedure is non-conservative in a sense that it is based on conditions which are both necessary and sufficient. △ Less

Submitted 9 July, 2025; originally announced July 2025.

Comments: 7 pages, 2 figures

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. We focus on a special case where each Gaussian mixture component has a similar variance. To solve the SMPC problem, we formulate a branch model predictive control (BMPC) problem on simplified dynamics and le… ▽ 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. We focus on a special case where each Gaussian mixture component has a similar variance. To solve the SMPC problem, we formulate a branch model predictive control (BMPC) problem on simplified dynamics and leverage stochastic simulation relations (SSR). 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 24 June, 2025; v1 submitted 12 November, 2024; originally announced November 2024.

Comments: 7 pages, 6 figures, accepted for ECC 2025

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.

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

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.

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

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

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.

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.

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.

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.

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

Data-driven predictive control with estimated prediction matrices and integral action

Authors: P. C. N. Verheijen, G. R. Gonçalves da Silva, M. Lazar

Abstract: This paper presents a data-driven approach to the design of predictive controllers. The prediction matrices utilized in standard model predictive control (MPC) algorithms are typically constructed using knowledge of a system model such as, state-space or input-output models. Instead, we directly estimate the prediction matrices relating future outputs with current and future inputs from measured d… ▽ More This paper presents a data-driven approach to the design of predictive controllers. The prediction matrices utilized in standard model predictive control (MPC) algorithms are typically constructed using knowledge of a system model such as, state-space or input-output models. Instead, we directly estimate the prediction matrices relating future outputs with current and future inputs from measured data, off-line. On-line, the developed data--driven predictive controller reduces to solving a quadratic program with a similar structure and complexity as linear MPC. Additionally, we develop a new procedure for estimating prediction matrices from data for predictive controllers with integral action, corresponding to the rate-based formulation of linear MPC. The effectiveness of the developed data-driven predictive controller is illustrated on position control of a linear motor model. △ Less

Submitted 11 April, 2021; originally announced April 2021.

Comments: Submitted for review

Design and assessment of an eco--driving PMP algorithm for optimal deceleration and gear shifting in trucks

Authors: B. Wingelaar, G. R. Gonçalves da Silva, M. Lazar, Y. Chen, J. T. B. A. Kessels

Abstract: In this paper, an eco--driving Pontryagin maximum principle (PMP) algorithm is designed for optimal deceleration and gear shifting in trucks based on switching among a finite set of driving modes. The PMP algorithm is implemented and assessed in the IPG TruckMaker traffic simulator as an eco--driving assistance system (EDAS). The developed EDAS strategy reduces fuel consumption with an optimized v… ▽ More In this paper, an eco--driving Pontryagin maximum principle (PMP) algorithm is designed for optimal deceleration and gear shifting in trucks based on switching among a finite set of driving modes. The PMP algorithm is implemented and assessed in the IPG TruckMaker traffic simulator as an eco--driving assistance system (EDAS). The developed EDAS strategy reduces fuel consumption with an optimized velocity profile and, in practice, allows contextual feedback incorporation from the driver for safety. Furthermore, the optimization over driving modes is computationally inexpensive, allowing the methodology to be used online, in real--time. Simulation results show that significant fuel savings can be achieved proportional to the number of velocity events and the difference between current velocity and final desired velocity for each event. △ Less

Submitted 8 April, 2021; originally announced April 2021.

Comments: Sent to conference

Guaranteed $\mathcal{H}_\infty$ performance analysis and controller synthesis for interconnected linear systems from noisy input-state data

Authors: Tom R. V. Steentjes, Mircea Lazar, Paul M. J. Van den Hof

Abstract: The increase in available data and complexity of dynamical systems has sparked the research on data-based system performance analysis and controller design. Recent approaches can guarantee performance and robust controller synthesis based on noisy input-state data of a single dynamical system. In this paper, we extend a recent data-based approach for guaranteed performance analysis to distributed… ▽ More The increase in available data and complexity of dynamical systems has sparked the research on data-based system performance analysis and controller design. Recent approaches can guarantee performance and robust controller synthesis based on noisy input-state data of a single dynamical system. In this paper, we extend a recent data-based approach for guaranteed performance analysis to distributed analysis of interconnected linear systems. We present a new set of sufficient LMI conditions based on noisy input-state data that guarantees $\mathcal{H}_\infty$ performance and have a structure that lends itself well to distributed controller synthesis from data. Sufficient LMI conditions based on noisy data are provided for the existence of a dynamic distributed controller that achieves $\mathcal{H}_\infty$ performance. The presented approach enables scalable analysis and control of large-scale interconnected systems from noisy input-state data sets. △ Less

Submitted 7 April, 2021; v1 submitted 26 March, 2021; originally announced March 2021.

Physics-Guided Neural Networks for Inversion-based Feedforward Control applied to Linear Motors

Authors: Max Bolderman, Mircea Lazar, Hans Butler

Abstract: Ever-increasing throughput specifications in semiconductor manufacturing require operating high-precision mechatronics, such as linear motors, at higher accelerations. In turn this creates higher nonlinear parasitic forces that cannot be handled by industrial feedforward controllers. Motivated by this problem, in this paper we develop a general framework for inversion-based feedforward controller… ▽ More Ever-increasing throughput specifications in semiconductor manufacturing require operating high-precision mechatronics, such as linear motors, at higher accelerations. In turn this creates higher nonlinear parasitic forces that cannot be handled by industrial feedforward controllers. Motivated by this problem, in this paper we develop a general framework for inversion-based feedforward controller design using physics-guided neural networks (PGNNs). In contrast with black-box neural networks, the developed PGNNs embed prior physical knowledge in the input and hidden layers, which results in improved training convergence and learning of underlying physical laws. The PGNN inversion-based feedforward control framework is validated in simulation on an industrial linear motor, for which it achieves a mean average tracking error twenty times smaller than mass-acceleration feedforward in simulation. △ Less

Submitted 10 March, 2021; originally announced March 2021.

Comments: Submitted to 2021 IEEE Conference on Control Technology and Applications

Data-driven distributed control: Virtual reference feedback tuning in dynamic networks

Authors: Tom R. V. Steentjes, Mircea Lazar, Paul M. J. Van den Hof

Abstract: In this paper, the problem of synthesizing a distributed controller from data is considered, with the objective to optimize a model-reference control criterion. We establish an explicit ideal distributed controller that solves the model-reference control problem for a structured reference model. On the basis of input-output data collected from the interconnected system, a virtual experiment setup… ▽ More In this paper, the problem of synthesizing a distributed controller from data is considered, with the objective to optimize a model-reference control criterion. We establish an explicit ideal distributed controller that solves the model-reference control problem for a structured reference model. On the basis of input-output data collected from the interconnected system, a virtual experiment setup is constructed which leads to a network identification problem. We formulate a prediction-error identification criterion that has the same global optimum as the model-reference criterion, when the controller class contains the ideal distributed controller. The developed distributed controller synthesis method is illustrated on an academic example network of nine subsystems and the influence of the controller interconnection structure on the achieved closed-loop performance is analyzed. △ Less

Submitted 27 October, 2020; originally announced October 2020.

An Efficient MPC Algorithm For Switched Systems with Minimum Dwell Time Constraints

Authors: Yutao Chen, Mircea Lazar

Abstract: This paper presents an efficient suboptimal model predictive control (MPC) algorithm for nonlinear switched systems subject to minimum dwell time constraints (MTC). While MTC are required for most physical systems due to stability, power and mechanical restrictions, MPC optimization problems with MTC are challenging to solve. To efficiently solve such problems, the on-line MPC optimization problem… ▽ More This paper presents an efficient suboptimal model predictive control (MPC) algorithm for nonlinear switched systems subject to minimum dwell time constraints (MTC). While MTC are required for most physical systems due to stability, power and mechanical restrictions, MPC optimization problems with MTC are challenging to solve. To efficiently solve such problems, the on-line MPC optimization problem is decomposed into a sequence of simpler problems, which include two nonlinear programs (NLP) and a rounding step, as typically done in mixed-integer optimal control (MIOC). Unlike the classical approach that embeds MTC in a mixed-integer linear program (MILP) with combinatorial constraints in the rounding step, our proposal is to embed the MTC in one of the NLPs using move blocking. Such a formulation can speedup on-line computations by employing recent move blocking algorithms for NLP problems and by using a simple sum-up-rounding (SUR) method for the rounding step. An explicit upper bound of the integer approximation error for the rounding step is given. In addition, a combined shrinking and receding horizon strategy is developed to satisfy closed-loop MTC. Recursive feasibility is proven using a $l$-step control invariant ($l$-CI) set, where $l$ is the minimum dwell time step length. An algorithm to compute $l$-CI sets for switched linear systems off-line is also presented. Numerical studies show significant speed-up and comparable control performance of the proposed MPC algorithm against the classical approach, though at the cost of sub-optimal solutions. △ Less

Submitted 15 February, 2022; v1 submitted 22 February, 2020; originally announced February 2020.

Scalable distributed and decentralized $\mathscr{H}_2$ controller synthesis for interconnected linear discrete-time systems

Authors: Tom R. V. Steentjes, Mircea Lazar, Paul M. J. Van den Hof

Abstract: The current limitation in the synthesis of distributed $\mathscr{H}_2$ controllers for linear interconnected systems is scalability due to non-convex or unstructured synthesis conditions. In this paper we develop convex and structured conditions for the existence of a distributed $\mathscr{H}_2$ controller for discrete-time interconnected systems with an interconnection structure that corresponds… ▽ More The current limitation in the synthesis of distributed $\mathscr{H}_2$ controllers for linear interconnected systems is scalability due to non-convex or unstructured synthesis conditions. In this paper we develop convex and structured conditions for the existence of a distributed $\mathscr{H}_2$ controller for discrete-time interconnected systems with an interconnection structure that corresponds to an arbitrary graph. Neutral interconnections and a storage function with a block-diagonal structure are utilized to attain coupling conditions that are of a considerably lower computational complexity compared to the corresponding centralized $\mathscr{H}_2$ controller synthesis problem. Additionally, the developed conditions are adapted for the corresponding decentralized $\mathscr{H}_2$ controller synthesis problem with fixed supply functions for the interconnections. The effectiveness and scalability of the developed distributed $\mathscr{H}_2$ controller synthesis method is demonstrated for small- to large-scale oscillator networks on a cycle graph. △ Less

Submitted 14 January, 2021; v1 submitted 14 January, 2020; originally announced January 2020.

Comments: Changes in this version include: overview of dissipativity-based results for interconnected systems is removed, result on the existence of a decentralized controller is included and a simulation example for the illustration of scalability replaces the previous simulation example

Heterogeneously parameterized tube model predictive control for LPV systems

Authors: Jurre Hanema, Mircea Lazar, Roland Tóth

Abstract: This paper presents a heterogeneously parameterized tube-based model predictive control (MPC) design applicable to linear parameter-varying (LPV) systems. In a heterogeneous tube, the parameterizations of the tube cross sections and the associated control laws are allowed to vary along the prediction horizon. Two extreme cases that can be described in this framework are scenario MPC (high complexi… ▽ More This paper presents a heterogeneously parameterized tube-based model predictive control (MPC) design applicable to linear parameter-varying (LPV) systems. In a heterogeneous tube, the parameterizations of the tube cross sections and the associated control laws are allowed to vary along the prediction horizon. Two extreme cases that can be described in this framework are scenario MPC (high complexity, larger domain of attraction) and homothetic tube MPC with a simple time-invariant control parameterization (low complexity, smaller domain of attraction). In the proposed framework, these extreme parameterizations, as well as other parameterizations of intermediate complexity, can be combined within a single tube. By allowing for more flexibility in the parameterization design, one can influence the trade-off between computational cost and the size of the domain of attraction. Sufficient conditions on the parameterization structure are developed under which recursive feasibility and closed-loop stability are guaranteed. A specific parameterization that combines the principles of scenario and homothetic tube MPC is proposed and it is shown to satisfy the required conditions. The properties of the approach, including its capability of achieving improved complexity/performance trade-offs, are demonstrated using two numerical examples. △ Less

Submitted 18 October, 2019; originally announced October 2019.

Comments: Final author's version of a paper accepted for publication in Automatica

A recursive estimation approach to distributed identification of large-scale multi-input-single-output FIR systems

Authors: Tom R. V. Steentjes, Mircea Lazar, Paul M. J. Van den Hof

Abstract: The problem of identifying single modules in multiple-input-single-output (MISO) systems is considered. A novel approach to distributed identification of MISO finite impulse response systems is presented. The distributed identification is discerned by the local estimation of local parameters, which correspond to a module in the MISO system. The local estimators are derived from the standard recurs… ▽ More The problem of identifying single modules in multiple-input-single-output (MISO) systems is considered. A novel approach to distributed identification of MISO finite impulse response systems is presented. The distributed identification is discerned by the local estimation of local parameters, which correspond to a module in the MISO system. The local estimators are derived from the standard recursive least squares estimator and require limited information exchange. By Lyapunov's second method, sufficient conditions are derived for asymptotic convergence of the estimators to the true parameters in the absence of disturbances, which lead to asymptotic unbiasedness in the presence of additive output disturbances. △ Less

Submitted 21 July, 2018; originally announced July 2018.

Stabilizing Tube-Based Model Predictive Control: Terminal Set and Cost Construction for LPV Systems (extended version)

Authors: Jurre Hanema, Mircea Lazar, Roland Tóth

Abstract: This paper presents a stabilizing tube-based MPC synthesis for LPV systems. We employ terminal constraint sets which are required to be controlled periodically contractive. Periodically (or finite-step) contractive sets are easier to compute and can be of lower complexity than "true" contractive ones, lowering the required computational effort both off-line and on-line. Under certain assumptions o… ▽ More This paper presents a stabilizing tube-based MPC synthesis for LPV systems. We employ terminal constraint sets which are required to be controlled periodically contractive. Periodically (or finite-step) contractive sets are easier to compute and can be of lower complexity than "true" contractive ones, lowering the required computational effort both off-line and on-line. Under certain assumptions on the tube parameterization, recursive feasibility of the scheme is proven. Subsequently, asymptotic stability of the origin is guaranteed through the construction of a suitable terminal cost based on a novel Lyapunov-like metric for compact convex sets containing the origin. A periodic variant on the well-known homothetic tube parameterization that satisfies the necessary assumptions and yields a tractable LPV MPC algorithm is derived. The resulting MPC algorithm requires the on-line solution of a single linear program with linear complexity in the prediction horizon. The properties of the approach are demonstrated by a numerical example. △ Less

Submitted 24 June, 2017; v1 submitted 17 February, 2017; originally announced February 2017.

Comments: This is an extended version of a paper accepted to Automatica. The previous version of this preprint was an extended version of the submitted, not yet accepted, manuscript. pdflatex, 10 pages, 4 figures

Towards parallelizable sampling-based Nonlinear Model Predictive Control

Authors: R. V. Bobiti, M. Lazar

Abstract: This paper proposes a new sampling-based nonlinear model predictive control (MPC) algorithm, with a bound on complexity quadratic in the prediction horizon N and linear in the number of samples. The idea of the proposed algorithm is to use the sequence of predicted inputs from the previous time step as a warm start, and to iteratively update this sequence by changing its elements one by one, start… ▽ More This paper proposes a new sampling-based nonlinear model predictive control (MPC) algorithm, with a bound on complexity quadratic in the prediction horizon N and linear in the number of samples. The idea of the proposed algorithm is to use the sequence of predicted inputs from the previous time step as a warm start, and to iteratively update this sequence by changing its elements one by one, starting from the last predicted input and ending with the first predicted input. This strategy, which resembles the dynamic programming principle, allows for parallelization up to a certain level and yields a suboptimal nonlinear MPC algorithm with guaranteed recursive feasibility, stability and improved cost function at every iteration, which is suitable for real-time implementation. The complexity of the algorithm per each time step in the prediction horizon depends only on the horizon, the number of samples and parallel threads, and it is independent of the measured system state. Comparisons with the fmincon nonlinear optimization solver on benchmark examples indicate that as the simulation time progresses, the proposed algorithm converges rapidly to the "optimal" solution, even when using a small number of samples. △ Less

Submitted 12 January, 2017; v1 submitted 10 January, 2017; originally announced January 2017.

Comments: 9 pages, 9 pictures, submitted to IFAC World Congress 2017

Sampling-based verification of Lyapunov's inequality for piecewise continuous nonlinear systems

Authors: Ruxandra Bobiti, Mircea Lazar

Abstract: This paper considers a sampling-based approach to stability verification for piecewise continuous nonlinear systems via Lyapunov functions. Depending on the system dynamics, the candidate Lyapunov function and the set of initial states of interest, one generally needs to handle large, possibly non-convex or non-feasible optimization problems. To avoid such problems, we propose a constructive and s… ▽ More This paper considers a sampling-based approach to stability verification for piecewise continuous nonlinear systems via Lyapunov functions. Depending on the system dynamics, the candidate Lyapunov function and the set of initial states of interest, one generally needs to handle large, possibly non-convex or non-feasible optimization problems. To avoid such problems, we propose a constructive and systematically applicable sampling-based method to Lyapunov's inequality verification. This approach proposes verification of the decrease condition for a candidate Lyapunov function on a finite sampling of a bounded set of initial conditions and then it extends the validity of the Lyapunov function to an infinite set of initial conditions by automatically exploiting continuity properties. This result is based on multi-resolution sampling, to perform efficient state- space exploration. Using hyper-rectangles as basic sampling blocks, to account for different constraint scales on different states, further reduces the amount of samples to be verified. Moreover, the verification is decentralized in the sampling points, which makes the method scalable. The proposed methodology is illustrated through examples. △ Less

Submitted 1 September, 2016; originally announced September 2016.

Comments: 14 pages, 7 figures

Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions

Authors: Xuchu Ding, Mircea Lazar, Calin Belta

Abstract: In this paper we present an abstraction algorithm that produces a finite bisimulation quotient for an autonomous discrete-time linear system. We assume that the bisimulation quotient is required to preserve the observations over an arbitrary, finite number of polytopic subsets of the system state space. We generate the bisimulation quotient with the aid of a sequence of contractive polytopic suble… ▽ More In this paper we present an abstraction algorithm that produces a finite bisimulation quotient for an autonomous discrete-time linear system. We assume that the bisimulation quotient is required to preserve the observations over an arbitrary, finite number of polytopic subsets of the system state space. We generate the bisimulation quotient with the aid of a sequence of contractive polytopic sublevel sets obtained via a polyhedral Lyapunov function. The proposed algorithm guarantees that at iteration $i$, the bisimulation of the system within the $i$-th sublevel set of the Lyapunov function is completed. We then show how to use the obtained bisimulation quotient to verify the system with respect to arbitrary Linear Temporal Logic formulas over the observed regions. △ Less

Submitted 28 March, 2012; originally announced March 2012.

Comments: Technical report accompanying a paper to be presented in ADHS 2012

Receding Horizon Temporal Logic Control for Finite Deterministic Systems

Authors: Xuchu Ding, Mircea Lazar, Calin Belta

Abstract: This paper considers receding horizon control of finite deterministic systems, which must satisfy a high level, rich specification expressed as a linear temporal logic formula. Under the assumption that time-varying rewards are associated with states of the system and they can be observed in real-time, the control objective is to maximize the collected reward while satisfying the high level task s… ▽ More This paper considers receding horizon control of finite deterministic systems, which must satisfy a high level, rich specification expressed as a linear temporal logic formula. Under the assumption that time-varying rewards are associated with states of the system and they can be observed in real-time, the control objective is to maximize the collected reward while satisfying the high level task specification. In order to properly react to the changing rewards, a controller synthesis framework inspired by model predictive control is proposed, where the rewards are locally optimized at each time-step over a finite horizon, and the immediate optimal control is applied. By enforcing appropriate constraints, the infinite trajectory produced by the controller is guaranteed to satisfy the desired temporal logic formula. Simulation results demonstrate the effectiveness of the approach. △ Less

Submitted 13 March, 2012; originally announced March 2012.

Comments: Technical report accompanying a paper to be presented at ACC 2012