TY - GEN
T1 - Robust stability of multi-hop control networks
AU - Weiss, Gera
AU - D'Innocenzo, Alessandro
AU - Alur, Rajeev
AU - Johansson, Karl H.
AU - Pappas, George J.
PY - 2009/1/1
Y1 - 2009/1/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=77950824194&partnerID=8YFLogxK
U2 - 10.1109/CDC.2009.5400552
DO - 10.1109/CDC.2009.5400552
M3 - Conference contribution
AN - SCOPUS:77950824194
SN - 9781424438716
T3 - Proceedings of the IEEE Conference on Decision and Control
SP - 2210
EP - 2215
BT - Proceedings of the 48th IEEE Conference on Decision and Control held jointly with 2009 28th Chinese Control Conference, CDC/CCC 2009
PB - Institute of Electrical and Electronics Engineers
T2 - 48th IEEE Conference on Decision and Control held jointly with 2009 28th Chinese Control Conference, CDC/CCC 2009
Y2 - 15 December 2009 through 18 December 2009
ER -