4 citations · 6 across the 9 of their papers we have counts for
9 papers
HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
Vishnu Murali, Amin Falah, Ashutosh Trivedi +1
We introduce a functional inductive framework to verify discrete-time dynamical systems against hyperproperties specified as Hyperlinear temporal logic formulae via a notion of Hyp…
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…
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…
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…
Numerical over-approximation of invariance entropy via finite abstractions
Mahendra Singh Tomar, Christoph Kawan, Majid Zamani
For a closed-loop control system with a digital channel between the sensor and the controller, the notion of invariance entropy quantifies the smallest average rate of information…
Invariance Feedback Entropy of Uncertain Control Systems
Mahendra Singh Tomar, Matthias Rungger, Majid Zamani
We introduce a novel notion of invariance feedback entropy to quantify the state information that is required by any controller that enforces a given subset of the state space to b…