Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Ajeleye, Daniel"'
Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
Autor:
Ajeleye, Daniel, Zamani, Majid
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 abstractions provide simplified models that capture the fundamental beha
Externí odkaz:
http://arxiv.org/abs/2408.08497