Skip to content
B. Wu, M. Lemmon, and H. Lin, "Formal methods for stability analysis of networked control systems with IEEE 802.15.4 protocol" IEEE Transactions on Control Systems Technology, Volume: 26, Issue: 5, pp. 1635 - 1645, Sep. 2018 Sep. 2018