Formal methods for stability analysis of networked control systems with ieee 802.15. 4 protocol
| Title | Formal methods for stability analysis of networked control systems with ieee 802.15. 4 protocol |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Wu, Bo, Lemmon, Michael D, Lin, Hai |
| Journal | IEEE Transactions on Control Systems Technology |
| Keywords | 1446288 |
| Citation Key | wu2017formal |