2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium Modeling and Analysis of Multi-hop Control Networks San Francisco, CA April 13-April 16 ISBN: 978-0-7695-3636-1
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTAS.2009.40
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.
Citation:
Rajeev Alur, Alessandro D, Karl H. Johansson, George J. Pappas, Gera Weiss, "Modeling and Analysis of Multi-hop Control Networks," rtas, pp.223-232, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||