Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications
This paper investigates the controller synthesis problem for a multi-agent system (MAS) with intermittent communication.We adopt a relay-explorer scheme, where a mobile relay agent with absolute position sensors switches among a set of explorers with relative position sensors to provide intermittent state information.We model the MAS as a switched