Publication Library
Filters
Model checking Model checking IEEE 802.15 standard IEEE 802.15 standard Model checking Networked control systems
Citation | Research Areas | Publication Date |
---|---|---|
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 |