Source author record

Giancarlo Ferrari-Trecate

Giancarlo Ferrari-Trecate appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

21works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2022arXiv

Finite-sample-based Spectral Radius Estimation and Stabilizability Test for Networked Control Systems

In the analysis and control of discrete-time linear time-invariant systems, the spectral radius of the system state matrix plays an essential role. Usually, it is assumed that system matrices are known, from which the spectral radius can be directly computed. Instead, we consider the setting where the system is affected by process noise, and one has only finitely many samples of system input and state measurements. We provide two methods for estimating the spectral radius and derive error bounds that hold with high probability. Moreover, we show how to use the derived results to test stabilizability for networked control systems (NCSs) with lossy channels when only finitely many samples of the system input, state, and packet drop sequence are available.

preprint2022arXiv

Hamiltonian Deep Neural Networks Guaranteeing Non-vanishing Gradients by Design

Deep Neural Networks (DNNs) training can be difficult due to vanishing and exploding gradients during weight optimization through backpropagation. To address this problem, we propose a general class of Hamiltonian DNNs (H-DNNs) that stem from the discretization of continuous-time Hamiltonian systems and include several existing DNN architectures based on ordinary differential equations. Our main result is that a broad set of H-DNNs ensures non-vanishing gradients by design for an arbitrary network depth. This is obtained by proving that, using a semi-implicit Euler discretization scheme, the backward sensitivity matrices involved in gradient computations are symplectic. We also provide an upper-bound to the magnitude of sensitivity matrices and show that exploding gradients can be controlled through regularization. Finally, we enable distributed implementations of backward and forward propagation algorithms in H-DNNs by characterizing appropriate sparsity constraints on the weight matrices. The good performance of H-DNNs is demonstrated on benchmark classification problems, including image classification with the MNIST dataset.

preprint2022arXiv

Near-Optimal Design of Safe Output Feedback Controllers from Noisy Data

As we transition towards the deployment of data-driven controllers for black-box cyberphysical systems, complying with hard safety constraints becomes a primary concern. Two key aspects should be addressed when input-output data are corrupted by noise: how much uncertainty can one tolerate without compromising safety, and to what extent is the control performance affected? By focusing on finite-horizon constrained linear-quadratic problems, we provide an answer to these questions in terms of the model mismatch incurred during a preliminary identification phase. We propose a control design procedure based on a quasiconvex relaxation of the original robust problem and we prove that, if the uncertainty is sufficiently small, the synthesized controller is safe and near-optimal, in the sense that the suboptimality gap increases linearly with the model mismatch level. Since the proposed method is independent of the specific identification procedure, our analysis holds in combination with state-of-the-art behavioral estimators beyond standard least-squares. The main theoretical results are validated by numerical experiments.

preprint2022arXiv

Neural Energy Casimir Control for Port-Hamiltonian Systems

The energy Casimir method is an effective controller design approach to stabilize port-Hamiltonian systems at a desired equilibrium. However, its application relies on the availability of suitable Casimir and Lyapunov functions, whose computation are generally intractable. In this paper, we propose a neural network-based framework to learn these functions. We show how to achieve equilibrium assignment by adding suitable regularization terms in the training cost. We also propose a parameterization of Casimir functions for reducing the training complexity. Moreover, the distance between the equilibrium of the learned Lyapunov function and the desired equilibrium is analyzed, which indicates that for small suboptimality gaps, the distance decreases linearly with respect to the training loss. Our methods are backed up by simulations on a pendulum system.

preprint2022arXiv

Neural System Level Synthesis: Learning over All Stabilizing Policies for Nonlinear Systems

