13 citations · 38 across the 23 of their papers we have counts for
4 papers · 1 filter
Extended Full Block S-Procedure for Distributed Control of Interconnected Systems
Giulia De Pasquale, Yvonne R. Sturz, Maria Elena Valcher +1
This paper proposes a novel method for distributed controller synthesis of homogeneous interconnected systems consisting of identical subsystems. The objective of the designed cont…
Consensus for Clusters of Agents with Cooperative and Antagonistic Relationships
Giulia De Pasquale, Maria Elena Valcher
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 intera…
A Boolean Control Network Approach to the Formal Verification of Feedback Context-Aware Pervasive Systems
Fabio A. Schreiber, Maria Elena Valcher
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 correct…
Formal assessment of some properties of Context-Aware Systems
Fabio A. Schreiber, Maria Elena Valcher
Context-Aware systems are becoming useful components in autonomic and monitoring applications and the assessment of their properties is an important step towards reliable implement…