Glycemic Safety Tube: A Provably Safe Control Framework for Artificial Pancreas Systems under Parametric Uncertainty. - Pukhrambam Akash Singh; Ratnangshu Das; Ahan Basu; Pushpak Jagtap (CoRR, 2026)