Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints

Documenti analoghi

• Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer with Input Constraints
  di: Jagabathula, Vaishnavi, et al.
  Pubblicazione: (2025)
• Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
  di: Das, Ratnangshu, et al.
  Pubblicazione: (2025)
• Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
  di: Das, Ratnangshu, et al.
  Pubblicazione: (2025)
• RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
  di: Gautam, Saksham, et al.
  Pubblicazione: (2024)
• Tracking Control of Euler-Lagrangian Systems with Prescribed State, Input, and Temporal Constraints
  di: Kashyap, Chidre Shravista, et al.
  Pubblicazione: (2025)