Exponential input-to-state stability for Lur’e systems via Integral Quadratic Constraints and Zames–Falb multipliers

Absolute stability criteria that are sufficient for global exponential stability are shown, under a Lipschitz assumption, to be sufficient for the a priori stronger exponential input-to-state stability property. Important corollaries of this result are as follows: (i) absolute stability results obtained using Zames–Falb multipliers for systems containing slope-restricted nonlinearities provide exponential input-to-state-stability under a mild detectability assumption; and (ii) more generally, many absolute stability results obtained via Integral Quadratic Constraint methods provide, with the additional Lipschitz assumption, this stronger property

From distributed coordination to field calculus and aggregate computing

open6siThis work has been partially supported by: EU Horizon 2020 project HyVar (www.hyvar-project .eu), GA No. 644298; ICT COST Action IC1402 ARVI (www.cost -arvi .eu); Ateneo/CSP D16D15000360005 project RunVar (runvar-project.di.unito.it).Aggregate computing is an emerging approach to the engineering of complex coordination for distributed systems, based on viewing system interactions in terms of information propagating through collectives of devices, rather than in terms of individual devices and their interaction with their peers and environment. The foundation of this approach is the distillation of a number of prior approaches, both formal and pragmatic, proposed under the umbrella of field-based coordination, and culminating into the field calculus, a universal functional programming model for the specification and composition of collective behaviours with equivalent local and aggregate semantics. This foundation has been elaborated into a layered approach to engineering coordination of complex distributed systems, building up to pragmatic applications through intermediate layers encompassing reusable libraries of program components. Furthermore, some of these components are formally shown to satisfy formal properties like self-stabilisation, which transfer to whole application services by functional composition. In this survey, we trace the development and antecedents of field calculus, review the field calculus itself and the current state of aggregate computing theory and practice, and discuss a roadmap of current research directions with implications for the development of a broad range of distributed systems.embargoed_20210910Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, DaniloViroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danil

Integral quadratic constraint approach vs. multiplier approach

Integral quadratic constraints (IQC) arise in many optimal and/or robust control problems. The IQC approach can be viewed as a generalization of the classical multiplier approach in the absolute stability theory. In this paper, we study the relationship between the two approaches for robust stability analysis. Using a slightly modified multiplier approach, we show that the existence of an IQC is equivalent to the existence of a multiplier in most known cases. It is hoped that this result provides some new insight into both approaches and makes them more useful in robust control applications

From classical absolute stability tests towards a comprehensive robustness analysis

In this thesis, we are concerned with the stability and performance analysis of feedback interconnections comprising a linear (time-invariant) system and an uncertain component subject to external disturbances. Building on the framework of integral quadratic constraints (IQCs), we aim at verifying stability of the interconnection using only coarse information about the input-output behavior of the uncertainty