Searcharxiv⌕ Search

arXiv subjects

Riccardo M. G. Ferrari

Publications and source records attributed to Riccardo M. G. Ferrari.

At least 19 recordsLinked to original sources

Personalized and Resilient Distributed Learning Through Opinion Dynamics

In this paper, we address two practical challenges of distributed learning in multi-agent network systems, namely personalization and resilience. Personalization is the need of heterogeneous agents to learn local models tailored to their own data and tasks, while still generalizing well; on the other hand, the learning process must be resilient to cyberattacks or anomalous training data to avoid disruption. Motivated by a conceptual affinity between these two requirements, we devise a distributed learning algorithm that combines distributed gradient descent and the Friedkin-Johnsen model of opinion dynamics to fulfill both of them. We quantify its convergence speed and the neighborhood that contains the final learned models, which can be easily controlled by tuning the algorithm parameters to enforce a more personalized/resilient behavior. We numerically showcase the effectiveness of our algorithm on synthetic and real-world distributed learning tasks, where it achieves high global accuracy both for personalized models and with malicious agents compared to standard strategies.

cs.MA↗

Capacity Estimation of Lithium-ion Batteries Using Invariance Property in Open Circuit Voltage Relationship

Lithium-ion (Li-ion) batteries are ubiquitous in electric vehicles (EVs) as efficient energy storage devices. The reliable operation of Li-ion batteries depends critically on the accurate estimation of battery capacity. However, conventional estimation methods require extensive training datasets from costly battery tests for modeling, and a full cycle of charge and discharge is often needed to estimate the capacity. To overcome these limitations, we propose a novel capacity estimation method that leverages only one cycle of the open-circuit voltage (OCV) test in modeling and allows for estimating the capacity from partial charge or discharge data. Moreover, by applying it with OCV identification algorithms, we can estimate the capacity from dynamic discharge data without requiring dedicated data collection tests. We observed an invariance property in the OCV versus state of charge relationship across aging cycles. Leveraging this invariance, the proposed method estimates the capacity by solving an OCV alignment problem using only the OCV and the discharge capacity data from the battery. Simulation results demonstrate the method's efficacy, achieving a mean absolute relative error of 0.85\% in capacity estimation across 12 samples from 344 aging cycles.

eess.SY↗

Direct Continuous-Time LPV System Identification of Li-ion Batteries via L1-Regularized Least Squares

Accurate identification of lithium-ion battery parameters is essential for estimating battery states and managing performance. However, the variation of battery parameters over the state of charge (SOC) and the nonlinear dependence of the open-circuit voltage (OCV) on the SOC complicate the identification process. In this work, we develop a continuous-time LPV system identification approach to identify the SOC-dependent battery parameters and the OCV-SOC mapping. We model parameter variations using cubic B-splines to capture the piecewise nonlinearity of the variations and estimate signal derivatives via state variable filters, facilitating CT-LPV identification. Battery parameters and the OCV-SOC mapping are jointly identified by solving L1-regularized least squares problems. Numerical experiments on a simulated battery and real-life data demonstrate the effectiveness of the developed method in battery identification, presenting improved performance compared to conventional RLS-based methods.

eess.SY↗

Continuous-Time System Identification and OCV Reconstruction of Li-ion Batteries via Regularized Least Squares

Accurate identification of lithium-ion (Li-ion) battery parameters is essential for managing and predicting battery behavior. However, existing discrete-time methods hinder the estimation of physical parameters and face the fast-slow dynamics problem presented in the battery. In this paper, we developed a continuous-time approach that enables the estimation of battery parameters directly from sampled data. This method avoids discretization errors in converting continuous-time models into discrete-time ones, achieving more accurate identification. In addition, we jointly identify the open-circuit voltage (OCV) and the state of charge (SOC) relation of the battery without utilizing offline OCV tests. By modeling the OCV-SOC curve as a cubic B-spline, we achieve a high-fidelity representation of the OCV curve, facilitating its estimation. Through solving a rank and L1 regularized least squares problem, we jointly identify battery parameters and the OCV-SOC relation from the battery's dynamic data. Simulated and real-life data demonstrate the effectiveness of the developed method.

