4 citations · 5 across the 12 of their papers we have counts for
4 papers · 1 filter
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…
Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints
Ahan Basu, Ratnangshu Das, Soumyodipta Nath +2
This paper presents a Spatiotemporal Tube (STT)-based control framework for general unknown nonlinear Euler-Lagrange (EL) systems subject to input constraints, with the objective o…
Glycemic Safety Tube: A Provably Safe Control Framework for Artificial Pancreas Systems under Parametric Uncertainty
Pukhrambam Akash Singh, Ratnangshu Das, Ahan Basu +1
Type 1 diabetes eliminates the body's ability to produce insulin, making glucose regulation entirely dependent on external insulin delivery and the control algorithm. Existing clos…
Input-to-State Stabilizing Neural Controllers for Unknown Switched Nonlinear Systems within Compact Sets
Bhabani Shankar Dey, Ahan Basu, Pushpak Jagtap
This paper develops a neural network based control framework that ensures system safety and input-to-state stability (ISS) for general nonlinear switched systems with unknown dynam…