1 citations · 1 across the 6 of their papers we have counts for
8 papers
Fast and Sample Efficient Safety Verification via Extreme Learning Machine
Ahan Basu, Mahathi Anand, Pushpak Jagtap
Deep learning methods like neural networks have greatly simplified the computation of safety certificates for complex nonlinear systems with unknown dynamics. However, due to the d…
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…
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…
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…
Verification of Switched Stochastic Systems via Barrier Certificates
Mahathi Anand, Pushpak Jagtap, Majid Zamani
The paper presents a methodology for temporal logic verification of continuous-time switched stochastic systems. Our goal is to find the lower bound on the probability that a compl…
Verification of Hyperproperties for Uncertain Dynamical Systems via Barrier Certificates
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi +1
Hyperproperties are system properties that require quantification over multiple execution traces of a system. Hyperproperties can express several specifications of interest for cyb…
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against -Regular Specifications
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
This paper is concerned with a compositional scheme for the construction of control barrier certificates for interconnected discrete-time stochastic systems. The main objective is…
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
This paper is concerned with a compositional approach for the construction of control barrier certificates for large-scale interconnected stochastic systems while synthesizing hybr…