arXiv subjects

Michelangelo Bin

Publications and source records attributed to Michelangelo Bin.

At least 19 recordsLinked to original sources

arXiv2026

A state-space characterization of reliability in FitzHugh-Nagumo neurons and networks via contraction analysis

A new contraction-theoretic state-space characterization of neuronal reliability is developed for FitzHugh-Nagumo models. It is shown that the state space of a neuron can be partitioned into two contraction regions separated by an expansion region where trajectory expansion may occur. The unforced resting equilibrium lies in a contraction region, and each full spike drives the state to the other contraction region and then back to the first. In-between, the state crosses the expansion region. Over any given interval, reliability is characterized as an average contraction property given by the balance of the contraction and expansion accumulated along the trajectories. An exact integral characterization of this balance and a simpler sufficient dwell-time condition are derived. The framework is then extended to networks of FitzHugh-Nagumo systems with an arbitrary affine voltage-coupling topology. A network of $n$ neurons is shown to possess $2^n$ contraction regions, separated by an expansion region, and network reliability is again characterized in terms of average contraction. A proof-of-concept excitatory-inhibitory network example is used to illustrate a connection between this characterization of reliability and regulation in neuronal networks. The network uses an internal model of a class of inputs to create a homeostatic regime where the network output is insensitive to the specific input within that class. Reliability is then seen as providing the asymptotic convergence properties necessary to make such a target regime attractive. Simulations of multi-stage cascade compositions of this elementary homeostatic motif illustrate how regulation can support oscillatory-signal propagation without phase-lag accumulation.

eess.SY↗

arXiv2026

On the behavior assignment problem

This paper introduces the asymptotic behavior assignment problem for nonlinear systems. Given a controlled system and a reference system with an ``open'' input, the goal is to design a regulator such that, for every admissible input, the asymptotic input-output behavior of the closed-loop system reproduces that of the reference. This formulation captures, as special cases, classical model matching, disturbance rejection, and master-slave synchronization, but does not assume that an explicit tracking or regulation error is available for feedback. Motivated by nonlinear output regulation, we discuss how steady-state concepts for autonomous systems must be adapted when the closed-loop dynamics is not autonomous. In a SISO normal-form setting we devise sufficient conditions for the solution of the behavior assignment problem by introducing a synchrony-detection signal whose convergence to zero is equivalent to successful behavior assignment, thereby reducing the problem to a standard stabilization one. Two examples, a tunnel-diode circuit with multiple input-dependent equilibria, and a pendulum frequency-matching problem, illustrate how the proposed framework avoids artificially selecting a specific steady state.

eess.SY↗

arXiv2026

Physics-Informed Neural Networks for Nonlinear Output Regulation

This work addresses the full-information output regulation problem for nonlinear systems, assuming the states of both the plant and the exosystem are known. In this setting, perfect tracking or rejection is achieved by constructing a zero-regulation-error manifold $π(w)$ and a feedforward input $c(w)$ that render such manifold invariant. The pair $(π(w), c(w))$ is characterized by the regulator equations, i.e., a system of PDEs with an algebraic constraint. We focus on accurately solving the regulator equations introducing a physics-informed neural network (PINN) approach that directly approximates $π(w)$ and $c(w)$ by minimizing the residuals under boundary and feasibility conditions, without requiring precomputed trajectories or labeled data. The learned operator maps exosystem states to steady state plant states and inputs, enables real-time inference and, critically, generalizes across families of the exosystem with varying initial conditions and parameters. The framework is validated on a regulation task that synchronizes a helicopter's vertical dynamics with a harmonically oscillating platform. The resulting PINN-based solver reconstructs the zero-error manifold with high fidelity and sustains regulation performance under exosystem variations, highlighting the potential of learning-enabled solvers for nonlinear output regulation. The proposed approach is broadly applicable to nonlinear systems that admit a solution to the output regulation problem.

eess.SY↗

arXiv2026

On the Contraction of Excitable Systems

We study the contraction of Hodgkin-Huxley model and its role in the reliability of spike timings. Without input, the model is contractive in the region of physiological interest. With impulsive synaptic inputs, contraction is retained provided that the input events are sparse enough. Contraction is lost when the input firing rate is too high. Spike timings are shown to be reliable in the contracting regime.

eess.SY↗

arXiv2025

On an Abstraction of Lyapunov and Lagrange Stability

This paper studies a set-theoretic generalization of Lyapunov and Lagrange stability for abstract systems described by set-valued maps. Lyapunov stability is characterized as the property of inversely mapping filters to filters, Lagrange stability as that of mapping ideals to ideals. These abstract definitions unveil a deep duality between the two stability notions, enable a definition of global stability for abstract systems, and yield an agile generalization of the stability theorems for basic series, parallel, and feedback interconnections, including a small-gain theorem. Moreover, it is shown that Lagrange stability is abstractly identical to other properties of interest in control theory, such as safety and positivity, whose preservation under interconnections can be thus studied owing to the developed stability results.

eess.SY↗

arXiv2025

Event disturbance rejection: a case study

