TY - RPRT TI - Safety of layered control systems via control barrier morphisms AU - Aaron D. Ames AU - Joe Moeller AU - Massimiliano de Sa AU - Paulo Tabuada PY - 2026 UR - https://arxiv.org/abs/2610.38108 ID - 2610.38108 ER -