4 citations · 6 across the 9 of their papers we have counts for
4 papers · 1 filter
Control Closure Certificates
Vishnu Murali, Mohammed Adib Oumer, Majid Zamani
This paper introduces the notion of control closure certificates to synthesize controllers for discrete-time control systems against -regular specifications. Typical functional…
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…
-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
Mohammed Adib Oumer, Vishnu Murali, Majid Zamani
In this paper, we introduce two new types of barrier certificates that are based on multiple functions rather than a single one. A conventional barrier certificate for a stochastic…
On the Completeness and Ordering of Path-Complete Barrier Functions
Mahathi Anand, Raphaël Jungers, Majid Zamani +1
This paper is concerned with path-complete barrier functions which offer a graph-based methodology for verifying safety properties in switched systems. The path-complete framework…