arXiv subjects

Maria Elena Valcher

Publications and source records attributed to Maria Elena Valcher.

24 records · Page 2Linked to original sources

arXiv2021

On the detection and identification of edge disconnections in a multi-agent consensus network

In this paper we investigate the problem of the sudden disconnection of an edge in a discrete-time multi-agent consensus network. If the graph remains strongly connected, the multi-agent system still achieves consensus, but in general, unless the information exchange between each pair of agents is symmetric, the agents' states converge to a drifted value of the original consensus value. Consequently the edge disconnection can go unnoticed. In this paper the problems of detecting an edge disconnection and of identifying in a finite number of steps the exact edge that got disconnected are investigated. Necessary and sufficient conditions for both problems to be solvable are presented, both in case all the agents' states are available and in case only a subset of the agents' states is measured. Finally, an example of a network of 7 agents is provided, to illustrate some of the theoretical results derived in the paper.

eess.SY↗

arXiv2020

Extended Full Block S-Procedure for Distributed Control of Interconnected Systems

This paper proposes a novel method for distributed controller synthesis of homogeneous interconnected systems consisting of identical subsystems. The objective of the designed controller is to minimize the L2-gain of the performance channel. The proposed method is an extended formulation of the Full Block S-Procedure (FBSP) where we introduce an additional set of variables. This allows relaxing the block-diagonal structural assumptions on the Lyapunov and multiplier matrices required for distributed control design, which reduces conservatism w.r.t most existing approaches. We show how to decompose the proposed extended FBSP into small synthesis conditions, of the size of one individual subsystem.

eess.SY↗

arXiv2020

Consensus for Clusters of Agents with Cooperative and Antagonistic Relationships

In this paper we address the consensus problem in the context of networked agents whose communication graph can be split into a certain number of clusters in such a way that interactions between agents in the same clusters are cooperative, while interactions between agents belonging to different clusters are antagonistic. This problem set-up arises in the context of social networks and opinion dynamics, where reaching consensus means that the opinions of the agents in the same cluster converge to the same decision. The consensus problem is here investigated under the assumption that agents in the same cluster have the same constant and pre-fixed amount of trust (/distrust) to be distributed among their cooperators (/adversaries). The proposed solution establishes how much agents in the same group must be conservative about their opinions in order to converge to a common decision.

eess.SY↗

arXiv2020

A Boolean Control Network Approach to the Formal Verification of Feedback Context-Aware Pervasive Systems

The emergence of Context-aware systems in the domains of autonomic, monitoring, and safety-critical applications asks for the definition of methods to formally assess their correctness and dependability properties. Many of these properties are common to Automatic Control systems, a field that developed well established analysis and design techniques to formalize and investigate them. In this paper, we use Boolean Control Networks, to discuss some properties of a feedback Context-aware system in a case study based on a healthcare management example.

eess.SY↗

arXiv2020

Formal assessment of some properties of Context-Aware Systems

Context-Aware systems are becoming useful components in autonomic and monitoring applications and the assessment of their properties is an important step towards reliable implementation, especially in safety-critical applications. In this paper, using an avalanche/landslide alert system as a running example, we propose a technique, based on Boolean Control Networks, to verify that the system dynamics has stable equilibrium states, corresponding to constant inputs, and hence it does not exhibit oscillatory behaviors, and to establish other useful properties in order to implement a precise and timely alarm system.

cs.FL↗

arXiv2017

Computing the projected reachable set of switched affine systems: an application to systems biology

A fundamental question in systems biology is what combinations of mean and variance of the species present in a stochastic biochemical reaction network are attainable by perturbing the system with an external signal. To address this question, we show that the moments evolution in any generic network can be either approximated or, under suitable assumptions, computed exactly as the solution of a switched affine system. Motivated by this application, we propose a new method to approximate the reachable set of switched affine systems. A remarkable feature of our approach is that it allows one to easily compute projections of the reachable set for pairs of moments of interest, without requiring the computation of the full reachable set, which can be prohibitive for large networks. As a second contribution, we also show how to select the external signal in order to maximize the probability of reaching a target set. To illustrate the method we study a renown model of controlled gene expression and we derive estimates of the reachable set, for the protein mean and variance, that are more accurate than those available in the literature and consistent with experimental data.

eess.SY↗