1 citations · 1 across the 6 of their papers we have counts for
4 papers · 1 filter
Verification of Switched Stochastic Systems via Barrier Certificates
Mahathi Anand, Pushpak Jagtap, Majid Zamani
The paper presents a methodology for temporal logic verification of continuous-time switched stochastic systems. Our goal is to find the lower bound on the probability that a compl…
Verification of Hyperproperties for Uncertain Dynamical Systems via Barrier Certificates
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi +1
Hyperproperties are system properties that require quantification over multiple execution traces of a system. Hyperproperties can express several specifications of interest for cyb…
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against -Regular Specifications
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
This paper is concerned with a compositional scheme for the construction of control barrier certificates for interconnected discrete-time stochastic systems. The main objective is…
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
This paper is concerned with a compositional approach for the construction of control barrier certificates for large-scale interconnected stochastic systems while synthesizing hybr…