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

Documenti analoghi

• Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
  di: Basu, Ahan, et al.
  Pubblicazione: (2025)
• Neural Controller for Incremental Stability of Unknown Continuous-time Systems
  di: Basu, Ahan, et al.
  Pubblicazione: (2025)
• Input-to-State Stabilizing Neural Controllers for Unknown Switched Nonlinear Systems within Compact Sets
  di: Dey, Bhabani Shankar, et al.
  Pubblicazione: (2026)
• Backstepping Design for Incremental Input-to-State Stabilization of Unknown Systems
  di: Sundarsingh, David Smith, et al.
  Pubblicazione: (2024)
• Controller for Incremental Input-to-State Practical Stabilization of Partially Unknown systems with Invariance Guarantees
  di: Sangeerth, P, et al.
  Pubblicazione: (2025)