Robust Stability of Multi-Hop Networks

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Wireless
CPS Embedded Control
Computer Sciences
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Weiss, Gera
D'Innocenzo, Alessandro
Johansson, Karl H
Contributor
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.

Advisor
Date of presentation
2009-12-01
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T07:10:02.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Recommended citation
Collection