Copertina

Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Liu, Wenliang, Liu, Shuo, Xiao, Wei, Belta, Calin A.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

ABNet: Attention BarrierNet for Safe and Scalable Robot Learning
di: Xiao, Wei, et al.
Pubblicazione: (2024)

Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons
di: Liu, Shuo, et al.
Pubblicazione: (2023)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
di: Liu, Shuo, et al.
Pubblicazione: (2023)

Auxiliary-Variable Adaptive Control Barrier Functions
di: Liu, Shuo, et al.
Pubblicazione: (2025)

Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
di: Liu, Shuo, et al.
Pubblicazione: (2025)

Sampling-Aware Control Barrier Functions for Safety-Critical and Finite-Time Constrained Control
di: Liu, Shuo, et al.
Pubblicazione: (2025)

Interpretable Imitation Learning via Generative Adversarial STL Inference and Control
di: Liu, Wenliang, et al.
Pubblicazione: (2024)

Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks
di: Berlind, Carter, et al.
Pubblicazione: (2024)

Koopman-Based Linear MPC for Safe Control using Control Barrier Functions
di: Liu, Shuo, et al.
Pubblicazione: (2026)

Variational Neural Belief Parameterizations for Robust Dexterous Grasping under Multimodal Uncertainty
di: Enwerem, Clinton, et al.
Pubblicazione: (2026)

Auxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications
di: Liu, Shuo, et al.
Pubblicazione: (2024)

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
di: Matheu, Ryan, et al.
Pubblicazione: (2026)

Learning from Imperfect Demonstrations via Temporal Behavior Tree-Guided Trajectory Repair
di: Puranic, Aniruddh G., et al.
Pubblicazione: (2026)

Event-Triggered Adaptive Taylor-Lagrange Control for Safety-Critical Systems
di: Liu, Shuo, et al.
Pubblicazione: (2026)

Risk-Aware Adaptive Control Barrier Functions for Safe Control of Nonlinear Systems under Stochastic Uncertainty
di: Liu, Shuo, et al.
Pubblicazione: (2025)

Learning-Enabled Iterative Convex Optimization for Safety-Critical Model Predictive Control
di: Liu, Shuo, et al.
Pubblicazione: (2024)

Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions
di: Castañeda, Fernando, et al.
Pubblicazione: (2022)

Safety-Critical Planning and Control for Dynamic Obstacle Avoidance Using Control Barrier Functions
di: Liu, Shuo, et al.
Pubblicazione: (2024)

Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
di: Bozkurt, Alper Kamil, et al.
Pubblicazione: (2025)

Learning Local Control Barrier Functions for Hybrid Systems
di: Yang, Shuo, et al.
Pubblicazione: (2024)

Risk-Constrained Belief-Space Optimization for Safe Control under Latent Uncertainty
di: Enwerem, Clinton, et al.
Pubblicazione: (2026)

Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations
di: Lindemann, Lars, et al.
Pubblicazione: (2021)

Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions
di: Xiao, Wei, et al.
Pubblicazione: (2023)

Control Barrier Functions via Minkowski Operations for Safe Navigation among Polytopic Sets
di: Chen, Yi-Hsuan, et al.
Pubblicazione: (2025)

Feasible Policy Iteration for Safe Reinforcement Learning
di: Yang, Yujie, et al.
Pubblicazione: (2023)

Koopman Data-Driven Predictive Control with Robust Stability and Recursive Feasibility Guarantees
di: de Jong, Thomas, et al.
Pubblicazione: (2024)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
di: Hu, Hanjiang, et al.
Pubblicazione: (2024)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
di: Liu, Ruijia, et al.
Pubblicazione: (2025)

Communication-aware Wide-Area Damping Control using Risk-Constrained Reinforcement Learning
di: Kwon, Kyung-bin, et al.
Pubblicazione: (2025)

Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control
di: Cohen, Max H., et al.
Pubblicazione: (2023)

Improved Sample Complexity of Imitation Learning for Barrier Model Predictive Control
di: Pfrommer, Daniel, et al.
Pubblicazione: (2024)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
di: Hashemi, Navid, et al.
Pubblicazione: (2024)

Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions
di: Compton, William D., et al.
Pubblicazione: (2024)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
di: Rousseas, Panagiotis, et al.
Pubblicazione: (2026)

Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation
di: Manda, Lakshmideepakreddy, et al.
Pubblicazione: (2024)

Sample Efficient Certification of Discrete-Time Control Barrier Functions
di: Mulagaleti, Sampath Kumar, et al.
Pubblicazione: (2025)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
di: Ajeyemi, Damola, et al.
Pubblicazione: (2025)

Towards an Optimal Control Perspective of ResNet Training
di: Püttschneider, Jens, et al.
Pubblicazione: (2025)

Learning-Enhanced Safeguard Control for High-Relative-Degree Systems: Robust Optimization under Disturbances and Faults
di: Wang, Xinyang, et al.
Pubblicazione: (2025)

Response-Aware Risk-Constrained Control Barrier Function With Application to Vehicles
di: Liao, Qijun, et al.
Pubblicazione: (2026)