Modeling and analysis of multi-hop control networks: RTAS 2009, Proceedings
2009 (English)In: 15TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATION SYMPOSIUM: RTAS 2009, Proceedings, IEEE Computer Society, 2009, 223-232 p.Conference paper (Refereed)
We propose a mathematical framework, inspired by the WirelessHART specification, for modeling and analysing 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.
Place, publisher, year, edition, pages
IEEE Computer Society, 2009. 223-232 p.
, Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, ISSN 1545-3421
IdentifiersURN: urn:nbn:se:kth:diva-80697DOI: 10.1109/RTAS.2009.40ISI: 000266729200022ScopusID: 2-s2.0-67650272805ISBN: 978-0-7695-3636-1OAI: oai:DiVA.org:kth-80697DiVA: diva2:496643
15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009; San Francisco, CA; 14 April 2009 through 16 April 2009
QC 201202102012-02-102012-02-102012-02-10Bibliographically approved