Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol

Bo Wu 0005, Michael D. Lemmon, Hai Lin 0002. Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol. IEEE Trans. Contr. Sys. Techn., 26(5):1635-1645, 2018. [doi]

Abstract

Abstract is missing.