eess.SY↗

Switching multiplicative watermark design against covert attacks

Active techniques have been introduced to give better detectability performance for cyber-attack diagnosis in cyber-physical systems (CPS). In this paper, switching multiplicative watermarking is considered, whereby we propose an optimal design strategy to define switching filter parameters. Optimality is evaluated exploiting the so-called output-to-output gain of the closed loop system, including some supposed attack dynamics. A worst-case scenario of a matched covert attack is assumed, presuming that an attacker with full knowledge of the closed-loop system injects a stealthy attack of bounded energy. Our algorithm, given watermark filter parameters at some time instant, provides optimal next-step parameters. Analysis of the algorithm is given, demonstrating its features, and demonstrating that through initialization of certain parameters outside of the algorithm, the parameters of the multiplicative watermarking can be randomized. Simulation shows how, by adopting our method for parameter design, the attacker's impact on performance diminishes.

cs.CR↗

On the Output Redundancy of LTI Systems: A Geometric Approach with Application to Privacy

This paper examines the properties of output-redundant systems, that is, systems possessing a larger number of outputs than inputs, through the lenses of the geometric approach of Wonham et al. We begin by formulating a simple output allocation synthesis problem, which involves ``concealing" input information from a malicious eavesdropper having access to the system output, while still allowing for a legitimate user to reconstruct it. It is shown that the solvability of this problem requires the availability of a redundant set of outputs. This very problem is instrumental to unveiling the fundamental geometric properties of output-redundant systems, which form the basis for our subsequent constructions and results. As a direct application, we demonstrate how output allocation can be employed to effectively protect the information of input information from certain output eavesdroppers with guaranteed results.

eess.SY↗

Separating multiscale Battery dynamics and predicting multi-step ahead voltage simultaneously through a data-driven approach

Accurate prediction of battery performance under various ageing conditions is necessary for reliable and stable battery operations. Due to complex battery degradation mechanisms, estimating the accurate ageing level and ageing-dependent battery dynamics is difficult. This work presents a health-aware battery model that is capable of separating fast dynamics from slowly varying states of degradation and state of charge (SOC). The method is based on a sequence-to-sequence learning-based encoder-decoder model, where the encoder infers the slowly varying states as the latent space variables in an unsupervised way, and the decoder provides health-aware multi-step ahead prediction conditioned on slowly varying states from the encoder. The proposed approach is verified on a Lithium-ion battery ageing dataset based on real driving profiles of electric vehicles.

eess.SY↗

Real-time Battery State of Charge and parameters estimation through Multi-Rate Moving Horizon Estimator

For reliable and safe battery operations, accurate and robust State of Charge (SOC) and model parameters estimation are vital. However, the nonlinear dependency of the model parameters on battery states makes the problem challenging. We propose a Moving-Horizon Estimation (MHE)-based robust approach for joint state and parameters estimation. Due to all the time scales involved in the model dynamics, a multi-rate MHE is designed to improve the estimation performance. Moreover, a parallelized structure for the observer is exploited to reduce the computational burden, combining both multi-rate and a reduced-order MHEs. Results show that the battery SOC and parameters can be effectively estimated. The proposed MHE observers are verified on a Simulink-based battery equivalent circuit model.

eess.SY↗

Hybrid Design of Multiplicative Watermarking for Defense Against Malicious Parameter Identification

Watermarking is a promising active diagnosis technique for detection of highly sophisticated attacks, but is vulnerable to malicious agents that use eavesdropped data to identify and then remove or replicate the watermark. In this work, we propose a hybrid multiplicative watermarking (HMWM) scheme, where the watermark parameters are periodically updated, following the dynamics of the unobservable states of specifically designed piecewise affine (PWA) hybrid systems. We provide a theoretical analysis of the effects of this scheme on the closed-loop performance, and prove that stability properties are preserved. Additionally, we show that the proposed approach makes it difficult for an eavesdropper to reconstruct the watermarking parameters, both in terms of the associated computational complexity and from a systems theoretic perspective.

