Source author record

Marcello Farina

Marcello Farina 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

18works
7topics
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

18 published item(s)

preprint2023arXiv

Advanced control based on Recurrent Neural Networks learned using Virtual Reference Feedback Tuning and application to an Electronic Throttle Body (with supplementary material)

In this paper the application of Virtual Reference Feedback Tuning (VRFT) for control of nonlinear systems with regulators defined by Echo State Networks (ESN) and Long Short Term Memory (LSTM) networks is investigated. The capability of this class of regulators of constraining the control variable is pointed out and an advanced control scheme that allows to achieve zero steady-state error is presented. The developed algorithms are validated on a benchmark example that consists of an electronic throttle body (ETB).

preprint2023arXiv

An Offset-Free Nonlinear MPC scheme for systems learned by Neural NARX models

This paper deals with the design of nonlinear MPC controllers that provide offset-free setpoint tracking for models described by Neural Nonlinear AutoRegressive eXogenous (NNARX) networks. The NNARX model is identified from input-output data collected from the plant, and can be given a state-space representation with known measurable states made by past input and output variables, so that a state observer is not required. In the training phase, the Incremental Input-to-State Stability (δISS) property can be forced when consistent with the behavior of the plant. The δISS property is then leveraged to augment the model with an explicit integral action on the output tracking error, which allows to achieve offset-free tracking capabilities to the designed control scheme. The proposed control architecture is numerically tested on a water heating system and the achieved results are compared to those scored by another popular offset-free MPC method, showing that the proposed scheme attains remarkable performances even in presence of disturbances acting on the plant.

preprint2023arXiv

Virtual Reference Feedback Tuning for linear discrete-time systems with robust stability guarantees based on Set Membership

In this paper we propose a novel methodology that allows to design, in a purely data-based fashion and for linear single-input and single-output systems, both robustly stable and performing control systems for tracking piecewise constant reference signals. The approach uses both (i) Virtual Reference Feedback Tuning for enforcing suitable performances and (ii) the Set Membership framework for providing a-priori robust stability guarantees. Indeed, an uncertainty set for the system parameters is obtained through Set Membership identification, where an algorithm based on the scenario approach is proposed to estimate the inflation parameter in a probabilistic way. Based on this set, robust stability conditions are enforced as Linear Matrix Inequality constraints within an optimization problem whose linear cost function relies on Virtual Reference Feedback Tuning. To show the generality and effectiveness of our approach, we apply it to two of the most widely used yet simple control schemes, i.e., where tracking is achieved thanks to (i) a static feedforward action and (ii) an integrator in closed-loop. The proposed method is not fully direct due to the Set Membership identification. However, the uncertainty set is used with the only objective of providing robust stability guarantees for the closed-loop system and it is not directly used for the performances optimization, which instead is totally based on data. The effectiveness of the developed method is demonstrated with reference to two simulation examples. A comparison with other data-driven methods is also carried out.

preprint2022arXiv

On Recurrent Neural Networks for learning-based control: recent results and ideas for future developments

This paper aims to discuss and analyze the potentialities of Recurrent Neural Networks (RNN) in control design applications. The main families of RNN are considered, namely Neural Nonlinear AutoRegressive eXogenous, (NNARX), Echo State Networks (ESN), Long Short Term Memory (LSTM), and Gated Recurrent Units (GRU). The goal is twofold. Firstly, to survey recent results concerning the training of RNN that enjoy Input-to-State Stability (ISS) and Incremental Input-to-State Stability ($δ$ISS) guarantees. Secondly, to discuss the issues that still hinder the widespread use of RNN for control, namely their robustness, verifiability, and interpretability. The former properties are related to the so-called generalization capabilities of the networks, i.e. their consistency with the underlying real plants, even in presence of unseen or perturbed input trajectories. The latter is instead related to the possibility of providing a clear formal connection between the RNN model and the plant. In this context, we illustrate how ISS and $δ$ISS represent a significant step towards the robustness and verifiability of the RNN models, while the requirement of interpretability paves the way to the use of physics-based networks. The design of model predictive controllers with RNN as plant's model is also briefly discussed. Lastly, some of the main topics of the paper are illustrated on a simulated chemical system.

preprint2022arXiv

Towards lifelong learning of Recurrent Neural Networks for control design

