1 citations · 1 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
eess.SY2026
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…
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…