arXiv subjects

Davide M. Raimondo

Publications and source records attributed to Davide M. Raimondo.

11 recordsLinked to original sources

arXiv2026

Data-Driven Reachability Analysis with Optimal Input Design

This paper addresses the conservatism in data-driven reachability analysis for discrete-time linear systems subject to bounded process noise, where the system matrices are unknown and only input--state trajectory data are available. Building on the constrained matrix zonotope (CMZ) framework, two complementary strategies are proposed to reduce conservatism in reachable-set over-approximations. First, the standard Moore--Penrose pseudoinverse is replaced with a row-norm-minimizing right inverse computed via a second-order cone program (SOCP), which directly reduces the size of the resulting model set, yielding tighter generators and less conservative reachable sets. Second, an online A-optimal input design strategy is introduced to improve the informativeness of the collected data and the conditioning of the resulting model set, thereby reducing uncertainty. The proposed framework extends naturally to piecewise affine systems through mode-dependent data partitioning. Numerical results on a five-dimensional stable LTI system and a two-dimensional piecewise affine system demonstrate that combining designed inputs with the row-norm right inverse significantly reduces conservatism compared to a baseline using random inputs and the pseudoinverse, leading to tighter reachable sets for safety verification.

eess.SY↗

arXiv2026

Data-Driven Reachability Analysis for Piecewise Affine Systems

Hybrid systems play a crucial role in modeling real-world applications where discrete and continuous dynamics interact, including autonomous vehicles, power systems, and traffic networks. Safety verification for these systems requires determining whether system states can enter unsafe regions under given initial conditions and uncertainties, a question directly addressed by reachability analysis. However, hybrid systems present unique difficulties because their state space is divided into multiple regions with distinct dynamic models, causing traditional data-driven methods to produce inadequate over-approximations of reachable sets at region boundaries where dynamics change abruptly. This paper introduces a novel approach using hybrid zonotopes for data-driven reachability analysis of piecewise affine systems. Our method addresses the boundary transition problem by developing computational algorithms that calculate the family of set models guaranteed to contain the true system trajectories. Additionally, we extend and evaluate three methods for set-based estimation that account for input-output data with measurement noise.

eess.SY↗

arXiv2025

Line zonotopes: A tool for state estimation and fault diagnosis of unbounded and descriptor systems

This paper proposes new methods for set-based state estimation and active fault diagnosis (AFD) of linear descriptor systems (LDS). Unlike intervals, ellipsoids, and zonotopes, constrained zonotopes (CZs) can directly incorporate linear static constraints on state variables - typical of descriptor systems - into their mathematical representation, leading to less conservative enclosures. However, for LDS that are unstable or not fully observable, a bounded representation cannot ensure a valid enclosure of the states over time. To address this limitation, we introduce line zonotopes, a new representation for unbounded sets that retains key properties of CZs, including polynomial time complexity reduction methods, while enabling the description of strips, hyperplanes, and the entire n-dimensional Euclidean space. This extension not only generalizes the use of CZs to unbounded settings but can also enhance set-based estimation and AFD in both stable and unstable scenarios. Additionally, we extend the AFD method for LDS from Rego et al. (2020) to operate over reachable tubes rather than solely on the reachable set at the final time of the considered horizon. This reduces conservatism in input separation and enables more accurate fault diagnosis based on the entire output sequence. The advantages of the proposed methods over existing CZ-based approaches are demonstrated through numerical examples.

eess.SY↗

arXiv2025

ZETA: a library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems

This paper introduces ZETA, a new MATLAB library for Zonotope-based EsTimation and fAult diagnosis of discrete-time systems. It features user-friendly implementations of set representations based on zonotopes, namely zonotopes, constrained zonotopes, and line zonotopes, in addition to a basic implementation of interval arithmetic. This library has capabilities starting from the basic set operations with these sets, including propagations through nonlinear functions using various approximation methods. The features of ZETA allow for reachability analysis and state estimation of discrete-time linear, nonlinear, and descriptor systems, in addition to active fault diagnosis of linear systems. Efficient order reduction methods are also implemented for the respective set representations. Some examples are presented in order to illustrate the functionalities of the new library.

eess.SY↗

arXiv2025

Analyzing cell-to-cell heterogeneities and cell configurations in parallel-connected battery modules using physics-based modeling

In parallel-connected cells, cell-to-cell (CtC) heterogeneities can lead to current and thermal gradients that may adversely impact the battery performance and aging. Sources of CtC heterogeneity include manufacturing process tolerances, poor module configurations, and inadequate thermal management. Understanding which CtC heterogeneity sources most significantly impact battery performance is crucial, as it can provide valuable insights. In this study, we use an experimentally validated electrochemical battery model to simulate hundreds of battery configurations, each consisting of four cells in parallel. We conduct a statistical analysis to evaluate the relative importance of key cell-level parameters, interconnection resistance, cell spacing, and location on performance and aging. The analysis reveals that heterogeneities in electrode active material volume fractions primarily impact module capacity, energy, and cell current, leading to substantial thermal gradients. However, to fully capture the output behavior, interconnection resistance, state of charge gradients and the effect of the temperature on parameter values must also be considered. Additionally, module design configurations, particularly cell location, exacerbate thermal gradients, accelerating long-term module degradation. This study also offers insights into optimizing cell arrangement during module design to reduce thermal gradients and enhance overall battery performance and longevity. Simulation results with four cells indicate a reduction of 51.8% in thermal gradients, leading to a 5.2% decrease in long-term energy loss.

eess.SY↗

arXiv2022