This paper proposes a method for lifelong learning of Recurrent Neural Networks, such as NNARX, ESN, LSTM, and GRU, to be used as plant models in control system synthesis. The problem is significant because in many practical applications it is required to adapt the model when new information is available and/or the system undergoes changes, without the need to store an increasing amount of data as time proceeds. Indeed, in this context, many problems arise, such as the well known Catastrophic Forgetting and Capacity Saturation ones. We propose an adaptation algorithm inspired by Moving Horizon Estimators, deriving conditions for its convergence. The described method is applied to a simulated chemical plant, already adopted as a challenging benchmark in the existing literature. The main results achieved are discussed.

preprint2021arXiv

Robust multi-rate predictive control using multi-step prediction models learned from data

This note extends a recently proposed algorithm for model identification and robust MPC of asymptotically stable, linear time-invariant systems subject to process and measurement disturbances. Independent output predictors for different steps ahead are estimated with Set Membership methods. It is here shown that the corresponding prediction error bounds are the least conservative in the considered model class. Then, a new multi-rate robust MPC algorithm is developed, employing said multi-step predictors to robustly enforce constraints and stability against disturbances and model uncertainty, and to reduce conservativeness. A simulation example illustrates the effectiveness of the approach.

preprint2020arXiv

A feedback linearisation algorithm for single-track models with structural stability properties

This paper proposes a feedback linearizing law for single-track dynamic models, allowing the design of a trajectory tracking controller exploiting linear control theory. The main characteristics of this algorithm are its simplicity, its independence from any vehicle model parameter, apart from the position of the center of mass, and its robustness. In particular, a numerical bifurcation analysis demonstrates that, for physically meaningful values of the center of mass deviation, the equilibrium is structurally asymptotically stable. Experimental results, concerning the linearising law and its application as inner loop of a trajectory tracking controller, are also presented, confirming the effectiveness of the proposal.

preprint2020arXiv

A Hierarchical Architecture for the Coordination of an Ensemble of Steam Generators

This work presents a hierarchical architecture for the optimal management of an ensemble of steam generators, which needs to jointly sustain a common load. The coordination of independent subsystems is provided by a multi-layer control scheme. A high-level optimizer computes the optimal shares of production to be allocated to single generators. At medium level, a robust tube-based model predictive control (MPC) is proposed to track the time-varying demand of the ensemble using a centralized, but aggregated model, whose order does not scale with the number of subsystems. At low level, decentralized controllers are in place to stabilize the internal boiler pressure. The control architecture enables the dynamic modification of the ensemble configuration and plug and play operations. Simulation results are reported to demonstrate the potentialities of the proposed approach.

preprint2020arXiv

LSTM Neural Networks: Input to State Stability and Probabilistic Safety Verification

The goal of this paper is to analyze Long Short Term Memory (LSTM) neural networks from a dynamical system perspective. The classical recursive equations describing the evolution of LSTM can be recast in state space form, resulting in a time-invariant nonlinear dynamical system. A sufficient condition guaranteeing the Input-to-State (ISS) stability property of this class of systems is provided. The ISS property entails the boundedness of the output reachable set of the LSTM. In light of this result, a novel approach for the safety verification of the network, based on the Scenario Approach, is devised. The proposed method is eventually tested on a pH neutralization process.

preprint2020arXiv

Model predictive control design for dynamical systems learned by Long Short-Term Memory Networks

This paper analyzes the stability-related properties of Long Short-Term Memory (LSTM) networks and investigates their use as the model of the plant in the design of Model Predictive Controllers (MPC). First, sufficient conditions guaranteeing the Input-to-State stability (ISS) and Incremental Input-to-State stability (dISS) of LSTM are derived. These properties are then exploited to design an observer with guaranteed convergence of the state estimate to the true one. Such observer is then embedded in a MPC scheme solving the tracking problem. The resulting closed-loop scheme is proved to be asymptotically stable. The training algorithm and control scheme are tested numerically on the simulator of a pH reactor, and the reported results confirm the effectiveness of the proposed approach.

preprint2020arXiv

Nonlinear Model Predictive Control with Enhanced Actuator Model for Multi-Rotor Aerial Vehicles with Generic Designs

