arXiv subjects

Fulvio Forni

Publications and source records attributed to Fulvio Forni.

At least 55 records · Page 3Linked to original sources

arXiv2019

Antithetic integral feedback for the robust control of monostable and oscillatory biomolecular circuits

Biomolecular feedback systems are now a central application area of interest within control theory. While classical control techniques provide invaluable insight into the function and design of both natural and synthetic biomolecular systems, there are certain aspects of biological control that have proven difficult to analyze with traditional methods. To this end, we describe here how the recently developed tools of dominance analysis can be used to gain insight into the nonlinear behavior of the antithetic integral feedback circuit, a recently discovered control architecture which implements integral control of arbitrary biomolecular processes using a simple feedback mechanism. We show that dominance theory can predict both monostability and periodic oscillations in the circuit, depending on the corresponding parameters and architecture. We then use the theory to characterize the robustness of the asymptotic behavior of the circuit in a nonlinear setting.

eess.SY↗

arXiv2019

The $\mathcal{H}_{\infty,p}$ norm as the differential $\mathcal{L}_{2,p}$ gain of a $p$-dominant system

The differential $\mathcal{L}_{2,p}$ gain of a linear, time-invariant, $p$-dominant system is shown to coincide with the $\mathcal{H}_{\infty,p}$ norm of its transfer function $G$, defined as the essential supremum of the absolute value of $G$ over a vertical strip in the complex plane such that $p$ poles of $G$ lie to right of the strip. The close analogy between the $\mathcal{H}_{\infty,p}$ norm and the classical $\mathcal{H}_{\infty}$ norm suggests that robust dominance of linear systems can be studied along the same lines as robust stability. This property can be exploited in the analysis and design of nonlinear uncertain systems that can be decomposed as the feedback interconnection of a linear, time-invariant system with bounded gain uncertainties or nonlinearities.

math.OC↗

arXiv2019

Finding cones for K-cooperative systems

We design and test a cone finding algorithm to robustly address nonlinear system analysis through differential positivity. The approach provides a numerical tool to study multi-stable systems, beyond Lyapunov analysis. The theory is illustrated on two examples: a consensus problem with some repulsive interactions and second order agent dynamics, and a controlled duffing oscillator.

math.OC↗

arXiv2019

Qualitative behavior and robustness of dendritic trafficking

The paper studies homeostatic ion channel trafficking in neurons. We derive a nonlinear closed-loop model that captures active transport with degradation, channel insertion, average membrane potential activity, and integral control. We study the model via dominance theory and differential dissipativity to show when steady regulation gives way to pathological oscillations. We provide quantitative results on the robustness of the closed loop behavior to static and dynamic uncertainties, which allows us to understand how cell growth interacts with ion channel regulation.

q-bio.SC↗

arXiv2019

Dissipativity analysis of negative resistance circuits

This paper deals with the analysis of nonlinear circuits that interconnect passive elements (capacitors, inductors, and resistors) with nonlinear resistors exhibiting a range of $\it{negative}$ resistance. Such active elements are necessary to design circuits that switch and oscillate. We generalize the classical passivity theory of circuit analysis to account for such non-equilibrium behaviors. The approach closely mimics the classical methodology of (incremental) dissipativity theory, but with dissipation inequalities that combine $\it{signed}$ storage functions and $\it{signed}$ supply rates to account for the mixture of passive and active elements.

eess.SY↗

arXiv2019

Dominance margins for feedback systems

The paper introduces notions of robustness margins geared towards the analysis and design of systems that switch and oscillate. While such phenomena are ubiquitous in nature and in engineering, a theory of robustness for behaviors away from equilibria is lacking. The proposed framework addresses this need in the framework of p-dominance theory, which aims at generalizing stability theory for the analysis of systems with low-dimensional attractors. Dominance margins are introduced as natural generalisations of stability margins in the context of p-dominance analysis. In analogy with stability margins, dominance margins are shown to admit simple interpretations in terms of familiar frequency domain tools and to provide quantitative measures of robustness for multistable and oscillatory behaviors in Lure systems. The theory is illustrated by means of an elementary mechanical example.

eess.SY↗

arXiv2018

Path-complete $p$-dominant switching linear systems

The notion of path-complete $p$-dominance for switching linear systems (in short, path-dominance) is introduced as a way to generalize the notion of dominant/slow modes for LTI systems. Path-dominance is characterized by the contraction property of a set of quadratic cones in the state space. We show that path-dominant systems have a low-dimensional dominant behavior, and hence allow for a simplified analysis of their dynamics. An algorithm for deciding the path-dominance of a given system is presented.

math.OC↗

arXiv2018

Differential dissipativity theory for dominance analysis

High-dimensional systems that have a low-dimensional dominant behavior allow for model reduction and simplified analysis. We use differential analysis to formalize this important concept in a nonlinear setting. We show that dominance can be studied through linear dissipation inequalities and an interconnection theory that closely mimics the classical analysis of stability by means of dissipativity theory. In this approach, stability is seen as the limiting situation where the dominant behavior is 0-dimensional. The generalization opens novel tractable avenues to study multistability through 1-dominance and limit cycle oscillations through 2-dominance.

eess.SY↗

arXiv2018