Set-based state estimation for discrete-time constrained nonlinear systems: an approach based on constrained zonotopes and DC programming

This paper proposes a new state estimator for discrete-time nonlinear dynamical systems with unknown-but-bounded uncertainties and state linear inequality and nonlinear equality constraints. Our algorithm is based on constrained zonotopes (CZs) and on a DC programming approach (DC stands for difference of convex functions). Recently, mean value extension and first-order Taylor extension have been adapted from zonotopes to propagate CZs over nonlinear mappings. Although the resulting algorithms (called CZMV and CZFO) reach better precision than the original zonotopic versions, they carry the sensitivity to the wrapping and dependency effects inherited from interval arithmetic. These interval issues can be mitigated with DC programming since the approximation error bounds are obtained solving optimization problems. A direct benefit of this technique is the elimination of the dependency effect. Our set-membership filter (called CZDC) offers an alternative solution to CZMV and CZFO. In order to demonstrate the effectiveness of the proposed approach, CZDC is experimented over two numerical examples.

math.OC↗

arXiv2022

Joint state and parameter estimation based on constrained zonotopes

This note presents a new method for set-based joint state and parameter estimation of discrete-time systems using constrained zonotopes. This is done by extending previous set-based state estimation methods to include parameter identification in a unified framework. Unlike in interval-based methods, the existing dependencies between states and model parameters are maintained from one time step to the next, thus providing a more accurate estimation scheme. In addition, the enclosure of states and parameters is refined using measurements through generalized intersections, which are properly captured by constrained zonotopes. The advantages of the new approach are highlighted in two numerical examples.

eess.SY↗

arXiv2020

Set-based state estimation and fault diagnosis of linear discrete-time descriptor systems using constrained zonotopes

This paper presents new methods for set-valued state estimation and active fault diagnosis of linear descriptor systems. The algorithms are based on constrained zonotopes, a generalization of zonotopes capable of describing strongly asymmetric convex sets, while retaining the computational advantages of zonotopes. Additionally, unlike other set representations like intervals, zonotopes, ellipsoids, paralletopes, among others, linear static constraints on the state variables, typical of descriptor systems, can be directly incorporated in the mathematical description of constrained zonotopes. Therefore, the proposed methods lead to more accurate results in state estimation in comparison to existing methods based on the previous sets without requiring rank assumptions on the structure of the descriptor system and with a fair trade-off between accuracy and efficiency. These advantages are highlighted in two numerical examples.

eess.SY↗

arXiv2019

Optimal design of experiments for a lithium-ion cell: parameters identification of an isothermal single particle model with electrolyte dynamics

Advanced battery management systems rely on mathematical models to guarantee optimal functioning of Lithium-ion batteries. The Pseudo-Two Dimensional (P2D) model is a very detailed electrochemical model suitable for simulations. On the other side, its complexity prevents its usage in control and state estimation. Therefore, it is more appropriate the use of simplified electrochemical models such as the Single Particle Model with electrolyte dynamics (SPMe), which exhibits good adherence to real data when suitably calibrated. This work focuses on a Fisher-based optimal experimental design for identifying the SPMe parameters. The proposed approach relies on a nonlinear optimization to minimize the covariance parameters matrix. At first, the parameters are estimated by considering the SPMe as the real plant. Subsequently, a more realistic scenario is considered where the P2D model is used to reproduce a real battery behavior. Results show the effectiveness of the optimal experimental design when compared to standard strategies.

eess.SY↗

arXiv2019

Optimal Charging of an Electric Vehicle Battery Pack: A Real-Time Sensitivity-Based MPC approach

Lithium-ion battery packs are usually composed of hundreds of cells arranged in series and parallel connections. The proper functioning of these complex devices requires suitable Battery Management Systems (BMSs). Advanced BMSs rely on mathematical models to assure safety and high performance. While many approaches have been proposed for the management of single cells, the control of multiple cells has been less investigated and usually relies on simplified models such as equivalent circuit models. This paper addresses the management of a battery pack in which each cell is explicitly modelled as the Single Particle Model with electrolyte and thermal dynamics. A nonlinear Model Predictive Control (MPC) is presented for optimally charging the battery pack while taking voltage and temperature limits on each cell into account. Since the computational cost of nonlinear MPC grows significantly with the complexity of the underlying model, a sensitivity-based MPC (sMPC) is proposed, in which the model adopted is obtained by linearizing the dynamics along a nominal trajectory that is updated over time. The resulting sMPC optimizations are quadratic programs which can be solved in real-time even for large battery packs (e.g. fully electric motorbike with 156 cells) while achieving the same performance of the nonlinear MPC.

eess.SY↗

arXiv2019

Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems

This paper presents new methods for set-valued state estimation of nonlinear discrete-time systems with unknown-but-bounded uncertainties. A single time step involves propagating an enclosure of the system states through the nonlinear dynamics (prediction), and then enclosing the intersection of this set with a bounded-error measurement (update). When these enclosures are represented by simple sets such as intervals, ellipsoids, parallelotopes, and zonotopes, certain set operations can be very conservative. Yet, using general convex polytopes is much more computationally demanding. To address this, this paper presents two new methods, a mean value extension and a first-order Taylor extension, for efficiently propagating constrained zonotopes through nonlinear mappings. These extend existing methods for zonotopes in a consistent way. Examples show that these extensions yield tighter prediction enclosures than zonotopic estimation methods, while largely retaining the computational benefits of zonotopes. Moreover, they enable tighter update enclosures because constrained zonotopes can represent intersections much more accurately than zonotopes.

math.OC↗