4 citations · 6 across the 9 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2025
-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…
math.OC2020★ 2 cited
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…