For more details on the publications and links to the papers, please visit my Google Scholar page.

2025

M. Seidel, M. Anand, F. Allgöwer, Safety for Weakly-Hard Control Systems via Graph-based Barrier Functions, submission under review.

A. Basu, M. Anand, P. Jagtap, Scalable Formal Verification of Incremental Stability in Large-Scale Systems using Graph Neural Networks, submission under review.

Allen Emmanuel Binny, Mahathi Anand, Hugo T. Kussaba, Lingyun Chen, Shreenabh Agrawal, Fares Abu Dakka, Abdalla Swikir, "Learning Safe Neural Network Dynamical Systems for Robot Motion Planning", accepted for publication, Robotics and Automation Letters, 2025

Mahathi Anand, Raphael Jungers, Majid Zamani, Frank Allgöwer, "On the Completeness and Ordering of Path-Complete Barrier Functions", submission under review.

M. Mannone, M. Anand, P. Fazio, A. Swikir, A Novel Theoretical Approach on Micro-Nano Robotic Networks Based on Density Matrices and Swarm Quantum Mechanics, submission under review.

2024

Mahathi Anand, Raphael Jungers, Majid Zamani, Frank Allgöwer, "Path-Complete Barrier Functions for Safety of Switched Linear Systems", Conference on Decision and Control, 2024.

Mahathi Anand, Majid Zamani, "Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Netwoks", IFAC Conference on Analysis and Design of Hybrid Systems, 2024.

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani, "Verification of Hyperproperties for Dynamical Systems via Barrier Certificates", Transactions on Automatic Control, 2024.

Mahathi Anand, Abolfazl Lavaei, Majid Zamani, "Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against Omega-regular Specifications", Nonlinear Analysis: Hybrid Systems, 2024.

2023

Mahathi Anand, Majid Zamani, "Formally Verified Neural Control Barrier Certificates for Unknown Systems", IFAC World Congress, 2023.

2022

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani, "K-Inductive Barrier Certificates for Stochastic Systems", ACM International Conference on Hybrid Systems: Computation and Control, 2022.

Mahathi Anand, Abolfazl Lavaei, Majid Zamani, "From Small-gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems", Transactions on Automatic Control, 2022.

2021

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani, "Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates", Conference on Decision and Control, 2021.

Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani, "Formal Verification of Hyperproperties for Control Systems", Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021.

2020

Mahathi Anand, Abolfazl Lavaei, Majid Zamani, "Compositional Construction of Control Barrier Certificates for Large-scale Interconnected Stochastic Systems", IFAC World Congress, 2020.

2019

Mahathi Anand, Pushpak Jagtap, Majid Zamani, "Verification of Switched Stochastic Systems via Barrier Certificates", Conference on Decision and Control, 2019.