We address the problem of designing stabilizing control policies for nonlinear systems in discrete-time, while minimizing an arbitrary cost function. When the system is linear and the cost is convex, the System Level Synthesis (SLS) approach offers an effective solution based on convex programming. Beyond this case, a globally optimal solution cannot be found in a tractable way, in general. In this paper, we develop a parametrization of all and only the control policies stabilizing a given time-varying nonlinear system in terms of the combined effect of 1) a strongly stabilizing base controller and 2) a stable SLS operator to be freely designed. Based on this result, we propose a Neural SLS (Neur-SLS) approach guaranteeing closed-loop stability during and after parameter optimization, without requiring any constraints to be satisfied. We exploit recent Deep Neural Network (DNN) models based on Recurrent Equilibrium Networks (RENs) to learn over a rich class of nonlinear stable operators, and demonstrate the effectiveness of the proposed approach in numerical examples.

preprint2022arXiv

On the Optimality and Convergence Properties of the Iterative Learning Model Predictive Controller

In this technical note we analyse the performance improvement and optimality properties of the Learning Model Predictive Control (LMPC) strategy for linear deterministic systems. The LMPC framework is a policy iteration scheme where closed-loop trajectories are used to update the control policy for the next execution of the control task. We show that, when a Linear Independence Constraint Qualification (LICQ) condition holds, the LMPC scheme guarantees strict iterative performance improvement and optimality, meaning that the closed-loop cost evaluated over the entire task converges asymptotically to the optimal cost of the infinite-horizon control problem. Compared to previous works this sufficient LICQ condition can be easily checked, it holds for a larger class of systems and it can be used to adaptively select the prediction horizon of the controller, as demonstrated by a numerical example.

preprint2022arXiv

Robust Classification using Contractive Hamiltonian Neural ODEs

Deep neural networks can be fragile and sensitive to small input perturbations that might cause a significant change in the output. In this paper, we employ contraction theory to improve the robustness of neural ODEs (NODEs). A dynamical system is contractive if all solutions with different initial conditions converge to each other exponentially fast. As a consequence, perturbations in initial conditions become less and less relevant over time. Since in NODEs the input data corresponds to the initial condition of dynamical systems, we show contractivity can mitigate the effect of input perturbations. More precisely, inspired by NODEs with Hamiltonian dynamics, we propose a class of contractive Hamiltonian NODEs (CH-NODEs). By properly tuning a scalar parameter, CH-NODEs ensure contractivity by design and can be trained using standard backpropagation. Moreover, CH-NODEs enjoy built-in guarantees of non-exploding gradients, which ensure a well-posed training process. Finally, we demonstrate the robustness of CH-NODEs on the MNIST image classification problem with noisy test data.

preprint2022arXiv

Robust online joint state/input/parameter estimation of linear systems

This paper presents a method for jointly estimating the state, input, and parameters of linear systems in an online fashion. The method is specially designed for measurements that are corrupted with non-Gaussian noise or outliers, which are commonly found in engineering applications. In particular, it combines recursive, alternating, and iteratively-reweighted least squares into a single, one-step algorithm, which solves the estimation problem online and benefits from the robustness of least-deviation regression methods. The convergence of the iterative method is formally guaranteed. Numerical experiments show the good performance of the estimation algorithm in presence of outliers and in comparison to state-of-the-art methods.

preprint2021arXiv

A Data-Driven Convex Programming Approach to Worst-Case Robust Tracking Controller Design

This paper studies finite-horizon robust tracking control for discrete-time linear systems, based on input-output data. We leverage behavioral theory to represent system trajectories through a set of noiseless historical data, instead of using an explicit system model. By assuming that recent output data available to the controller are affected by noise terms verifying a quadratic bound, we formulate an optimization problem with a linear cost and LMI constraints for solving the robust tracking problem without any approximations. Our approach hinges on a parameterization of noise trajectories compatible with the data-dependent system representation and on a reformulation of the tracking cost, which enables the application of the S-lemma. In addition, we propose a method for reducing the computational complexity and demonstrate that the size of the resulting LMIs does not scale with the number of historical data. Finally, we show that the proposed formulation can easily incorporate actuator disturbances as well as constraints on inputs and outputs. The performance of the new controllers is discussed through simulations.

