2 citations · 3 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
eess.SY2024★ 1 cited
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…
eess.SY2024
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
Control barrier certificates have proven effective in formally guaranteeing the safety of the control systems. However, designing a control barrier certificate is a time-consuming…