Volgen
Mahathi Anand
Mahathi Anand
Institute for Systems Theory and Automatic Control, University Stuttgart
Geverifieerd e-mailadres voor ist.uni-stuttgart.de
Titel
Geciteerd door
Geciteerd door
Jaar
From small-gain theory to compositional construction of barrier certificates for large-scale stochastic systems
M Anand, A Lavaei, M Zamani
IEEE Transactions on Automatic Control 67 (10), 5638-5645, 2022
172022
Compositional synthesis of control barrier certificates for networks of stochastic systems against ω-regular specifications
M Anand, A Lavaei, M Zamani
Nonlinear Analysis: Hybrid Systems 51, 101427, 2024
152024
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
142020
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
132019
Safety verification of dynamical systems via k-inductive barrier certificates
M Anand, V Murali, A Trivedi, M Zamani
2021 60th IEEE Conference on Decision and Control (CDC), 1314-1320, 2021
82021
K-inductive barrier certificates for stochastic systems
M Anand, V Murali, A Trivedi, M Zamani
Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022
62022
Formal verification of hyperproperties for control systems
M Anand, V Murali, A Trivedi, M Zamani
Proceedings of the Workshop on Computation-Aware Algorithmic Design for …, 2021
62021
Verification of hyperproperties for uncertain dynamical systems via barrier certificates
M Anand, V Murali, A Trivedi, M Zamani
arXiv preprint arXiv:2105.05493, 2021
52021
Formally verified neural network control barrier certificates for unknown systems
M Anand, M Zamani
IFAC-PapersOnLine 56 (2), 2431-2436, 2023
22023
Formal verification of control systems against hyperproperties via barrier certificates
M Anand, V Murali, A Trivedi, M Zamani
arXiv preprint arXiv:2105.05493, 2021
22021
Formal analysis of control systems via inductive approaches
M Anand
lmu, 2023
2023
Formal Analysis of Control Systems Via Inductive Approaches: Tackling Scalability, Conservatism, and Complex Specifications
M Anand
Universitätsbibliothek der Ludwig-Maximilians-Universität, 2023
2023
𝑘-Inductive Barrier Certificates for Stochastic Dynamical Systems
M Anand, V Murali, A Trivedi, M Zamani
2022
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–13