Ahan Basu

13 papers Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Input-to-State Stabilizing Neural Controllers for Unknown Switched Nonlinear Systems within Compact Sets.
CoRR
Bhabani Shankar Dey, Ahan Basu, Pushpak Jagtap
2026 J jnl
Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems.
IEEE Trans. Autom. Control.
Ratnangshu Das, Ahan Basu, Pushpak Jagtap
2026 J jnl
Spatiotemporal Tubes-Based Control of Unknown Multiagent Systems for Temporal Reach-Avoid-Stay Tasks.
IEEE Trans. Control. Netw. Syst.
Ahan Basu, Ratnangshu Das, Pushpak Jagtap
2025 — conf
Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems.
ECC
Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap
2025 J jnl
Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems.
CoRR
Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap
2025 J jnl
Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems.
CoRR
Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap
2025 J jnl
Learning Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks using Physics-Informed Neural Networks.
CoRR
Ahan Basu, Ratnangshu Das, Pushpak Jagtap
2025 J jnl
Neural Incremental Input-to-State Stable Control Lyapunov Functions for Unknown Continuous-time Systems.
CoRR
Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap
2025 J jnl
Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer.
CoRR
Vaishnavi Jagabathula, Ahan Basu, Pushpak Jagtap
2025 J jnl
Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks.
CoRR
Ahan Basu, Mahathi Anand, Pushpak Jagtap
2025 J jnl
Spatiotemporal Tubes based Control of Unknown Multi-Agent Systems for Temporal Reach-Avoid-Stay Tasks.
CoRR
Ahan Basu, Ratnangshu Das, Pushpak Jagtap
2025 J jnl
Spatiotemporal Tubes for Differential Drive Robots with Model Uncertainty.
CoRR
Ratnangshu Das, Ahan Basu, Christos Verginis, Pushpak Jagtap
2024 J jnl
Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems.
CoRR
Ratnangshu Das, Ahan Basu, Pushpak Jagtap