Modeling and analysis of multi-hop control networks

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

doi:10.1109/RTAS.2009.40

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 proceeding › Conference contribution › peer-review

45 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 language	English
Title of host publication	Proceedings - 15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009
Pages	223-232
Number of pages	10
DOIs	https://doi.org/10.1109/RTAS.2009.40
State	Published - 16 Jul 2009
Externally published	Yes
Event	15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009 - San Francisco, CA, United States Duration: 14 Apr 2009 → 16 Apr 2009

Publication series

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

Conference

Conference	15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009
Country/Territory	United States
City	San Francisco, CA
Period	14/04/09 → 16/04/09

ASJC Scopus subject areas

General Engineering

Access to Document

10.1109/RTAS.2009.40

Cite this

Alur, R., D'Innocenzo, A., Johansson, K. H., Pappas, G. J., & Weiss, G. (2009). Modeling and analysis of multi-hop control networks. In Proceedings - 15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009 (pp. 223-232). Article 4840583 (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS). https://doi.org/10.1109/RTAS.2009.40

@inproceedings{8b32fe9f663d44808ab50f3a63afeab5,

title = "Modeling and analysis of multi-hop control networks",

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.",

author = "Rajeev Alur and Alessandro D'Innocenzo and Johansson, {Karl H.} and Pappas, {George J.} and Gera Weiss",

year = "2009",

month = jul,

day = "16",

doi = "10.1109/RTAS.2009.40",

language = "English",

isbn = "9780769536361",

series = "Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS",

pages = "223--232",

booktitle = "Proceedings - 15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009",

note = "15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009 ; Conference date: 14-04-2009 Through 16-04-2009",

}

Alur, R, D'Innocenzo, A, Johansson, KH, Pappas, GJ & Weiss, G 2009, Modeling and analysis of multi-hop control networks. in Proceedings - 15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009., 4840583, Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, pp. 223-232, 15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009, San Francisco, CA, United States, 14/04/09. https://doi.org/10.1109/RTAS.2009.40

Modeling and analysis of multi-hop control networks. / Alur, Rajeev; D'Innocenzo, Alessandro; Johansson, Karl H. et al.
Proceedings - 15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009. 2009. p. 223-232 4840583 (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Modeling and analysis of multi-hop control networks

AU - Alur, Rajeev

AU - D'Innocenzo, Alessandro

AU - Johansson, Karl H.

AU - Pappas, George J.

AU - Weiss, Gera

PY - 2009/7/16

Y1 - 2009/7/16

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=67650272805&partnerID=8YFLogxK

U2 - 10.1109/RTAS.2009.40

DO - 10.1109/RTAS.2009.40

M3 - Conference contribution

AN - SCOPUS:67650272805

SN - 9780769536361

T3 - Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

SP - 223

EP - 232

BT - Proceedings - 15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009

T2 - 15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009

Y2 - 14 April 2009 through 16 April 2009

ER -

Modeling and analysis of multi-hop control networks

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this