Mahdieh Zaker

Data-driven safety certificates of infinite networks with unknown models and interconnection topologies

Infinite networks are complex interconnected systems comprising a countably infinite number of subsystems, for which no fixed upper bound on the number of participating subsystems is specified a priori since it may vary over time as agents join or leave (e.g., vehicles in traffic...