Controller synthesis method for multi-agent system based on temporal logic specification

Ruohan Huang, Zining Cao

Controller synthesis is a theoretical approach to the systematic design of discrete event systems. It constructs a controller to provide feedback and control to the system, ensurin…