2 citations · 3 across the 6 of their papers we have counts for
3 papers · 1 filter
Monotone Neural Barrier Certificates
Saber Jafarpour, Alireza Nadali, Ashutosh Trivedi +1
This report presents a neurosymbolic framework for safety verification and control synthesis in high-dimensional monotone dynamical systems without relying on explicit models or co…
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…
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…