Learning Certified Neural Network Controllers Using Contraction and Interval Analysis

Documenti analoghi

• Certified Robust Invariant Polytope Training in Neural Controlled ODEs
  di: Harapanahalli, Akash, et al.
  Pubblicazione: (2024)
• Contraction-Guided Adaptive Partitioning for Reachability Analysis of Neural Network Controlled Systems
  di: Harapanahalli, Akash, et al.
  Pubblicazione: (2023)
• A Linear Differential Inclusion for Contraction Analysis to Known Trajectories
  di: Harapanahalli, Akash, et al.
  Pubblicazione: (2024)
• Efficient Interaction-Aware Interval Analysis of Neural Network Feedback Loops
  di: Jafarpour, Saber, et al.
  Pubblicazione: (2023)
• Efficient Reachable Sets on Lie Groups Using Lie Algebra Monotonicity and Tangent Intervals
  di: Harapanahalli, Akash, et al.
  Pubblicazione: (2024)