Scalable scheduling algorithms for wireless networkedcontrol systems
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Methodology and tools for controller-networking codesign in wirelessHART
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Selective placement of high-reliability operation in grid-style wireless control networks
ICCSA'11 Proceedings of the 2011 international conference on Computational science and Its applications - Volume Part V
Performance-aware scheduler synthesis for control systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Interfaces for control components
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Design of a slot assignment scheme for link error distribution on wireless grid networks
ICA3PP'10 Proceedings of the 10th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
Verification of Safety and Liveness Properties of Metric Transition Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Robust architectures for embedded wireless network control and actuation
ACM Transactions on Embedded Computing Systems (TECS)
Near optimal rate selection for wireless control systems
ACM Transactions on Embedded Computing Systems (TECS)
| Hi-index | 0.00 |
We propose a mathematical framework, inspired by the Wireless HART specification, for modeling and analyzing multi-hop communication networks. The framework is designed for systems consisting of multiple control loops closed over a multi-hop communication network. We separate control, topology, routing, and scheduling and propose formal syntax and semantics for the dynamics of the composed system. The main technical contribution of the paper is an explicit translation of multi-hop control networks to switched systems. We describe a Mathematica notebook that automates the translation of multihop control networks to switched systems, and use this tool to show how techniques for analysis of switched systems can be used to address control and networking co-design challenges.