Safety Controller Synthesis for Stochastic Networked Systems under Communication Constraints
Omid Akbarzadeh, Mohammad H. Mamduhi, Abolfazl Lavaei

TL;DR
This paper presents a method for designing safety controllers for stochastic networked systems with communication delays and data loss, ensuring safety with probabilistic guarantees.
Contribution
It introduces an augmented stochastic system model and uses control barrier certificates to synthesize controllers under communication constraints.
Findings
Successfully guarantees safety with probabilistic bounds.
Validates approach on an RLC circuit example.
Translates safety constraints into matrix inequalities.
Abstract
This paper develops a framework for synthesizing safety controllers for discrete-time stochastic linear control systems (dt-SLS) operating under communication imperfections. The control unit is remote and communicates with the sensor and actuator through an imperfect wireless network. We consider a constant delay in the sensor-to-controller channel (uplink), and data loss in both sensor-to-controller and controller-to-actuator (downlink) channels. In our proposed scheme, data loss in each channel is modeled as an independent Bernoulli-distributed random process. To systematically handle the uplink delay, we first introduce an augmented discrete-time stochastic linear system (dt-ASLS) by concatenating all states and control inputs that sufficiently represent the state-input evolution of the original dt-SLS under the delay and packet loss constraints. We then leverage control barrier…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