This article introduces the problem of robust event disturbance rejection. Inspired by the design principle of linear output regulation, a control structure based on excitable systems is proposed. Unlike the linear case, contraction of the closed-loop system must be enforced through specific input signals. This induced contraction enables a steady-state analysis similar to the linear case. Thanks to the excitable nature of the systems, the focus shifts from precise trajectory tracking to the regulation of discrete events, such as spikes. The study emphasizes rejecting events rather than trajectories and demonstrates the robustness of the approach, even under mismatches between the controller and the exosystem. This work is a first step towards developing a design principle for event regulation.

eess.SY↗

arXiv2025

Regulation without calibration

This article revisits the importance of the internal model principle in the literature of regulation and synchronization. Trajectory regulation, the task of regulating continuous-time signals generated by differential equations, is contrasted with event regulation, the task of only regulating discrete events associated with the trajectories. In trajectory regulation, the internal model principle requires an exact internal generator of the continuous-time trajectories, which translates into unrealistic calibration requirements. Event regulation is envisioned as a way to relieve calibration of the continuous behavior while ensuring reliability of the discrete events.

eess.SY↗

arXiv2025

Kernel-Based Learning of Stable Nonlinear Systems

Learning models of dynamical systems characterized by specific stability properties is of crucial importance in applications. Existing results mainly focus on linear systems or some limited classes of nonlinear systems and stability notions, and the general problem is still open. This article proposes a kernel-based nonlinear identification procedure to directly and systematically learn stable nonlinear discrete-time systems. In particular, the proposed method can be used to enforce, on the learned model, bounded-input-bounded-state stability, asymptotic gain, and input-to-state stability properties, as well as their incremental counterparts. To this aim, we build on the reproducing kernel theory and the Representer Theorem, which are suitably enhanced to handle stability constraints in the kernel properties and in the hyperparameters' selection algorithm. Once the methodology is detailed, and sufficient conditions for stability are singled out, the article reviews some widely used kernels and their applicability within the proposed framework. Finally, numerical results validate the theoretical findings showing, in particular, that stability may have a beneficial impact in long-term simulation with minimal impact on prediction.

eess.SY↗

arXiv2025

An exponentially stable discrete-time primal-dual algorithm for distributed constrained optimization

This paper studies a distributed algorithm for constrained consensus optimization that is obtained by fusing the Arrow-Hurwicz-Uzawa primal-dual gradient method for centralized constrained optimization and the Wang-Elia method for distributed unconstrained optimization. It is shown that the optimal primal-dual point is a semiglobally exponentially stable equilibrium for the algorithm, which implies linear convergence. The analysis is based on the separation between a slow centralized optimization dynamics describing the evolution of the average estimate toward the optimum, and a fast dynamics describing the evolution of the consensus error over the network. These two dynamics are mutually coupled, and the stability analysis builds on control theoretic tools such as time-scale separation, Lyapunov theory, and the small-gain principle. Our analysis approach highlights that the consensus dynamics can be seen as a fast, parasite one, and that stability of the distributed algorithm is obtained as a robustness consequence of the semiglobal exponential stability properties of the centralized method. This perspective can be used to enable other significant extensions, such as time-varying networks or delayed communication, that can be seen as ``perturbations" of the centralized algorithm.

math.OC↗

arXiv2022

Data-driven Output Regulation via Gaussian Processes and Luenberger Internal Models

This paper deals with the problem of adaptive output regulation for multivariable nonlinear systems by presenting a learning-based adaptive internal model-based design strategy. The approach builds on the recently proposed adaptive internal model design techniques based on the theory of nonlinear Luenberger observers, and the adaptation side is approached as a probabilistic regression problem. In particular, Gaussian process priors are employed to cope with the learning problem. Unlike the previous approaches in the field, here only coarse assumptions about the friend structure are required, making the proposed approach suitable for applications where the exosystem is highly uncertain. The paper presents performance bounds on the attained regulation error and numerical simulations showing how the proposed method outperforms previous approaches.

eess.SY↗

arXiv2022

Adaptive Nonlinear Regulation via Gaussian Process

The paper deals with the problem of output regulation of nonlinear systems by presenting a learning-based adaptive internal model-based design strategy. We borrow from the adaptive internal model design technique recently proposed in [1] and extend it by means of a Gaussian process regressor. The learning-based adaptation is performed by following an "event-triggered" logic so that hybrid tools are used to analyse the resulting closed-loop system. Unlike the approach proposed in [1] where the friend is supposed to belong to a specific finite-dimensional model set, here we only require smoothness of the ideal steady-state control action. The paper also presents numerical simulations showing how the proposed method outperforms previous approaches.

eess.SY↗

arXiv2022

Stability, Linear Convergence, and Robustness of the Wang-Elia Algorithm for Distributed Consensus Optimization

