Showing 1–15 of 15 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.

Enhancements on a saturated control for stabilizing a quadcopter: adaptive and robustness analysis in the flat output space

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

Abstract: This paper extends our previous study on an explicit saturated control for a quadcopter, which ensures both constraint satisfaction and stability thanks to the linear representation of the system in the flat output space. The novelty here resides in the adaptivity of the controller's gain to enhance the system's performance without exciting its parasitic dynamics and avoid lavishing the input actu… ▽ More This paper extends our previous study on an explicit saturated control for a quadcopter, which ensures both constraint satisfaction and stability thanks to the linear representation of the system in the flat output space. The novelty here resides in the adaptivity of the controller's gain to enhance the system's performance without exciting its parasitic dynamics and avoid lavishing the input actuation with excessively high gain parameters. Moreover, we provide a thorough robustness analysis of the proposed controller when additive disturbances are affecting the system behavior. Finally, simulation and experimental tests validate the proposed controller. △ Less

Submitted 6 October, 2023; v1 submitted 29 August, 2023; originally announced August 2023.

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

A flatness-based saturated controller design for a quadcopter with experimental validation

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

Abstract: Using the properties of differential flatness, a controllable system, such as a quadcoper model, may be transformed into a linear equivalent system via a coordinate change and an input mapping. This is a straightforward advantage for the quadcopter's controller design and its real-time implementation. However, one significant hindrance is that, while the dynamics become linear in the new coordinat… ▽ More Using the properties of differential flatness, a controllable system, such as a quadcoper model, may be transformed into a linear equivalent system via a coordinate change and an input mapping. This is a straightforward advantage for the quadcopter's controller design and its real-time implementation. However, one significant hindrance is that, while the dynamics become linear in the new coordinates (the flat output space), the input constraints become convoluted. This paper addresses an explicit pre-stabilization based control scheme which handles the input constraints for the quadcopter in the flat output space with a saturation component. The system's stability is shown to hold by Lyapunov-stability arguments. Moreover, the practical viability of the proposed method is validated both in simulation and experiments over a nano-drone platform. Hence, the flatness-based saturated controller not only ensures stability and constraints satisfaction, but also requires very low computational effort, allowing for embedded implementations. △ Less

Submitted 31 March, 2023; originally announced March 2023.

Robust microphase separation through chemical reaction networks

Authors: Franco Blanchini, Elisa Franco, Giulia Giordano, Dino Osmanovic

Abstract: The interaction of phase-separating systems with chemical reactions is of great interest in various contexts, from biology to material science. In biology, phase separation is thought to be the driving force behind the formation of biomolecular condensates, i.e. organelles without a membrane that are associated with cellular metabolism, stress response, and development. RNA, proteins, and small mo… ▽ More The interaction of phase-separating systems with chemical reactions is of great interest in various contexts, from biology to material science. In biology, phase separation is thought to be the driving force behind the formation of biomolecular condensates, i.e. organelles without a membrane that are associated with cellular metabolism, stress response, and development. RNA, proteins, and small molecules participating in the formation of condensates are also involved in a variety of biochemical reactions: how do the chemical reaction dynamics influence the process of phase separation? Here we are interested in finding chemical reactions that can arrest the growth of condensates, generating stable spatial patterns of finite size (microphase separation), in contrast with the otherwise spontaneous (unstable) growth of condensates. We consider a classical continuum model for phase separation coupled to a chemical reaction network (CRN), and we seek conditions for the emergence of stable oscillations of the solution in space. Given reaction dynamics with uncertain rate constants, but known structure, we derive easily computable conditions to assess whether microphase separation is impossible, possible for some parameter values, or robustly guaranteed for all parameter values within given bounds. Our results establish a framework to evaluate which classes of CRNs favor the emergence of condensates with finite size, a question that is broadly relevant to understanding and engineering life. △ Less

Submitted 21 March, 2023; originally announced March 2023.

Comments: 6 pages, 2 figures

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.

Preemptive periodic epidemic control reduces life and healthcare system costs without aggravation of social and economic losses

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

Abstract: Many countries are managing COVID-19 epidemic by switching between lighter and heavier restrictions. While an open-close and a close-open cycle have comparable socio-economic costs, the former leads to a much heavier burden in terms of deaths and pressure on the healthcare system. An empirical demonstration of the toll ensuing from procrastination was recently observed in Israel, where both cycles… ▽ More Many countries are managing COVID-19 epidemic by switching between lighter and heavier restrictions. While an open-close and a close-open cycle have comparable socio-economic costs, the former leads to a much heavier burden in terms of deaths and pressure on the healthcare system. An empirical demonstration of the toll ensuing from procrastination was recently observed in Israel, where both cycles were enforced from late August to mid-December 2020, yielding some 1,600 deaths with open-close compared to 440 with close-open. △ Less

Submitted 6 April, 2021; originally announced April 2021.

Comments: 14 pages, 5 figures

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.