In this paper, we propose, discuss, and validate an online Nonlinear Model Predictive Control (NMPC) method for multi-rotor aerial systems with arbitrarily positioned and oriented rotors which simultaneously addresses the local reference trajectory planning and tracking problems. This work brings into question some common modeling and control design choices that are typically adopted to guarantee robustness and reliability but which may severely limit the attainable performance. Unlike most of state of the art works, the proposed method takes advantages of a unified nonlinear model which aims to describe the whole robot dynamics by explicitly including a realistic physical description of the actuator dynamics and limitations. As a matter of fact, our solution does not resort to common simplifications such as: 1) linear model approximation, 2) cascaded control paradigm used to decouple the translational and the rotational dynamics of the rigid body, 3) use of low-level reactive trackers for the stabilization of the internal loop, and 4) unconstrained optimization resolution or use of fictitious constraints. More in detail, we consider as control inputs the derivatives of the propeller forces and propose a novel method to suitably identify the actuator limitations by leveraging experimental data. Differently from previous approaches, the constraints of the optimization problem are defined only by the real physics of the actuators, avoiding conservative -- and often not physical -- input/state saturations which are present, e.g., in cascaded approaches. The control algorithm is implemented using a state-of-the-art Real Time Iteration (RTI) scheme with partial sensitivity update method. CONTINUES...

preprint2015arXiv

Partition-based Distributed Kalman Filter with plug and play features

In this paper we propose a novel partition-based distributed state estimation scheme for non-overlapping subsystems based on Kalman filter. The estimation scheme is designed in order to account, in a rigorous fashion, for dynamic coupling terms between subsystems, and for the uncertainty related to the state estimates performed by the neighboring subsystems. The online implementation of the proposed estimation scheme is scalable, since it involves (i) small-scale matrix operations to be carried out by the estimator embedded in each subsystem and (ii) neighbor-to-neighbor transmission of a limited amount of data. We provide theoretical conditions ensuring the estimation convergence. Reconfigurability of the proposed estimation scheme is allowed in case of plug and play operations. Simulation tests are provided to illustrate the effectiveness of the proposed algorithm.

preprint2014arXiv

An MPC approach to output-feedback control of stochastic linear discrete-time systems

In this paper we propose an output-feedback Model Predictive Control (MPC) algorithm for linear discrete-time systems affected by a possibly unbounded additive noise and subject to probabilistic constraints. In case the noise distribution is unknown, the chance constraints on the input and state variables are reformulated by means of the Chebyshev - Cantelli inequality. The recursive feasibility of the proposed algorithm is guaranteed and the convergence of the state to a suitable neighbor of the origin is proved under mild assumptions. The implementation issues are thoroughly addressed showing that, with a proper choice of the design parameters, its computational load can be made similar to the one of a standard stabilizing MPC algorithm. Two examples are discussed in details, with the aim of providing an insight on the performance achievable by the proposed control scheme.

preprint2013arXiv

Model predictive control of voltage profiles in MV networks with distributed generation

The Model Predictive Control (MPC) approach is used in this paper to control the voltage profiles in MV networks with distributed generation. The proposed algorithm lies at the intermediate level of a three-layer hierarchical structure. At the upper level a static Optimal Power Flow (OPF) manager computes the required voltage profiles to be transmitted to the MPC level, while at the lower level local Automatic Voltage Regulators (AVR), one for each Distributed Generator (DG), track the reactive power reference values computed by MPC. The control algorithm is based on an impulse response model of the system, easily obtained by means of a detailed simulator of the network, and allows to cope with constraints on the voltage profiles and/or on the reactive power flows along the network. If these constraints cannot be satisfied by acting on the available DGs, the algorithm acts on the On-Load Tap Changing (OLTC) transformer. A radial rural network with two feeders, eight DGs, and thirty-one loads is used as case study. The model of the network is implemented in DIgSILENT PowerFactory, while the control algorithm runs in Matlab. A number of simulation results is reported to witness the main characteristics and limitations of the proposed approach.

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.

preprint2010arXiv

Computational challenges of tumor spheroid modeling

The speed and the versatility of today's computers open up new opportunities to simulate complex biological systems. Here we review a computational approach recently proposed by us to model large tumor cell populations and spheroids, and we put forward general considerations that apply to any fine-grained numerical model of tumors. We discuss ways to bypass computational limitations and discuss our incremental approach, where each step is validated by experimental observations on a quantitative basis. We present a few results on the growth of tumor cells in closed and open environments and of tumor spheroids. This study suggests new ways to explore the initial growth phase of solid tumors and to optimize anti-tumor treatments.