eess.SY↗

An Economic Model Predictive Control Approach for Load Mitigation on Multiple Tower Locations of Wind Turbines

The current trend in the evolution of wind turbines is to increase their rotor size in order to capture more power. This leads to taller, slender and more flexible towers, which thus experience higher dynamical loads due to the turbine rotation and environmental factors. It is hence compelling to deploy advanced control methods that can dynamically counteract such loads, especially at tower positions that are more prone to develop cracks or corrosion damages. Still, to the best of the authors' knowledge, little to no attention has been paid in the literature to load mitigation at multiple tower locations. Furthermore, there is a need for control schemes that can balance load reduction with optimization of power production. In this paper, we develop an Economic Model Predictive Control (eMPC) framework to address such needs. First, we develop a linear modal model to account for the tower flexural dynamics. Then we incorporate it into an eMPC framework, where the dynamics of the turbine rotation are expressed in energy terms. This allows us to obtain a convex formulation, that is computationally attractive. Our control law is designed to avoid the 'turn-pike' behavior and guarantee recursive feasibility. We demonstrate the performance of the proposed controller on a 5MW reference WT model: the results illustrate that the proposed controller is able to reduce the tower loads at multiple locations, without significant effects to the generated power.

eess.SY↗

Hierarchical Cyber-Attack Detection in Large-Scale Interconnected Systems

In this paper we present a hierarchical scheme to detect cyber-attacks in a hierarchical control architecture for large-scale interconnected systems (LSS). We consider the LSS as a network of physically coupled subsystems, equipped with a two-layer controller: on the local level, decentralized controllers guarantee overall stability and reference tracking; on the supervisory level, a centralized coordinator sets references for the local regulators. We present a scheme to detect attacks that occur at the local level, with malicious agents capable of affecting the local control. The detection scheme is computed at the supervisory level, requiring only limited exchange of data and model knowledge. We offer detailed theoretical analysis of the proposed scheme, highlighting its detection properties in terms of robustness, detectability and stealthiness conditions.

eess.SY↗

A Fully Homomorphic Encryption Scheme for Real-Time Safe Control

Fully Homomorphic Encryption (FHE) has made it possible to perform addition and multiplication operations on encrypted data. Using FHE in control thus has the advantage that control effort for a plant can be calculated remotely without ever decrypting the exchanged information. FHE in its current form is however not practically applicable for real-time control as its computational load is very high compared to traditional encryption methods. In this paper a reformulation of the Gentry FHE scheme is proposed and applied on an FPGA to solve this problem. It is shown that the resulting FHE scheme can be implemented for real-time stabilization of an inverted double pendulum using discrete time control.

eess.SY↗

Beta Residuals: Improving Fault-Tolerant Control for Sensory Faults via Bayesian Inference and Precision Learning

Model-based fault-tolerant control (FTC) often consists of two distinct steps: fault detection & isolation (FDI), and fault accommodation. In this work we investigate posing fault-tolerant control as a single Bayesian inference problem. Previous work showed that precision learning allows for stochastic FTC without an explicit fault detection step. While this leads to implicit fault recovery, information on sensor faults is not provided, which may be essential for triggering other impact-mitigation actions. In this paper, we introduce a precision-learning based Bayesian FTC approach and a novel beta residual for fault detection. Simulation results are presented, supporting the use of beta residual against competing approaches.

eess.SY↗

Cryptographic switching functions for multiplicative watermarking in cyber-physical systems

In this paper we present a novel switching function for multiplicative watermarking systems. The switching function is based on the algebraic structure of elliptic curves over finite fields. The resulting function allows for both watermarking generator and remover to define appropriate system parameters, sharing only limited information, namely a private key. Given the definition of the switching function, we prove that the resulting watermarking parameters lead to a stable watermarking scheme.