Dominance analysis of linear complementarity systems

The paper extends the concepts of dominance and p-dissipativity to the non-smooth family of linear complementarity systems. Dominance generalizes incremental stability whereas p-dissipativity generalizes incremental passivity. The generalization aims at an interconnection theory for the design and analysis of switching and oscillatory systems. The approach is illustrated by a detailed study of classical electrical circuits that switch and oscillate.

eess.SY↗

arXiv2018

Differentially passive circuits that switch and oscillate

The concept of passivity is central to analyze circuits as interconnections of passive components. We illustrate that when used differentially, the same concept leads to an interconnection theory for electrical circuits that switch and oscillate as interconnections of passive components with operational amplifiers (op-amps). The approach builds on recent results on dominance and p-passivity aimed at generalizing dissipativity theory to the analysis of non-equilibrium nonlinear systems. Our paper shows how those results apply to basic and well-known nonlinear circuit architectures. They illustrate the potential of dissipativity theory to design and analyze switching and oscillating circuits quantitatively, very much like their linear counterparts.

eess.SY↗

arXiv2017

A dissipativity theorem for p-dominant systems

We revisit the classical dissipativity theorem of linear-quadratic theory in a generalized framework where the quadratic storage is negative definite in a p-dimensional subspace and positive definite in a complementary subspace. The classical theory assumes p = 0 and provides an inter- connection theory for stability analysis, i.e. convergence to a zero dimensional attractor. The generalized theory is shown to provide an interconnection theory for p-dominance analysis, i.e. convergence to a p-dimensional dominant subspace. In turn, this property is the differential characterization of a generalized contraction property for nonlinear systems. The proposed generalization opens a novel avenue for the analysis of interconnected systems with low-dimensional attractors.

eess.SY↗

arXiv2016

Path-complete positivity of switching systems

The notion of path-complete positivity is introduced as a way to generalize the property of positivity from one LTI system to a family of switched LTI systems whose switching rule is constrained by a finite automaton. The generalization builds upon the analogy between stability and positivity, the former referring to the contraction of a norm, the latter referring to the contraction of a cone (or, equivalently, a projective norm). We motivate and investigate the potential of path-positivity and we propose an algorithm for the automatic verification of positivity.

eess.SY↗

arXiv2015

Differential positivity characterizes one-dimensional normally hyperbolic attractors

The paper shows that normally hyperbolic one-dimensional compact attractors of smooth dynamical systems are characterized by differential positivity, that is, the pointwise infinitesimal contraction of a smooth cone field. The result is analog to the characterization of zero-dimensional hyperbolic attractors by differential stability, which is the pointwise infinitesimal contraction of a Riemannian metric.

eess.SY↗

arXiv2015

Global results on reset-induced periodic trajectories of planar systems

We study the existence of asymptotically stable periodic trajectories induced by reset feedback. The analysis is developed for a planar system. Casting the problem into the hybrid setting, we show that a periodic orbit arises from the balance between the energy dissipated during flows and the energy restored by resets, at jumps. The stability of the periodic orbit is studied with hybrid Lyapunov tools. The satisfaction of the so-called hybrid basic conditions ensures the robustness of the asymptotic stability. Extensions of the approach to more general mechanical systems are discussed.

eess.SY↗

arXiv2015

Differential Positivity on Compact Sets

The paper studies differentially positive systems, that is, systems whose linearization along an arbitrary trajectory is positive. We illustrate the use of differential positivity on compact forward invariant sets for the characterization of bistable and periodic behaviors. Geometric conditions for differential positivity are provided. The introduction of compact sets simplifies the use of differential positivity in applications.

eess.SY↗

arXiv2015

Immersion and Invariance Stabilization of Nonlinear Systems: A Horizontal Contraction Approach

The main objective of this paper is to propose an alternative procedure to carry out one of the key steps of immersion and invariance stabilising controller design. Namely, the one that ensures attractivity of the manifold whose internal dynamics contains a copy of the desired system behaviour. Towards this end we invoke contraction theory principles and ensure the attractivity of the manifold rendering it horizontally contractive. The main advantage of adopting this alternative approach is to make more systematic the last step of the design with more explicit degrees of freedom to accomplish the task. The classical case of systems in feedback form is used to illustrate the proposed controller design.

eess.SY↗

arXiv2014

Differentially positive systems

The paper introduces and studies differentially positive systems, that is, systems whose linearization along an arbitrary trajectory is positive. A generalization of Perron Frobenius theory is developed in this differential framework to show that the property induces a (conal) order that strongly constrains the asymptotic behavior of solutions. The results illustrate that behaviors constrained by local order properties extend beyond the well-studied class of linear positive systems and monotone systems, which both require a constant cone field and a linear state space.

eess.SY↗

arXiv2014

Differential analysis of nonlinear systems: revisiting the pendulum example

Differential analysis aims at inferring global properties of nonlinear behaviors from the local analysis of the linearized dynamics. The paper motivates and illustrates the use of differential analysis on the nonlinear pendulum model, an archetype example of nonlinear behavior. Special emphasis is put on recent work by the authors in this area, which includes a differential Lyapunov framework for contraction analysis and the concept of differential positivity.

eess.SY↗