Communication-Aware Synthesis of Safety Controller for Networked Control Systems
This work synthesizes a safety controller for networked control systems that accounts for imperfect communication channels. It constructs ellipsoidal robust safety invariant (RSI) sets and verifies their safety using linear matrix inequalities (LMI). The method simultaneously designs the controller and handles communication errors without needing an explicit model of the channel.