Skip to Main Content
In this paper, we extend our previous work by including the decisions for connection-scheduling as part of the automated synthesis of embedded networks for networked control systems. We propose an automated approach for the synthesis of a cost-effective and correct-by-construction communication network for embedded applications subject to a set of end-to-end communication constraints of latency, bandwidth, and error-rate, the geometry constraints arising due to a desired geographical placement of the network, and a set of scheduling constraints. We also apply the proposed approach for network synthesis with scheduling to the synthesis of wireless networks for centralized and distributed state estimation in building automation and control. The proposed approach is general enough to be applicable to wired and wireless network synthesis.