Communication-Aware Synthesis of Safety Controller for Networked Control Systems
This work addresses safety-critical applications like networked control systems, but it is incremental as it builds on existing methods for robust control and invariant sets.
The paper tackles the synthesis of safety controllers for networked control systems with imperfect communication channels, guaranteeing safety by constructing robust safety invariant sets and verifying invariance via linear matrix inequalities, as demonstrated in a cruise control case study.
Networked control systems (NCS) are widely used in safety-critical applications, but they are often analyzed under the assumption of ideal communication channels. This work focuses on the synthesis of safety controllers for discrete-time linear systems affected by unknown disturbances operating in imperfect communication channels. The proposed method guarantees safety by constructing ellipsoidal robust safety invariant (RSI) sets and verifying their invariance through linear matrix inequalities (LMI), which are formulated and solved as semi-definite programming (SDP). In particular, our framework simultaneously considers controller synthesis and communication errors without requiring explicit modeling of the communication channel. A case study on cruise control problem demonstrates that the proposed controller ensures safety in the presence of unexpected disturbances and multiple communication imperfections simultaneously.