Change search
ReferencesLink to record
Permanent link

Direct link
Compositional Modeling and Analysis of Multi-Hop Control Networks
KTH, School of Electrical Engineering (EES), Automatic Control. KTH, School of Electrical Engineering (EES), Centres, ACCESS Linnaeus Centre.ORCID iD: 0000-0001-9940-5929
Show others and affiliations
2011 (English)In: IEEE Transactions on Automatic Control, ISSN 0018-9286, E-ISSN 1558-2523, Vol. 56, no 10, 2345-2357 p.Article in journal (Refereed) Published
Abstract [en]

We propose a mathematical framework for modeling and analyzing multi-hop control networks designed for systems consisting of multiple control loops closed over a multi-hop (wireless) communication network. We separate control, topology, routing, and scheduling and propose formal syntax and semantics for the dynamics of the composed system, providing an explicit translation of multi-hop control networks to switched systems. We propose formal models for analyzing robustness of multi-hop control networks, where data is exchanged 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, 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 in presence of transient link failures, and give efficient decision procedures. We deal with errors that have random time span and show that, under some conditions, the permanent failure model can be used as a reliable abstraction. Our approach is compositional, namely it addresses the problem of designing scalable scheduling and routing policies for multiple control loops closed on the same multi-hop control network. We describe how the translation of multi-hop control networks to switched systems can be automated, and use it to solve control and networking co-design challenges in some representative examples, and to propose a scheduling solution in a mineral floatation control problem that can be implemented on a time triggered communication protocols for wireless networks.

Place, publisher, year, edition, pages
2011. Vol. 56, no 10, 2345-2357 p.
Keyword [en]
Compositional analysis, multi-hop sensor and actuator networks, networked control
National Category
Control Engineering
URN: urn:nbn:se:kth:diva-45591DOI: 10.1109/TAC.2011.2163873ISI: 000295581400009ScopusID: 2-s2.0-80053619737OAI: diva2:454046
TrenOp, Transport Research Environment with Novel PerspectivesICT - The Next Generation
QC 20111104Available from: 2011-11-04 Created: 2011-10-31 Last updated: 2011-11-24Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Johansson, Karl H.
By organisation
Automatic ControlACCESS Linnaeus Centre
In the same journal
IEEE Transactions on Automatic Control
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 117 hits
ReferencesLink to record
Permanent link

Direct link