View Full Document

Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network



View the full content.
View Full Document
View Full Document

5 views

Unformatted text preview:

Correct by Construction and Optimal Synthesis of Beacon Enabled ZigBee Network S Xu and R Kumar Dept of Elec Comp Eng Iowa State Univ ISU and A Pinto United Technologies Research Center UTRC Abstract In this paper we develop a formal approach for the synthesis of a cost effective and correct byconstruction communication network focusing on ZigBee wireless networks subject to a set of end to end communication constraints of latency bandwidth and error rate together with the constraints of the network protocols and the desired geographical placement of the network We also develop a software platform to implement the proposed approach for network synthesis and apply it to a practical wireless network synthesis for centralized as well as distributed estimation application Note to Practitioners Network synthesis begins by specifying a set of point to point quality of service requirements of latency throughput and error rate For a ZigBee based wireless network one of the popular networks we present a mathematical approach to its synthesis for a given set of service specifications along with the geographical placement The approach formalizes the synthesis problem that can be adopted for other types of networks and guarantees its correctness as well as optimality Keywords network synthesis ZigBee Integer Linear Programming building automation I I NTRODUCTION In this paper we study the synthesis of a wireless network with time triggered medium access in particular the ZigBee network in its beacon enabled synchronized mode Our work on communication synthesis starts from a description of the communication requirements in terms of connectivity and quality of service QoS These requirements are derived by control engineers from the control performance requirements such as stability steady state error and settling time The fact that the requirements of sampling rate and measurement accuracy which depends on quantizationaccuracy as well as channel reliability impose certain end to



Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?