BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Giancarlo Ferrari-Trecate

Giancarlo Ferrari-Trecate contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
eess.SYSystems and ControlMachine Learningmath.OC

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
13works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

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

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access