Showing 1–11 of 11 results for author: Blanchini, F

Characterization of Invariance, Periodic Solutions and Optimization of Dynamic Financial Networks

Authors: Leonardo Stella, Dario Bauso, Franco Blanchini, Patrizio Colaneri

Abstract: Cascading failures, such as bankruptcies and defaults, pose a serious threat for the resilience of the global financial system. Indeed, because of the complex investment and cross-holding relations within the system, failures can occur as a result of the propagation of a financial collapse from one organization to another. While this problem has been studied in depth from a static angle, namely, w… ▽ More Cascading failures, such as bankruptcies and defaults, pose a serious threat for the resilience of the global financial system. Indeed, because of the complex investment and cross-holding relations within the system, failures can occur as a result of the propagation of a financial collapse from one organization to another. While this problem has been studied in depth from a static angle, namely, when the system is at an equilibrium, we take a different perspective and study the corresponding dynamical system. The contribution of this paper is threefold. First, we carry out a systematic analysis of the regions of attraction and invariance of the system orthants, defined by the positive and negative values of the organizations' equity. Second, we investigate periodic solutions and show through a counterexample that there could exist periodic solutions of period greater than 2. Finally, we study the problem of finding the smallest cash injection that would bring the system to the maximal invariant region of the positive orthant. △ Less

Submitted 21 January, 2025; originally announced January 2025.

Reducing real-time complexity via sub-control Lyapunov functions: from theory to experiments

Authors: Huu-Thinh Do, Franco Blanchini, Stefano Miani, Ionela Prodan

Abstract: The techniques to design control Lyapunov functions (CLF), along with a proper stabilizing feedback, possibly in the presence of constraints, often provide control laws that are too complex for proper implementation online, especially when an optimization problem is involved. In this work, we show how to acquire an alternative, computationally attractive feedback. Given a nominal CLF and a nominal… ▽ More The techniques to design control Lyapunov functions (CLF), along with a proper stabilizing feedback, possibly in the presence of constraints, often provide control laws that are too complex for proper implementation online, especially when an optimization problem is involved. In this work, we show how to acquire an alternative, computationally attractive feedback. Given a nominal CLF and a nominal state feedback, we say that a different positive definite function is a Sub-control Lyapunov function (SCLF) if its Lyapunov derivative is negative-definite and bounded above by the Lyapunov derivative of the nominal function with the nominal control. It turns out that if we consider a family of basis functions, then a SCLF can be computed by linear programming, with an infinite number of constraints. The idea is that although the offline computational burden to achieve the new controller and solve the linear program is considerable, the online computational burden is drastically reduced. Comprehensive simulations and experiments on drone control are conducted to demonstrate the effectiveness of the study. △ Less

Submitted 19 January, 2025; v1 submitted 15 January, 2025; originally announced January 2025.

Cascading Failures in the Global Financial System: A Dynamical Model

Authors: Leonardo Stella, Dario Bauso, Franco Blanchini, Patrizio Colaneri

Abstract: In this paper, we propose a dynamical model to capture cascading failures among interconnected organizations in the global financial system. Failures can take the form of bankruptcies, defaults, and other insolvencies. The network that underpins the financial interdependencies between different organizations constitutes the backbone of the financial system. A failure in one or more of these organi… ▽ More In this paper, we propose a dynamical model to capture cascading failures among interconnected organizations in the global financial system. Failures can take the form of bankruptcies, defaults, and other insolvencies. The network that underpins the financial interdependencies between different organizations constitutes the backbone of the financial system. A failure in one or more of these organizations can lead the propagation of the financial collapse onto other organizations in a domino effect. Paramount importance is therefore given to the mitigation of these failures. Motivated by the relevance of this problem and recent prominent events connected to it, we develop a framework that allows us to investigate under what conditions organizations remain healthy or are involved in the propagation of the failures in the network. The contribution of this paper is the following: i) we develop a dynamical model that describes the equity values of financial organizations and their evolution over time given an initial condition; ii) we characterize the equilibria for this model by proving the existence and uniqueness of these equilibria, and by providing an explicit expression for them; and iii) we provide a computational method via sign-space iteration to analyze the propagation of failures and the attractive equilibrium point. △ Less

