5 citations · 6 across the 3 of their papers we have counts for
3 papers
eess.SY2020
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…
eess.SY2020★ 1 cited
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…
cs.FL2020★ 5 cited
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…