preprint2020arXiv

Consensus-Based Current Sharing and Voltage Balancing in DC Microgrids with Exponential Loads

In this work, we present a novel consensus-based secondary control scheme for current sharing and voltage balancing in DC microgrids, composed of distributed generation units, dynamic RLC lines, and nonlinear ZIE (constant impedance, constant current, and exponential) loads. Situated atop a primary voltage control layer, our secondary controllers have a distributed structure, and utilize information exchanged over a communication network to compute necessary control actions. Besides showing that the desired objectives are always attained in steady state, we deduce sufficient conditions for the existence and uniqueness of an equilibrium point for constant power loads -- E loads with zero exponent. Our control design hinges only on the local parameters of the generation units, facilitating plug-and-play operations. We provide a voltage stability analysis, and illustrate the performance and robustness of our designs via simulations. All results hold for arbitrary, albeit connected, microgrid and communication network topologies.

preprint2020arXiv

Hierarchical Control in Islanded DC Microgrids with Flexible Structures

Hierarchical architectures stacking primary, secondary, and tertiary layers are widely employed for the operation and control of islanded DC microgrids (DCmGs), composed of Distribution Generation Units (DGUs), loads, and power lines. However, a comprehensive analysis of all the layers put together is often missing. In this work, we remedy this limitation by setting out a top-to-bottom hierarchical control architecture. Decentralized voltage controllers attached to DGUs form our primary layer. Governed by an MPC--based Energy Management System (EMS), our tertiary layer generates optimal power references and decision variables for DGUs. In particular, decision variables can turn DGUs ON/OFF and select their operation modes. An intermediary secondary layer translates EMS power references into appropriate voltage signals required by the primary layer. More specifically, to provide a voltage solution, the secondary layer solves an optimization problem embedding power-flow equations shown to be always solvable. Since load voltages are not directly enforced, their uniqueness is necessary for DGUs to produce reference powers handed down by the EMS. To this aim, we deduce a novel uniqueness condition based only on local load parameters. Our control framework, besides being applicable for generic DCmG topologies, can accommodate topological changes caused by EMS commands. Its functioning is validated via simulations on a modified 16-bus DC system.

preprint2020arXiv

On Existence of Equilibria, Voltage Balancing, and Current Sharing in Consensus-Based DC Microgrids

In this work, we present new secondary regulators for current sharing and voltage balancing in DC microgrids, composed of distributed generation units, dynamic RLC lines, and nonlinear ZIP (constant impedance, constant current, and constant power) loads. The proposed controllers sit atop a primary voltage control layer, and exchange information over a communication network to perform secondary control actions. We deduce sufficient conditions for the existence and uniqueness of an equilibrium point, and show that the desired objectives are attained in steady state. Our control design requires only the knowledge of local parameters of the generation units, facilitating plug-and-play operations. We provide a voltage stability analysis, and illustrate the performance and robustness of our designs via simulations. All results hold for arbitrary, albeit connected, microgrid and communication network topologies.

preprint2020arXiv

Supervised MPC control of large-scale electricity networks via clustering methods

This paper describes a control approach for large-scale electricity networks, with the goal of efficiently coordinating distributed generators to balance unexpected load variations with respect to nominal forecasts. To mitigate the difficulties due to the size of the problem, the proposed methodology is divided in two steps. First, the network is partitioned into clusters, composed of several dispatchable and non dispatchable generators, storage systems, and loads. A clustering algorithm is designed with the aim of obtaining clusters with the following characteristics: (i) they must be compact, keeping the distance between generators and loads as small as possible; (ii) they must be able to internally balance load variations to the maximum possible extent. Once the network clustering has been completed, a two layer control system is designed. At the lower layer, a local Model Predictive Controller is associated to each cluster for managing the available generation and storage elements to compensate local load variations. If the local sources are not sufficient to balance the cluster's load variations, a power request is sent to the supervisory layer, which optimally distributes additional resources available from the other clusters of the network. To enhance the scalability of the approach, the supervisor is implemented relying on a fully distributed optimization algorithm. The IEEE 118-bus system is used to test the proposed design procedure in a non trivial scenario.

