Date of this Version
We propose a mathematical framework, inspired by the Wireless HART specification, for modeling and analyzing multi-hop communication networks. The framework is designed for systems consisting of multiple control loops closed over a multi-hop communication network. We separate control, topology, routing, and scheduling and propose formal syntax and semantics for the dynamics of the composed system. The main technical contribution of the paper is an explicit translation of multi-hop control networks to switched systems. We describe a Mathematica notebook that automates the translation of multihop control networks to switched systems, and use this tool to show how techniques for analysis of switched systems can be used to address control and networking co-design challenges.
radiocommunication, telecommunication network routing, telecommunication network topology, control co-design, formal syntax, mathematica notebook, multihop communication networks, multihop control networks, networking co-design, switched systems, wireless HART specification
Date Posted: 06 July 2009