1 citations · 2 across the 11 of their papers we have counts for
5 papers · 1 filter
Controller for Incremental Input-to-State Practical Stabilization of Partially Unknown systems with Invariance Guarantees
P Sangeerth, David Smith Sundarsingh, Bhabani Shankar Dey +1
Incremental stability is a property of dynamical systems that ensures the convergence of trajectories with respect to each other rather than a fixed equilibrium point or a fixed tr…
Neural Controller for Incremental Stability of Unknown Continuous-time Systems
Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap
This work primarily focuses on synthesizing a controller that guarantees an unknown continuous-time system to be incrementally input-to-state stable (-ISS). In this context, the…
Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems
Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap
This work aims to synthesize a controller that ensures that an unknown discrete-time system is incrementally input-to-state stable (-ISS). In this work, we introduce the notion…
On the Contraction Analysis of Nonlinear System with Multiple Equilibrium Points
Riddhi Mohan Bora, Bhabani Shankar Dey, Indra Narayan Kar
In this work, we leverage the 2-contraction theory, which extends the capabilities of classical contraction theory, to develop a global stability framework. Coupled with powerful g…
Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap
This work presents an approach to synthesize a Lyapunov-like function to ensure incrementally input-to-state stability (-ISS) property for an unknown discrete-time system. To de…