Submitted 10 November, 2023; v1 submitted 7 July, 2023; originally announced July 2023.

An agent-based decentralized threshold policy finding the constrained shortest paths

Authors: Francesca Rosset, Raffaele Pesenti, Franco Blanchini

Abstract: We consider a problem where autonomous agents enter a dynamic and unknown environment described by a network of weighted arcs. These agents move within the network from node to node according to a decentralized policy using only local information, with the goal of finding a path to an unknown sink node to leave the network. This policy makes each agent move to some adjacent node or stop at the cur… ▽ More We consider a problem where autonomous agents enter a dynamic and unknown environment described by a network of weighted arcs. These agents move within the network from node to node according to a decentralized policy using only local information, with the goal of finding a path to an unknown sink node to leave the network. This policy makes each agent move to some adjacent node or stop at the current node. The transition along an arc is allowed or denied based on a threshold mechanism that takes into account the number of agents already accumulated in the arc's end nodes and the arc's weight. We show that this policy ensures path-length optimality in the sense that, in a finite time, all new agents entering the network reach the closer sinks by the shortest paths. Our approach is later extended to support constraints on the paths that agents can follow. △ Less

Submitted 12 June, 2023; originally announced June 2023.

Comments: This work has been submitted to the IEEE for possible publication

Structural polyhedral stability of a biochemical network is equivalent to finiteness of the associated generalised Petri net

Authors: Franco Blanchini, Carlos Andrés Devia, Giulia Giordano

Abstract: We consider biochemical systems associated with a generalised class of Petri nets with possibly negative token numbers. We show that the existence of a structural polyhedral Lyapunov function for the biochemical system is equivalent to the boundedness of the associated Petri net evolution or, equivalently, to the finiteness of the number of states reachable from each initial condition. For network… ▽ More We consider biochemical systems associated with a generalised class of Petri nets with possibly negative token numbers. We show that the existence of a structural polyhedral Lyapunov function for the biochemical system is equivalent to the boundedness of the associated Petri net evolution or, equivalently, to the finiteness of the number of states reachable from each initial condition. For networks that do not admit a polyhedral Lyapunov function, we investigate whether it is possible to enforce polyhedral structural stability by applying a strong negative feedback on some pinned nodes: in terms of the Petri net, this is equivalent to turning pinned nodes into black holes that clear any positive or negative incoming token. If such nodes are chosen so that the transformed Petri net has bounded discrete trajectories, then there exists a stabilising pinning control: the biochemical network becomes Lyapunov stable if a sufficiently strong local negative feedback is applied to the pinned nodes. These results allow us to structurally identify the critical nodes to be locally controlled so as to ensure the stability of the whole network. △ Less

Submitted 3 September, 2021; originally announced September 2021.

Vaccination and SARS-CoV-2 variants: how much containment is still needed? A quantitative assessment

Authors: Giulia Giordano, Marta Colaneri, Alessandro Di Filippo, Franco Blanchini, Paolo Bolzern, Giuseppe De Nicolao, Paolo Sacchi, Raffaele Bruno, Patrizio Colaneri

Abstract: Despite the progress in medical care, combined population-wide interventions (such as physical distancing, testing and contact tracing) are still crucial to manage the SARS-CoV-2 pandemic, aggravated by the emergence of new highly transmissible variants. We combine the compartmental SIDARTHE model, predicting the course of COVID-19 infections, with a new data-based model that projects new cases on… ▽ More Despite the progress in medical care, combined population-wide interventions (such as physical distancing, testing and contact tracing) are still crucial to manage the SARS-CoV-2 pandemic, aggravated by the emergence of new highly transmissible variants. We combine the compartmental SIDARTHE model, predicting the course of COVID-19 infections, with a new data-based model that projects new cases onto casualties and healthcare system costs. Based on the Italian case study, we outline several scenarios: mass vaccination campaigns with different paces, different transmission rates due to new variants, and different enforced countermeasures, including the alternation of opening and closure phases. Our results demonstrate that non-pharmaceutical interventions (NPIs) have a higher impact on the epidemic evolution than vaccination, which advocates for the need to keep containment measures in place throughout the vaccination campaign. We also show that, if intermittent open-close strategies are adopted, deaths and healthcare system costs can be drastically reduced, without any aggravation of socioeconomic losses, as long as one has the foresight to start with a closing phase rather than an opening one. △ Less

