Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach

Daniel Ajeleye, Majid Zamani

Finite-state abstractions (a.k.a. symbolic models) present a promising avenue for the formal verification and synthesis of controllers in continuous-space control systems. These ab…