Mahathi Anand

According to our database, Mahathi Anand authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Verification of Hyperproperties for Dynamical Systems via Barrier Certificates.

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

IEEE Trans. Autom. Control., October, 2024

2023

Formal analysis of control systems via inductive approaches: tackling scalability, conservatism, and complex specifications.

Mahathi Anand

PhD thesis, 2023

2022

From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems.

Mahathi Anand, Abolfazl Lavaei, Majid Zamani

IEEE Trans. Autom. Control., 2022

k-Inductive Barrier Certificates for Stochastic Systems.

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Formal Verification of Control Systems against Hyperproperties via Barrier Certificates.

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

CoRR, 2021

Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications.

Mahathi Anand, Abolfazl Lavaei, Majid Zamani

CoRR, 2021

Formal verification of hyperproperties for control systems.

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021

Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates.

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2019

Verification of Switched Stochastic Systems via Barrier Certificates.

Mahathi Anand, Pushpak Jagtap, Majid Zamani

Proceedings of the 58th IEEE Conference on Decision and Control, 2019