From dissipativity theory to compositional synthesis of symbolic models

Abdalla Swikir, Antoine Girard, Majid Zamani

In this work, we introduce a compositional framework for the construction of finite abstractions (a.k.a. symbolic models) of interconnected discrete-time control systems. The compo…