Certified Scalable Enclosures for Uncertain Underdetermined Systems

arXiv:2610.11660 · eess.SY, cs.SY, q-bio.QM · Submitted 2026-10-08 · Read on arXiv

eess.SY, cs.SY, q-bio.QM

Submitted: 2026-10-08

Updated: 2026-10-08

Code: https://github.com/RudraPrakashIITDelhi/IntervalLinearSystems

Terminology

• System Identification — 2× in this paper · explained in 3 episodes
• Adaptation — 1× in this paper · explained in 1 episode
• Bayesian Inference — 1× in this paper · explained in 5 episodes
• Benchmark — 1× in this paper · explained in 2 episodes
• Inverse Problem — 1× in this paper · explained in 2 episodes
• Robustness — 1× in this paper · explained in 5 episodes
• Sparsity — 1× in this paper · explained in 4 episodes
• Uncertainty Quantification — 1× in this paper · explained in 8 episodes

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