Formal methods for stability analysis of networked control systems with IEEE 802.15.4 protocol - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Bo Wu, Hai Lin, Michael Lemmon. Formal methods for stability analysis of networked control systems with IEEE 802.15.4 protocol. In 53rd IEEE Conference on Decision and Control, CDC 2014, Los Angeles, CA, USA, December 15-17, 2014. pages 5266-5271, IEEE, 2014. [doi]

The following publications are possibly variants of this publication:

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

Stability analysis for wireless networked control system in unslotted IEEE 802.15.4 protocolBo Wu, Hai Lin, Michael Lemmon. icca 2014: 1084-1089 [doi]

runs on WebDSL