Showing eess.SYShow all
3 papers · 1 filter
eess.SY2026
Vector Certificates for -regular Specifications
Mohammed Adib Oumer, Vishnu Murali, Majid Zamani
The recently introduced notions of ranking functions and closure certificates utilize well-foundedness arguments to facilitate the verification of dynamical systems against -reg…
eess.SY2026
Interpolation-Inspired Closure Certificates
Mohammed Adib Oumer, Vishnu Murali, Majid Zamani
Barrier certificates, a form of state invariants, provide an automated approach to the verification of the safety of dynamical systems. Similarly to barrier certificates, recent wo…
eess.SY2025
Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
Mohammed Adib Oumer, Amr Alanwar, Majid Zamani
Ensuring safety in cyber-physical systems (CPSs) is a critical challenge, especially when system models are difficult to obtain or cannot be fully trusted due to uncertainty, model…