CONTROLLER SYNTHESIS FOR MULTI-AGENT SYSTEMS WITH INTERMITTENT COMMUNICATION AND METRIC TEMPORAL LOGIC SPECIFICATIONS

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

read more

Research Progress on Machine Learning Assisted Non-Targeted Screening Strategy for Identification of Fentanyl Analogs

In recent years, the types and quantities of fentanyl analogs have increased rapidly.It has become a hotspot in the illicit drug control field of how to quickly identify novel fentanyl analogs and to shorten the blank regulatory period.At present, the identification methods of fentanyl analogs that have been developed mostly rely on reference mater

read more