From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics

arXiv:2502.19806 · eess.SY, cs.SY · Submitted 2025-02-27 · Read on arXiv

eess.SY, cs.SY

Submitted: 2025-02-27

Updated: 2026-09-25

Terminology

• Lyapunov function — 42× in this paper · explained in 2 episodes
• Robustness — 6× in this paper · explained in 5 episodes
• SMT solver — 4× in this paper · explained in 2 episodes
• University of Tehran — 3× in this paper
• Verification — 3× in this paper · explained in 2 episodes
• Formal Methods — 2× in this paper · explained in 3 episodes
• Hybrid System — 2× in this paper · explained in 2 episodes
• Regularization — 2× in this paper · explained in 3 episodes
• System Identification — 2× in this paper · explained in 3 episodes
• Abstraction — 1× in this paper · explained in 1 episode
• Analysis and Design of Hybrid Systems — 1× in this paper
• IEEE Conference on Decision and Control — 1× in this paper
• Satisfiability Modulo Theories — 1× in this paper

Sources

• Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics
• Data-driven input-to-state stabilization
• Compositionally Verifiable Vector Neural Lyapunov Functions for Stability Analysis of Interconnected Nonlinear Systems
• Data-driven stabilizer design and closed-loop analysis of general nonlinear systems via Taylor's expansion

Related papers

• One Request, Multiple Experts: LLM Orchestrates Domain Specific Models via Adaptive Task Routing
• A Geometric Decision Procedure for STL Feasibility and Repair
• Submodular Multi-Agent Policy Learning for Online Distributed Task Allocation in Open Multi-Agent Systems
• Policy-Level Recursive Self-Improvement for Embodied AI with a Criticality World Model
• Minimal Experiments for Robust Stabilization: Information, Spectral Geometry, and Duration
• Decentralized Power-Optimal Coordination for Spacecraft Swarms Using Time-Varying Magnetorquer Actuation