Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Robust Stability of Multi-Hop Control Networks Gera Weiss1, Alessandro D'Innocenzo1,2, Rajeev Alur1, Karl H. Johansson3, George J. Pappas1
 

Summary: Robust Stability of Multi-Hop Control Networks
Gera Weiss1, Alessandro D'Innocenzo1,2, Rajeev Alur1, Karl H. Johansson3, George J. Pappas1
1
University of Pennsylvania, Philadelphia PA
2
University of L'Aquila, Italy
3
Royal Institute of Technology, Stockholm, Sweden
Abstract-- We propose formal models for analyzing robust-
ness 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

  

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

 

Collections: Computer Technologies and Information Sciences