Submitted 17 February, 2021; originally announced February 2021.

Journal ref: Nature Medicine, 27, pages 993-998 (2021)

Lightning optimizes: a threshold mechanism ensures minimum-path flow

Authors: Franco Blanchini, Daniele Casagrande, Filippo Fabiani, Giulia Giordano, David Palma, Raffaele Pesenti

Abstract: A well-known property of linear resistive electrical networks is that the current distribution minimizes the total dissipated energy. When the circuit includes resistors with nonlinear monotonic characteristic, the current distribution minimizes in general a different functional. We show that, if the nonlinear characteristic is a threshold-like function and the energy generator is concentrated in… ▽ More A well-known property of linear resistive electrical networks is that the current distribution minimizes the total dissipated energy. When the circuit includes resistors with nonlinear monotonic characteristic, the current distribution minimizes in general a different functional. We show that, if the nonlinear characteristic is a threshold-like function and the energy generator is concentrated in a single point, as in the case of lightning or dielectric discharge, then the current flow is concentrated along a single path, which is a minimum path to the ground with respect to the threshold. We also propose a dynamic model that explains and qualitatively reproduces the lightning transient behaviour: initial generation of several plasma branches and subsequent dismissal of all branches but the one reaching the ground first, which is the optimal one. △ Less

Submitted 8 October, 2020; v1 submitted 17 July, 2020; originally announced July 2020.

A SIDARTHE Model of COVID-19 Epidemic in Italy

Authors: Giulia Giordano, Franco Blanchini, Raffaele Bruno, Patrizio Colaneri, Alessandro Di Filippo, Angela Di Matteo, Marta Colaneri, the COVID19 IRCCS San Matteo Pavia Task Force

Abstract: In late December 2019, a novel strand of Coronavirus (SARS-CoV-2) causing a severe, potentially fatal respiratory syndrome (COVID-19) was identified in Wuhan, Hubei Province, China and is causing outbreaks in multiple world countries, soon becoming a pandemic. Italy has now become the most hit country outside of Asia: on March 16, 2020, the Italian Civil Protection documented a total of 27980 conf… ▽ More In late December 2019, a novel strand of Coronavirus (SARS-CoV-2) causing a severe, potentially fatal respiratory syndrome (COVID-19) was identified in Wuhan, Hubei Province, China and is causing outbreaks in multiple world countries, soon becoming a pandemic. Italy has now become the most hit country outside of Asia: on March 16, 2020, the Italian Civil Protection documented a total of 27980 confirmed cases and 2158 deaths of people tested positive for SARS-CoV-2. In the context of an emerging infectious disease outbreak, it is of paramount importance to predict the trend of the epidemic in order to plan an effective control strategy and to determine its impact. This paper proposes a new epidemic model that discriminates between infected individuals depending on whether they have been diagnosed and on the severity of their symptoms. The distinction between diagnosed and non-diagnosed is important because non-diagnosed individuals are more likely to spread the infection than diagnosed ones, since the latter are typically isolated, and can explain misperceptions of the case fatality rate and of the seriousness of the epidemic phenomenon. Being able to predict the amount of patients that will develop life-threatening symptoms is important since the disease frequently requires hospitalisation (and even Intensive Care Unit admission) and challenges the healthcare system capacity. We show how the basic reproduction number can be redefined in the new framework, thus capturing the potential for epidemic containment. Simulation results are compared with real data on the COVID-19 epidemic in Italy, to show the validity of the model and compare different possible predicted scenarios depending on the adopted countermeasures. △ Less

Submitted 22 March, 2020; originally announced March 2020.

Journal ref: Nature Medicine, 26, pages 855-860 (2020)

Convergence in uncertain linear systems

Authors: Filippo Fabiani, Giuseppe Belgioioso, Franco Blanchini, Patrizio Colaneri, Sergio Grammatico

