This paper introduces the concept of a generalized (nonsmooth) Lyapunov barrier function (GenLBF) to unify control Lyapunov function (CLF) and control barrier function (CBF) for certifying KL-stability and safety of nonlinear control systems. The authors propose a systematic approach for constructing a suitable GenLBF and an efficient method for evaluating its generalized derivative. The GenLBF-based control design ensures safe stabilization of both autonomous and non-autonomous systems.
This paper presents unified sufficient Lyapunov conditions to guarantee the predefined-time and finite-time stability of autonomous nonlinear systems. The proposed Lyapunov theorem consolidates and generalizes existing results on predefined-time and finite-time stability.
Utilizing Freedman’s inequality in discrete-time control barrier functions provides stronger safety guarantees for stochastic systems.
Continuous-time q-learning introduces integrated q-functions for mean-field control problems, enabling efficient learning algorithms.
Die Verwendung des Buckingham π-Theorems ermöglicht die Verallgemeinerung von numerischen Ergebnissen für Bewegungssteuerungsprobleme.
Characterizing the convex hulls of reachable sets simplifies estimation algorithms efficiently.
Harmonic Control Lyapunov Barrier Functions provide stability and safety guarantees for reach-avoid problems in control systems.
Introducing L1-MBRL for robust reinforcement learning with model-based algorithms.
Modification of DREM procedure eliminates bias in parameter estimation.
DGDA method introduces a dissipation term to stabilize oscillatory behavior in GDA, achieving superior convergence rates.