
Departmental Papers (CIS)
Date of this Version
12-2009
Document Type
Conference Paper
Recommended Citation
Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl H. Johansson, and George J. Pappas, "Robust Stability of Multi-Hop Networks", Proceedings of the 48th IEEE Conference on Decision and Control, 2009, Held Jointly With the 2009 28th Chinese Control Conference (CDC/CCC 2009) , 2210-2215. December 2009. http://dx.doi.org/10.1109/CDC.2009.5400552
Abstract
We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent through a multi-hop communication network subject to disruptions. When communication disruptions are long, compared to the speed of the control system, we propose to model them as permanent link failures. We show that the complexity of analyzing such failures is NP-hard, and discuss a way to overcome this limitation for practical cases using compositional analysis. For typical packet transmission errors (errors with short time span), we propose a transient error model where links fail for one time slot independently of the past and of other links. We provide sufficient conditions for almost sure stability (stability with probability one) in presence of transient link failures, and give efficient decision procedures. The last part of the paper deals with errors that have random time span. We show that, under some conditions, the permanent failure model can be used as a reliable abstraction.
Subject Area
CPS Wireless, CPS Embedded Control
Publication Source
Proceedings of the 48th IEEE Conference on Decision and Control, 2009, Held Jointly With the 2009 28th Chinese Control Conference (CDC/CCC 2009)
Start Page
2210
Last Page
2215
DOI
10.1109/CDC.2009.5400552
Copyright/Permission Statement
© 2009 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Date Posted: 16 July 2012