Abstract: State convergence is essential in several scientific areas, e.g. multi-agent consensus/disagreement, distributed optimization, monotone game theory, multi-agent learning over time-varying networks. This paper is the first on state convergence in both continuous- and discrete-time linear systems affected by polytopic uncertainty. First, we characterize state convergence in linear time invariant sys… ▽ More State convergence is essential in several scientific areas, e.g. multi-agent consensus/disagreement, distributed optimization, monotone game theory, multi-agent learning over time-varying networks. This paper is the first on state convergence in both continuous- and discrete-time linear systems affected by polytopic uncertainty. First, we characterize state convergence in linear time invariant systems via equivalent necessary and sufficient conditions. In the presence of uncertainty, we complement the canonical definition of (weak) convergence with a stronger notion of convergence, which requires the existence of a common kernel among the generator matrices of the difference/differential inclusion (strong convergence). We investigate under which conditions the two definitions are equivalent. Then, we characterize weak and strong convergence by means of Lyapunov and LaSalle arguments, (linear) matrix inequalities and separability of the eigenvalues of the generator matrices. We also show that, unlike asymptotic stability, state convergence lacks of duality. △ Less

Submitted 1 October, 2019; v1 submitted 26 February, 2019; originally announced February 2019.

On merging constraint and optimal control-Lyapunov functions

Authors: Franco Blanchini, Filippo Fabiani, Sergio Grammatico

Abstract: Merging two Control Lyapunov Functions (CLFs) means creating a single "new-born" CLF by starting from two parents functions. Specifically, given a "father" function, shaped by the state constraints, and a "mother" function, designed with some optimality criterion, the merging CLF should be similar to the father close to the constraints and similar to the mother close to the origin. To successfully… ▽ More Merging two Control Lyapunov Functions (CLFs) means creating a single "new-born" CLF by starting from two parents functions. Specifically, given a "father" function, shaped by the state constraints, and a "mother" function, designed with some optimality criterion, the merging CLF should be similar to the father close to the constraints and similar to the mother close to the origin. To successfully merge two CLFs, the control-sharing condition is crucial: the two functions must have a common control law that makes both Lyapunov derivatives simultaneously negative. Unfortunately, it is difficult to guarantee this property a-priori, i.e., while computing the two parents functions. In this paper, we propose a technique to create a constraint-shaped "father" function that has the control-sharing property with the "mother" function. To this end, we introduce a partial control-sharing, namely, the control-sharing only in the regions where the constraints are active. We show that imposing partial control-sharing is a convex optimization problem. Finally, we show how to apply the partial control-sharing for merging constraint-shaped functions and the Riccati-optimal functions, thus generating a CLF with bounded complexity that solves the constrained linear-quadratic stabilization problem with local optimality. △ Less

Submitted 28 March, 2018; originally announced March 2018.

On the convergence of discrete-time linear systems: A linear time-varying Mann iteration converges iff the operator is strictly pseudocontractive

Authors: Giuseppe Belgioioso, Filippo Fabiani, Franco Blanchini, Sergio Grammatico

Abstract: We adopt an operator-theoretic perspective to study convergence of linear fixed-point iterations and discrete- time linear systems. We mainly focus on the so-called Krasnoselskij-Mann iteration x(k+1) = ( 1 - α(k) ) x(k) + α(k) A x(k), which is relevant for distributed computation in optimization and game theory, when A is not available in a centralized way. We show that convergence to a vector in… ▽ More We adopt an operator-theoretic perspective to study convergence of linear fixed-point iterations and discrete- time linear systems. We mainly focus on the so-called Krasnoselskij-Mann iteration x(k+1) = ( 1 - α(k) ) x(k) + α(k) A x(k), which is relevant for distributed computation in optimization and game theory, when A is not available in a centralized way. We show that convergence to a vector in the kernel of (I-A) is equivalent to strict pseudocontractiveness of the linear operator x -> Ax. We also characterize some relevant operator-theoretic properties of linear operators via eigenvalue location and linear matrix inequalities. We apply the convergence conditions to multi-agent linear systems with vanishing step sizes, in particular, to linear consensus dynamics and equilibrium seeking in monotone linear-quadratic games. △ Less

Submitted 28 March, 2018; originally announced March 2018.