Safety for Weakly-Hard Control Systems via Graph-Based Barrier Functions
The episode discusses a paper titled "Safety for Weakly-Hard Control Systems via Graph-Based Barrier Functions," which uses graph theory to verify safety and synthesize controllers for nonlinear systems subject to bounded failures like packet dropouts. Hosts explore how this method provides mathematical guarantees against unsafe states, and how reformulations can make the checks computationally feasible for real-time applications.