no code implementations • 11 Sep 2023 • Omid Akbarzadeh, Sadegh Soudjani, Abolfazl Lavaei
This work is concerned with a formal approach for safety controller synthesis of stochastic control systems with both process and measurement noises while considering wireless communication networks between sensors, controllers, and actuators.