cs.CR↗

The Proportional Integral Notch and Coleman Blade Effective Wind Speed Estimators and Their Similarities

The estimation of the rotor effective wind speed is used in modern wind turbines to provide advanced power and load control capabilities. However, with the ever increasing rotor sizes, the wind field over the rotor surface shows a higher degree of spatial variation. A single effective wind speed estimation therefore limits the attainable levels of load mitigation, and the estimation of the Blade Effective Wind Speed (BEWS) might present opportunities for improved load control. This letter introduces two novel BEWS estimator approaches: A Proportional Integral Notch (PIN) estimator based on individual blade load measurements, and a Coleman estimator targeting the estimation in the non-rotating frame. Given the seeming disparities between these two estimators, the objective of this letter is to analyze the similarities between the approaches. It is shown that the PIN estimator, which is equivalent to the diagonal form of the Coleman estimator, is a simple but effective method to estimate the BEWS. The Coleman estimator, which takes the coupling effects between individual blades into account, shows a more well behaved transient response than the PIN estimator.

eess.SY↗

Design of multiplicative watermarking against covert attacks

This paper addresses the design of an active cyberattack detection architecture based on multiplicative watermarking, allowing for detection of covert attacks. We propose an optimal design problem, relying on the so-called output-to-output l2-gain, which characterizes the maximum gain between the residual output of a detection scheme and some performance output. Although optimal, this control problem is non-convex. Hence, we propose an algorithm to design the watermarking filters by solving the problem suboptimally via LMIs. We show that, against covert attacks, the output-to-output l2-gain is unbounded without watermarking, and we provide a sufficient condition for boundedness in the presence of watermarks.

cs.CR↗

The Immersion and Invariance Wind Speed Estimator Revisited and New Results

The Immersion and Invariance (I&I) wind speed estimator is a powerful and widely-used technique to estimate the rotor effective wind speed on horizontal axis wind turbines. Anyway, its global convergence proof is rather cumbersome, which hinders the extension of the method and proof to time-delayed and/or uncertain systems. In this letter, we illustrate that the circle criterion can be used as an alternative method to prove the global convergence of the I\&I estimator. This also opens up the inclusion of time-delays and uncertainties. First, we demonstrate that the I&I wind speed estimator is equivalent to a torque balance estimator with a proportional correction term. As the nonlinearity in the estimator is sector bounded, the well-known circle criterion is applied to the estimator to guarantee its global convergence for time-delayed systems. By looking at the theoretical framework from this new perspective, this letter further proposes the addition of an integrator to the correction term to improve the estimator performance. Case studies show that the proposed estimator with an additional integral correction term is effective at wind speed estimation. Furthermore, its global convergence can be guaranteed by the circle criterion for time-delayed systems.

eess.SY↗

Periodic Load Rejection for Floating Offshore Wind Turbines via Constrained Subspace Predictive Repetitive Control

Individual Pitch Control (IPC) is an effective control strategy to mitigate the blade loads on large-scale wind turbines. Since IPC usually requires high pitch actuation, the safety constraints of the pitch actuator should be taken into account when designing the controller. This paper introduces a constrained Subspace Predictive Repetitive Control (SPRC) approach, which considers the limitation of blade pitch angle and pitch rate. To fulfill this goal, a model predictive control scheme is implemented in the fully data-driven SPRC approach to incorporate the physical limitations of the pitch actuator in the control problem formulation. An optimal control law subjected to constraints is then formulated so that future constraint violations are anticipated and prevented. Case studies show that the developed constrained SPRC reduces the pitch activities necessary to mitigate the blade loads when experiencing wind turbulence and abrupt wind gusts. More importantly, the approach allows the wind farm operator to design conservative bounds for the pitch actuator constraints that satisfies safety limitations, design specifications and physical restrictions. This will help to alleviate the cyclic fatigue loads on the actuators, increase the structural reliability and extend the lifespan of the pitch control system.

eess.SY↗