Ahan Basu

According to our database, Ahan Basu authored at least 11 papers between 2025 and 2026.

Collaborative distances:

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

2026

Spatiotemporal Tubes-Based Control of Unknown Multiagent Systems for Temporal Reach-Avoid-Stay Tasks.

Ahan Basu, Ratnangshu Das, Pushpak Jagtap

IEEE Trans. Control. Netw. Syst., March, 2026

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

Ratnangshu Das, Ahan Basu, Pushpak Jagtap

IEEE Trans. Autom. Control., January, 2026

Input-to-State Stabilizing Neural Controllers for Unknown Switched Nonlinear Systems within Compact Sets.

Bhabani Shankar Dey, Ahan Basu, Pushpak Jagtap

CoRR, January, 2026

2025

Learning Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks using Physics-Informed Neural Networks.

Ahan Basu, Ratnangshu Das, Pushpak Jagtap

CoRR, December, 2025

Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks.

Ahan Basu, Mahathi Anand, Pushpak Jagtap

CoRR, December, 2025

Spatiotemporal Tubes for Differential Drive Robots with Model Uncertainty.

Ratnangshu Das, Ahan Basu, Christos Verginis, Pushpak Jagtap

CoRR, December, 2025

Spatiotemporal Tubes based Control of Unknown Multi-Agent Systems for Temporal Reach-Avoid-Stay Tasks.

Ahan Basu, Ratnangshu Das, Pushpak Jagtap

CoRR, October, 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

Proceedings of the 2025 European Control Conference, 2025