会员服务
LACART: Lookahead-Augmented Collision Avoidance and Reference Tracking Strategies for Safety-Critical Robots
Arxiv
0+阅读 · 11月6日
Spectral Gap Inheritance for Metropolis-Hastings with Reversible Proposals
Arxiv
0+阅读 · 11月2日
Computing Invariant Reachable Sets through Sum-of-Squares Programming
Arxiv
0+阅读 · 11月3日
A Learning Stability Profile for Finite-Dimensional Learning Dynamics
Arxiv
0+阅读 · 10月29日
Learning Maximal Regions of Attraction on Compact Sets using Taylor Lyapunov Networks
Arxiv
0+阅读 · 10月29日
Riemannian Lyapunov Framework: Optimization as Closed Loop Control on Riemannian Manifolds
Arxiv
0+阅读 · 10月29日
Dissipation Bounds and Hardness in Globally Asymptotically Stable Quadratic Systems
Arxiv
0+阅读 · 10月22日
Convergence of Large-Stepsize SGD for the Cross-entropy Loss via Stochastic Lyapunov Stability
Arxiv
0+阅读 · 10月22日
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification
Arxiv
0+阅读 · 10月21日
Queue-Aware ISAC Power Allocation Under Imperfect CSI: Integer-Service Analysis and Anchored Lyapunov Look-Ahead
Arxiv
0+阅读 · 10月18日
ControlJEPA: Principled Trajectory Regularization via Lyapunov Tube Loss
Arxiv
0+阅读 · 10月18日
Learning Provable Neural Network Observer for Uncertain Dynamical Systems
Arxiv
0+阅读 · 10月14日
No Undesirable Equilibria, No Collisions: Combining Modulation and Control Barrier Functions for Liveness and Safety in Dynamic Collision Avoidance
Arxiv
0+阅读 · 10月11日
A Rate Transfer Method: Convergence Rates in Stochastic Gradient Descent via Stochastic Calculus
Arxiv
0+阅读 · 10月13日
Lyapunov-based analysis of functional stability for edge computing systems
Arxiv
0+阅读 · 7月27日
参考链接
微信扫码咨询专知VIP会员
Top