preprint2016arXiv

Kron reduction methods for plug-and-play control of ac islanded microgrids with arbitrary topology

In this paper, we provide an extension of the scalable algorithm proposed in (Riverso et al., 2015) for the design of Plug-and-Play (PnP) controllers for AC Islanded microGrids (ImGs). The method in (Riverso et al., 2015) assumes DGUs are arranged in a load-connected topology, i.e. loads can appear only at the output terminals of inverters. For handling totally general interconnections of DGUs and loads, we describe an approach based on Kron Reduction (KR), a network reduction method giving an equivalent load-connected model of the original ImG. However, existing KR approaches can fail in preserving the structure of transfer functions representing transmission lines. To avoid this drawback, we introduce an approximate KR algorithm, still capable to represent exactly the asymptotic periodic behavior of electric signals even if they are unbalanced. Our results are backed up with simulations illustrating features of the new KR approach as well as its use for designing PnP controllers in a 21-bus ImG derived from an IEEE test feeder.

preprint2015arXiv

A decentralized scalable approach to voltage control of DC islanded microgrids

We propose a new decentralized control scheme for DC Islanded microGrids (ImGs) composed by several Distributed Generation Units (DGUs) with a general interconnection topology. Each local controller regulates to a reference value the voltage of the Point of Common Coupling (PCC) of the corresponding DGU. Notably, off-line control design is conducted in a Plug-and-Play (PnP) fashion meaning that (i) the possibility of adding/removing a DGU without spoiling stability of the overall ImG is checked through an optimization problem; (ii) when a DGU is plugged in or out at most neighbouring DGUs have to update their controllers and (iii) the synthesis of a local controller uses only information on the corresponding DGU and lines connected to it. This guarantee total scalability of control synthesis as the ImG size grows or DGU gets replaced. Yes, under mild approximations of line dynamics, we formally guarantee stability of the overall closed-loop ImG. The performance of the proposed controllers is analyzed simulating different scenarios in PSCAD.

preprint2015arXiv

Model predictive controllers for reduction of mechanical fatigue in wind farms

We consider the problem of dispatching WindFarm (WF) power demand to individual Wind Turbines (WT) with the goal of minimizing mechanical stresses. We assume wind is strong enough to let each WTs to produce the required power and propose different closed-loop Model Predictive Control (MPC) dispatching algorithms. Similarly to existing approaches based on MPC, our methods do not require changes in WT hardware but only software changes in the SCADA system of the WF. However, differently from previous MPC schemes, we augment the model of a WT with an ARMA predictor of the wind turbulence, which reduces uncertainty in wind predictions over the MPC control horizon. This allows us to develop both stochastic and deterministic MPC algorithms. In order to compare different MPC schemes and demonstrate improvements with respect to classic open-loop schedulers, we performed simulations using the SimWindFarm toolbox for MatLab. We demonstrate that MPC controllers allow to achieve reduction of stresses even in the case of large installations such as the 100-WTs Thanet offshore WF.

preprint2014arXiv

Plug-and-play fault diagnosis and control-reconfiguration for a class of nonlinear large-scale constrained systems

This paper deals with a novel Plug-and-Play (PnP) architecture for the control and monitoring of Large-Scale Systems (LSSs). The proposed approach integrates a distributed Model Predictive Control (MPC) strategy with a distributed Fault Detection (FD) architecture and methodology in a PnP framework. The basic concept is to use the FD scheme as an autonomous decision support system: once a fault is detected, the faulty subsystem can be unplugged to avoid the propagation of the fault in the interconnected LSS. Analogously, once the issue has been solved, the disconnected subsystem can be re-plugged-in. PnP design of local controllers and detectors allow these operations to be performed safely, i.e. without spoiling stability and constraint satisfaction for the whole LSS. The PnP distributed MPC is derived for a class of nonlinear LSS and an integrated PnP distributed FD architecture is proposed. Simulation results show the effectiveness and the potential of the general methodology.

