Compositional Synthesis of Finite Abstractions for Networks of Systems: A Small-Gain Approach

Abdalla Swikir, Majid Zamani

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