3 papers
eess.SY2026
Safety for Weakly-Hard Control Systems via Graph-Based Barrier Functions
Marc Seidel, Mahathi Anand, Frank Allgöwer
Despite significant advancement in technology, communication and computational failures are still prevalent in safety-critical engineering applications. Often, networked control sy…
eess.SY2025
Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
Ahan Basu, Mahathi Anand, Pushpak Jagtap
This work proposes a novel distributed framework for verifying the incremental stability of large-scale systems with unknown dynamics and known interconnection structures using gra…
eess.SY2025
On the Completeness and Ordering of Path-Complete Barrier Functions
Mahathi Anand, Raphaël Jungers, Majid Zamani +1
This paper is concerned with path-complete barrier functions which offer a graph-based methodology for verifying safety properties in switched systems. The path-complete framework…