Modeling and analysis of multi-hop control networks

Rajeev Alur, Alessandro D'Innocenzo, Karl H. Johansson, George J. Pappas, Gera Weiss

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

43 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - 15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009
Pages223-232
Number of pages10
DOIs
StatePublished - 16 Jul 2009
Externally publishedYes
Event15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009 - San Francisco, CA, United States
Duration: 14 Apr 200916 Apr 2009

Publication series

NameProceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS
ISSN (Print)1545-3421

Conference

Conference15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009
Country/TerritoryUnited States
CitySan Francisco, CA
Period14/04/0916/04/09

ASJC Scopus subject areas

  • General Engineering

Fingerprint

Dive into the research topics of 'Modeling and analysis of multi-hop control networks'. Together they form a unique fingerprint.

Cite this