| 1. |
- Alur, R., et al.
(författare)
-
Modeling and analysis of multi-hop control networks : RTAS 2009, Proceedings
- 2009
-
Ingår i: 15TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATION SYMPOSIUM. - : IEEE Computer Society. - 9780769536361 ; , s. 223-232
-
Konferensbidrag (refereegranskat)abstract
- We propose a mathematical framework, inspired by the WirelessHART specification, for modeling and analysing 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.
|
|
| 2. |
- D'Innocenzo, A., et al.
(författare)
-
Scalable scheduling algorithms for wireless networked control systems
- 2009
-
Ingår i: 2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING. - : IEEE. - 9781424445783 ; , s. 409-414
-
Konferensbidrag (refereegranskat)abstract
- In this paper, we address the problem of designing scalable scheduling and routing policies over a time-triggered multi-hop control network, when closing a considerable number of control loops on the same network. The key idea is to formally define by means of regular languages the set of schedules for each control loop that satisfy a given control specification, and to exploit operators on regular languages to compute the set of schedules for the whole system. In order to test our methodology, we address a mineral floatation control problem derived from the Boliden (a swedish mining company) mine in Garpenberg, and propose a scheduling solution that can be implemented on systems compliant with communication protocols for wireless networks (e.g. the WirelessHART specification).
|
|
