10 papers · 1 filter
Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic
Alex Beaudin, Hanna Krasowski, Eric Palanques-Tost +3
Signal Temporal Logic (STL) is increasingly used to describe interpretable objectives and constraints for optimal control and learning methods, especially when no target time serie…
Sampling-Aware Control Barrier Functions for Safety-Critical and Finite-Time Constrained Control
Shuo Liu, Wei Xiao, Calin A. Belta
In safety-critical control systems, ensuring both safety and feasibility under sampled-data implementations is crucial for practical deployment. Existing Control Barrier Function (…
Risk-Constrained Belief-Space Optimization for Safe Control under Latent Uncertainty
Clinton Enwerem, John S. Baras, Calin Belta
Many safety-critical control systems must operate under latent uncertainty that sensors cannot directly resolve at decision time. Such uncertainty, arising from unknown physical pr…
Event-Triggered Adaptive Taylor-Lagrange Control for Safety-Critical Systems
Shuo Liu, Wei Xiao, Christos G. Cassandras +1
This paper studies safety-critical control for nonlinear systems under sampled-data implementations of the controller. The recently proposed Taylor--Lagrange Control (TLC) method p…
Koopman-Based Linear MPC for Safe Control using Control Barrier Functions
Shuo Liu, Liang Wu, Dawei Zhang +2
This paper proposes a Koopman-based linear model predictive control (LMPC) framework for safety-critical control of nonlinear discrete-time systems. Existing MPC formulations based…
Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
Shuo Liu, Wei Xiao, Calin A. Belta
In safety-critical control systems, ensuring both system safety and smooth control input is essential for practical deployment. Existing Control Barrier Function (CBF) frameworks,…