Ahan Basu

According to our database, Ahan Basu authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer.

Vaishnavi Jagabathula, Ahan Basu, Pushpak Jagtap

CoRR, September, 2025

Neural Incremental Input-to-State Stable Control Lyapunov Functions for Unknown Continuous-time Systems.

Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap

CoRR, April, 2025

Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems.

Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap

CoRR, March, 2025

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems.

Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap

CoRR, January, 2025

2024

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems.

Ratnangshu Das, Ahan Basu, Pushpak Jagtap

CoRR, 2024