51 citations · 126 across the 15 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
math.OC2020★ 51 cited
Dynamic Max-Consensus and Size Estimation of Anonymous Multi-Agent Networks
Diego Deplano, Mauro Franceschelli, Alessandro Giua
In this paper we propose a novel consensus protocol for discrete-time multi-agent systems (MAS), which solves the dynamic consensus problem on the max value, i.e., the dynamic max-…
eess.SY2020★ 1 cited
A framework for the analysis of supervised discrete event systems under attack
Qi Zhang, Carla Seatzu, Zhiwu Li +1
This paper focuses on the problem of cyber attacks for discrete event systems under supervisory control. In more detail, the goal of the supervisor, who has a partial observation o…
eess.SY2020★ 1 cited
Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
Chao Gu, Ziyue Ma, Zhiwu Li +1
This paper proposes a semi-structural approach to verify the nonblockingness of a Petri net. We construct a structure, called minimax basis reachability graph (minimax-BRG): it pro…