Visible to the public Efficient Control Synthesis and Learning in Distributed Cyber-Physical SystemsConflict Detection Enabled