Safety-Critical Control of Compartmental Epidemiological Models with Measurement Delays

The candidate solution reproduces the paper’s control-barrier-function construction for multiplicative compartments (Ai) and extended control barrier for outlet compartments (Aj), and then uses the same max-of-controllers policy to guarantee simultaneous safety. This aligns with the paper’s model (ẇ = f(w)+g(w)u, ż = q(w)+r(z)) and safety condition ḣ ≥ −αh for multiplicative compartments and the extended barrier ḣe ≥ −αe he for outlet compartments . The single-compartment controller Ai and its proof correspond to Theorem 1 and equations (8)–(13) . The outlet-compartment controller Aj and its proof correspond to Theorem 2 and equations (16)–(22) . The max-aggregation u(t)=max{Ai,Aj} under the sign Assumption 1 matches Proposition 3 and equations (25)–(28) . The model’s proof gives the same invariance conclusions via standard linear comparison (monotonicity of e^{αt}h), i.e., it is essentially the same proof style with expanded case analysis; it does not claim the min-norm optimality that the paper’s QP argument also provides, but this is not required for forward invariance.