Formal methods for stability analysis of networked control systems with IEEE 802.15.4 protocol

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]

Authors

Bo Wu

This author has not been identified. Look up 'Bo Wu' in Google

Hai Lin

This author has not been identified. Look up 'Hai Lin' in Google

Michael Lemmon

This author has not been identified. Look up 'Michael Lemmon' in Google