Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer with Input Constraints
Fuente:
arXiv
Guardado en:
| Autores principales: | Jagabathula, Vaishnavi, Basu, Ahan, Jagtap, Pushpak |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
por: Jagabathula, Vaishnavi, et al.
Publicado: (2025)
por: Jagabathula, Vaishnavi, et al.
Publicado: (2025)
Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems
por: Basu, Ahan, et al.
Publicado: (2025)
por: Basu, Ahan, et al.
Publicado: (2025)
Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
por: Basu, Ahan, et al.
Publicado: (2025)
por: Basu, Ahan, et al.
Publicado: (2025)
Input-to-State Stabilizing Neural Controllers for Unknown Switched Nonlinear Systems within Compact Sets
por: Dey, Bhabani Shankar, et al.
Publicado: (2026)
por: Dey, Bhabani Shankar, et al.
Publicado: (2026)
Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
por: Basu, Ahan, et al.
Publicado: (2025)
por: Basu, Ahan, et al.
Publicado: (2025)
Spatiotemporal Tubes based Control of Unknown Multi-Agent Systems for Temporal Reach-Avoid-Stay Tasks
por: Basu, Ahan, et al.
Publicado: (2025)
por: Basu, Ahan, et al.
Publicado: (2025)
Neural Controller for Incremental Stability of Unknown Continuous-time Systems
por: Basu, Ahan, et al.
Publicado: (2025)
por: Basu, Ahan, et al.
Publicado: (2025)
Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
por: Das, Ratnangshu, et al.
Publicado: (2024)
por: Das, Ratnangshu, et al.
Publicado: (2024)
Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
por: Das, Ratnangshu, et al.
Publicado: (2025)
por: Das, Ratnangshu, et al.
Publicado: (2025)
Glycemic Safety Tube: A Provably Safe Control Framework for Artificial Pancreas Systems under Parametric Uncertainty
por: Singh, Pukhrambam Akash, et al.
Publicado: (2026)
por: Singh, Pukhrambam Akash, et al.
Publicado: (2026)
Prescribed Performance Control of Unknown Euler-Lagrange Systems Under Input Constraints
por: Das, Ratnangshu, et al.
Publicado: (2025)
por: Das, Ratnangshu, et al.
Publicado: (2025)
Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
por: Sawarkar, Shubham, et al.
Publicado: (2025)
por: Sawarkar, Shubham, et al.
Publicado: (2025)
Tracking Control of Euler-Lagrangian Systems with Prescribed State, Input, and Temporal Constraints
por: Kashyap, Chidre Shravista, et al.
Publicado: (2025)
por: Kashyap, Chidre Shravista, et al.
Publicado: (2025)
Stochastic Neural Control Barrier Functions
por: Zhang, Hongchao, et al.
Publicado: (2025)
por: Zhang, Hongchao, et al.
Publicado: (2025)
Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
por: Das, Ratnangshu, et al.
Publicado: (2025)
por: Das, Ratnangshu, et al.
Publicado: (2025)
CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions
por: Tayal, Manan, et al.
Publicado: (2025)
por: Tayal, Manan, et al.
Publicado: (2025)
Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes
por: Das, Ratnangshu, et al.
Publicado: (2025)
por: Das, Ratnangshu, et al.
Publicado: (2025)
Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints
por: Wang, Han, et al.
Publicado: (2024)
por: Wang, Han, et al.
Publicado: (2024)
Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions
por: Singh, Aditya, et al.
Publicado: (2025)
por: Singh, Aditya, et al.
Publicado: (2025)
Quantification of Sim2Real Gap via Neural Simulation Gap Function
por: Sangeerth, P, et al.
Publicado: (2025)
por: Sangeerth, P, et al.
Publicado: (2025)
Periodic Event-Triggered Prescribed Time Control of Euler-Lagrange Systems under State and Input Constraints
por: Kashyap, Chidre Shravista, et al.
Publicado: (2025)
por: Kashyap, Chidre Shravista, et al.
Publicado: (2025)
Funnel-based Control for Reach-Avoid-Stay Specifications
por: Das, Ratnangshu, et al.
Publicado: (2023)
por: Das, Ratnangshu, et al.
Publicado: (2023)
Data-Driven Input-Output Control Barrier Functions
por: Bajelani, Mohammad, et al.
Publicado: (2025)
por: Bajelani, Mohammad, et al.
Publicado: (2025)
Real Time Safety of Fixed-wing UAVs using Collision Cone Control Barrier Functions
por: Agarwal, Aryan, et al.
Publicado: (2024)
por: Agarwal, Aryan, et al.
Publicado: (2024)
Backstepping Design for Incremental Input-to-State Stabilization of Unknown Systems
por: Sundarsingh, David Smith, et al.
Publicado: (2024)
por: Sundarsingh, David Smith, et al.
Publicado: (2024)
Controller for Incremental Input-to-State Practical Stabilization of Partially Unknown systems with Invariance Guarantees
por: Sangeerth, P, et al.
Publicado: (2025)
por: Sangeerth, P, et al.
Publicado: (2025)
Output Feedback Backup Control Barrier Functions: Safety Guarantees Under Input Bounds and State Estimation Error
por: van Wijk, David E. J., et al.
Publicado: (2026)
por: van Wijk, David E. J., et al.
Publicado: (2026)
Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems
por: Das, Ratnangshu, et al.
Publicado: (2025)
por: Das, Ratnangshu, et al.
Publicado: (2025)
RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
por: Gautam, Saksham, et al.
Publicado: (2024)
por: Gautam, Saksham, et al.
Publicado: (2024)
Towards Certified Sim-to-Real Transfer via Stochastic Simulation-Gap Functions
por: Sangeerth, P, et al.
Publicado: (2026)
por: Sangeerth, P, et al.
Publicado: (2026)
Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
por: Das, Ratnangshu, et al.
Publicado: (2025)
por: Das, Ratnangshu, et al.
Publicado: (2025)
Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates
por: Tayal, Manan, et al.
Publicado: (2024)
por: Tayal, Manan, et al.
Publicado: (2024)
Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
por: Upadhyay, Siddhartha, et al.
Publicado: (2025)
por: Upadhyay, Siddhartha, et al.
Publicado: (2025)
Feedback Optimization with State Constraints through Control Barrier Functions
por: Delimpaltadakis, Giannis, et al.
Publicado: (2025)
por: Delimpaltadakis, Giannis, et al.
Publicado: (2025)
Incorporating Social Awareness into Control of Unknown Multi-Agent Systems: A Real-Time Spatiotemporal Tubes Approach
por: Upadhyay, Siddhartha, et al.
Publicado: (2025)
por: Upadhyay, Siddhartha, et al.
Publicado: (2025)
Learning Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks using Physics-Informed Neural Networks
por: Basu, Ahan, et al.
Publicado: (2025)
por: Basu, Ahan, et al.
Publicado: (2025)
Sliding Mode Control for Safe Trajectory Tracking with Moving Obstacles Avoidance: Experimental Validation on Planar Robots
por: Sawarkar, Shubham, et al.
Publicado: (2026)
por: Sawarkar, Shubham, et al.
Publicado: (2026)
Co-state Neural Network for Real-time Nonlinear Optimal Control with Input Constraints
por: Lian, Lihan, et al.
Publicado: (2025)
por: Lian, Lihan, et al.
Publicado: (2025)
Fully Actuated Manifold Constraint Based Output Feedback Control for Input-Constrained Uncertain Nonlinear Systems
por: Mu, Dianrui, et al.
Publicado: (2026)
por: Mu, Dianrui, et al.
Publicado: (2026)
Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach
por: Sangeerth, P, et al.
Publicado: (2024)
por: Sangeerth, P, et al.
Publicado: (2024)
Ejemplares similares
-
Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
por: Jagabathula, Vaishnavi, et al.
Publicado: (2025) -
Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems
por: Basu, Ahan, et al.
Publicado: (2025) -
Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems
por: Basu, Ahan, et al.
Publicado: (2025) -
Input-to-State Stabilizing Neural Controllers for Unknown Switched Nonlinear Systems within Compact Sets
por: Dey, Bhabani Shankar, et al.
Publicado: (2026) -
Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks
por: Basu, Ahan, et al.
Publicado: (2025)