Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer with Input Constraints

Documenti analoghi

• Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
  di: Jagabathula, Vaishnavi, et al.
  Pubblicazione: (2025)
• Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems
  di: Basu, Ahan, et al.
  Pubblicazione: (2025)
• Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown 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)
• Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
  di: Basu, Ahan, et al.
  Pubblicazione: (2025)