https://123dok.net/document/zlg1k1ly-distributed-synthesis-of-state-dependent-switching-control.html