Mahathi Anand
Title
Cited by
Cited by
Year
Compositional construction of control barrier certificates for large-scale interconnected stochastic systems
M Anand, A Lavaei, M Zamani
IFAC-PapersOnLine 53 (2), 1862-1867, 2020
72020
Verification of Switched Stochastic Systems via Barrier Certificates*
M Anand, P Jagtapt, M Zamani
2019 IEEE 58th Conference on Decision and Control (CDC), 4373-4378, 2019
62019
From small-gain theory to compositional construction of barrier certificates for large-scale stochastic systems
M Anand, A Lavaei, M Zamani
arXiv preprint arXiv:2101.06916, 2021
32021
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against -Regular Specifications
M Anand, A Lavaei, M Zamani
arXiv preprint arXiv:2103.02226, 2021
12021
Formal Verification of Control Systems against Hyperproperties via Barrier Certificates
M Anand, V Murali, A Trivedi, M Zamani
arXiv preprint arXiv:2105.05493, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–5