Our paper ‘Network Assurance via Hybrid Systems Modelling and Set Invariance’ was published in Nonlinear Analysis: Hybrid Systems. The work introduces a model-predictive-control framework with formal network-assurance guarantees for service function chains. 🎉