preprint2014arXiv

Plug-and-play voltage and frequency control of islanded microgrids with meshed topology

In this paper we propose a new decentralized control scheme for Islanded microGrids (ImGs) composed by the interconnection of Distributed Generation Units (DGUs). Local controllers regulate voltage and frequency at the Point of Common Coupling (PCC) of each DGU and they are able to guarantee stability of the overall ImG. The control design procedure is decentralized, since, besides two global scalar quantities, the synthesis of a local controller uses only information on the corresponding DGU and lines connected to it. Most important, our design procedure enables Plug-and-Play (PnP) operations: when a DGU is plugged in or out, only DGUs physically connected to it have to retune their local controllers. We study the performance of the proposed controllers simulating different scenarios in MatLab/Simulink and using performance indexes proposed in IEEE standards.

preprint2013arXiv

Plug-and-Play Decentralized Model Predictive Control

In this paper we consider a linear system structured into physically coupled subsystems and propose a decentralized control scheme capable to guarantee asymptotic stability and satisfaction of constraints on system inputs and states. The design procedure is totally decentralized, since the synthesis of a local controller uses only information on a subsystem and its neighbors, i.e. subsystems coupled to it. We first derive tests for checking if a subsystem can be plugged into (or unplugged from) an existing plant without spoiling overall stability and constraint satisfaction. When this is possible, we show how to automatize the design of local controllers so that it can be carried out in parallel by smart actuators equipped with computational resources and capable to exchange information with neighboring subsystems. In particular, local controllers exploit tube-based Model Predictive Control (MPC) in order to guarantee robustness with respect to physical coupling among subsystems. Finally, an application of the proposed control design procedure to frequency control in power networks is presented.

preprint2013arXiv

Plug-and-play distributed state estimation for linear systems

This paper proposes a state estimator for large-scale linear systems described by the interaction of state-coupled subsystems affected by bounded disturbances. We equip each subsystem with a Local State Estimator (LSE) for the reconstruction of the subsystem states using pieces of information from parent subsystems only. Moreover we provide conditions guaranteeing that the estimation errors are confined into prescribed polyhedral sets and converge to zero in absence of disturbances. Quite remarkably, the design of an LSE is recast into an optimization problem that requires data from the corresponding subsystem and its parents only. This allows one to synthesize LSEs in a Plug-and-Play (PnP) fashion, i.e. when a subsystem gets added, the update of the whole estimator requires at most the design of an LSE for the subsystem and its parents. Theoretical results are backed up by numerical experiments on a mechanical system.

preprint2013arXiv

Plug-and-Play Model Predictive Control based on robust control invariant sets

In this paper we consider a linear system represented by a coupling graph between subsystems and propose a distributed control scheme capable to guarantee asymptotic stability and satisfaction of constraints on system inputs and states. Most importantly, as in Riverso et al., 2012 our design procedure enables plug-and-play (PnP) operations, meaning that (i) the addition or removal of subsystems triggers the design of local controllers associated to successors to the subsystem only and (ii) the synthesis of a local controller for a subsystem requires information only from predecessors of the subsystem and it can be performed using only local computational resources. Our method hinges on local tube MPC controllers based on robust control invariant sets and it advances the PnP design procedure proposed in Riverso et al., 2012 in several directions. Quite notably, using recent results in the computation of robust control invariant sets, we show how critical steps in the design of a local controller can be solved through linear programming. Finally, an application of the proposed control design procedure to frequency control in power networks is presented.