We revisit an algorithm for distributed consensus optimization proposed in 2010 by J. Wang and N. Elia. By means of a Lyapunov-based analysis, we prove input-to-state stability of the algorithm relative to a closed invariant set composed of optimal equilibria and with respect to perturbations affecting the algorithm's dynamics. In the absence of perturbations, this result implies linear convergence of the local estimates and Lyapunov stability of the optimal steady state. Moreover, we unveil fundamental connections with the well-known Gradient Tracking and with distributed integral control. Overall, our results suggest that a control theoretic approach can have a considerable impact on (distributed) optimization, especially when robustness is considered.

math.OC↗

arXiv2021

Output Regulation by Postprocessing Internal Models for a Class of Multivariable Nonlinear Systems

In this paper we propose a new design paradigm, which employing a postprocessing internal model unit, to approach the problem of output regulation for a class of multivariable minimum-phase nonlinear systems possessing a partial normal form. Contrary to previous approaches, the proposed regulator handles control inputs of dimension larger than the number of regulated variables, provided that a controllability assumption holds, and can employ additional measurements that need not to vanish at the ideal error-zeroing steady state, but that can be useful for stabilization purposes or to fulfil the minimum-phase requirement. Conditions for practical and asymptotic output regulation are given, underlying how in postprocessing schemes the design of internal models is necessarily intertwined with that of the stabilizer.

eess.SY↗

arXiv2021

On node ranking in graphs

The ranking of nodes in a network according to their ``importance'' is a classic problem that has attracted the interest of different scientific communities in the last decades. The current COVID-19 pandemic has recently rejuvenated the interest in this problem, as it is related to the selection of which individuals should be tested in a population of asymptomatic individuals, or which individuals should be vaccinated first. Motivated by the COVID-19 spreading dynamics, in this paper we review the most popular methods for node ranking in undirected unweighted graphs, and compare their performance in a benchmark realistic network, that takes into account the community-based structure of society. Also, we generalize a classic benchmark network originally proposed by Newman for ranking nodes in unweighted graphs, to show how ranks change in the weighted case.

physics.soc-ph↗

arXiv2021

A Distributed Methodology for Approximate Uniform Global Minimum Sharing

The paper deals with the distributed minimum sharing problem: a set of decision-makers compute the minimum of some local quantities of interest in a distributed and decentralized way by exchanging information through a communication network. We propose an adjustable approximate solution which enjoys several properties of crucial importance in applications. In particular, the proposed solution has good decentralization properties and it is scalable in that the number of local variables does not grow with the size or topology of the communication network. Moreover, a global and uniform (both in the initial time and in the initial conditions) asymptotic stability result is provided towards a steady state which can be made arbitrarily close to the sought minimum. Exact asymptotic convergence can be recovered at the price of losing uniformity with respect to the initial time.

eess.SY↗

arXiv2021

About Robustness of Control Systems Embedding an Internal Model

Robustness is a basic property of any control system. In the context of linear output regulation, it was proved that embedding an internal model of the exogenous signals is necessary and sufficient to achieve tracking of the desired reference signals in spite of external disturbances and parametric uncertainties. This result is commonly known as "internal model principle". A complete extension of such linear result to general nonlinear systems is still an open problem, which is exacerbated by the large number of alternative definitions of uncertainty and desired control goals that are possible in a nonlinear setting. In this paper, we develop a general framework in which all these different notions can be formally characterized in a unifying way. Classical results are reinterpreted in the proposed setting, and new results and insights are presented with a focus on robust rejection/tracking of arbitrary harmonic content. Moreover, we show by counter-example that, in the relevant case of continuous unstructured uncertainties, there are problems for which no smooth finite-dimensional robust regulator exists ensuring exact regulation.

eess.SY↗

arXiv2020

Model Identification and Adaptive State Observation for a Class of Nonlinear Systems

In this paper we consider the joint problems of state estimation and model identification for a class of continuous-time nonlinear systems in output-feedback canonical form. An adaptive observer is proposed that combines an extended high-gain observer and a discrete-time identifier. The extended observer provides the identifier with a data set permitting the identification of the system model and the identifier adapts the extended observer according to the new estimated model. The design of the identifier is approached as a system identification problem and sufficient conditions are presented that, if satisfied, allow different identification algorithms to be used for the adaptation phase. The cases of recursive least-squares and multiresolution black-box identification via wavelet-based identifiers are specifically addressed. Stability results are provided relating the asymptotic estimation error to the prediction capabilities of the identifier. Robustness with respect to additive disturbances affecting the system equations and measurements is also established in terms of an input-to-state stability property relative to the noiseless estimates.

eess.SY↗

arXiv2020

Approximate Nonlinear Regulation via Identification-Based Adaptive Internal Models

This paper concerns the problem of adaptive output regulation for multivariable nonlinear systems in normal form. We present a regulator employing an adaptive internal model of the exogenous signals based on the theory of nonlinear Luenberger observers. Adaptation is performed by means of discrete-time system identification schemes, in which every algorithm fulfilling some optimality and stability conditions can be used. Practical and approximate regulation results are given relating the prediction capabilities of the identified model to the asymptotic bound on the regulated variables, which become asymptotic whenever a "right" internal model exists in the identifier's model set. The proposed approach, moreover, does not require "high-gain" stabilization actions.

eess.SY↗