Controller synthesis for interconnected systems using parametric assume-guarantee contracts

摘要

In this paper we synthesize controllers for interconnected systems to enforce parametric assume-guarantee contracts (AGC), which encode behaviors of the systems in some parameter domains. In our approach to solve the design problem, we synthesize a contro