Abstract
Executing a set of control loops over a shared multi-hop (wireless) control network (MCN) requires careful co-scheduling of the control tasks and the routing of sensory/actuation messages over the MCN. In this work, we establish pattern guided aperiodic execution of control loops as a resource-aware alternative to traditional fully periodic executions of a set of embedded control loops sharing a computation and the communication infrastructure. We provide a satisfiability modulo theory–based co-design framework that synthesizes loop execution patterns having optimized control cost as the underlying scheduling scheme together with the associated routing solution over the MCN. The routing solution implements the timed movement of the sensory/actuation messages of the control loops, generated according to those loop execution patterns. From the given settling time requirement of the control loops, we compute a control theoretically sound model using matrix inequalities, which gives an upper bound to the number of loop drops within the finite length loop execution pattern. Next, we show how the proposed framework can be useful for evaluating the fault tolerance of a resource-constrained shared MCN subject to communication link failure.
- Rajeev Alur, Alessandro D’Innocenzo, Karl H. Johansson, George J. Pappas, and Gera Weiss. 2009. Modeling and analysis of multi-hop control networks. In Proceedings of the 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’09). 223--232.Google Scholar
Digital Library
- R. Alur, A. D’Innocenzo, K. H. Johansson, and G. J. Pappas, and G. Weiss. 2011. Compositional modeling and analysis of multi-hop control networks. IEEE Transactions on Automatic Control 56, 10 (Oct. 2011), 2345--2357.Google Scholar
Cross Ref
- Jia Bai, Emeka P. Eyisi, Yuan Xue, and Xenofon D. Koutsoukos. 2011. Distributed sampling rate adaptation for networked control systems. In Proceedings of the 2011 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS’11). 768--773.Google Scholar
- J. Bai, E. P. Eyisi, F. Qiu, Y. Xue, and X. D. Koutsoukos. 2012. Optimal cross-layer design of sampling rate adaptation and network scheduling for wireless networked control systems. In Proceedings of the 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems (ICCPS’12). 107--116.Google Scholar
- Nikolaj Bjørner, Anh-Dung Phan, and Lars Fleckenstein. 2015. Z—An optimizing SMT solver. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’15). 194--199.Google Scholar
- Christian Choffrut and Juhani Karhumäki. 1997. Combinatorics of words. In Handbook of Formal Languages—Volume 1: Word, Language, Grammar, G. Rozenberg and A. Salomaa (Eds). Springer, 329--438.Google Scholar
- Silviu S. Craciunas and Ramon Serna Oliver. 2016. Combined task- and network-level scheduling for distributed time-triggered systems. Real-Time Systems 52, 2 (March 2016), 161--200.Google Scholar
Digital Library
- A. D’Innocenzo, G. Weiss, R. Alur, A. J. Isaksson, K. H. Johansson, and G. J. Pappas. 2009. Scalable scheduling algorithms for wireless networked control systems. In Proceedings of the 2009 IEEE International Conference on Automation Science and Engineering (CASE’09). 409--414.Google Scholar
- A. D’Innocenzo, M. D. Di Benedetto, and E. Serra. 2013. Fault tolerant control of multi-hop control networks. IEEE Transactions on Automatic Control 58, 6 (2013), 1377--1389.Google Scholar
Cross Ref
- A. D’Innocenzo, M. D. Di Benedetto, and E. Serra. 2011. Link failure detection in multi-hop control networks. In Proceedings of the 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC’11). 5248--5253.Google Scholar
- Manoj G. Dixit, S. Ramesh, and Pallab Dasgupta. 2014. Time-budgeting: A component based development methodology for real-time embedded systems. Formal Aspects of Computing 26, 3 (May 2014), 591--621.Google Scholar
Digital Library
- D. A. Dowler. 2013. Bounding the norm of matrix powers. Master’s Thesis. Brigham Young University.Google Scholar
- P. Erdös and A. Rényi. 1959. On random graphs, I. Publicationes Mathematicae (Debrecen) 6 (1959), 290--297.Google Scholar
Cross Ref
- G. Fiore, V. Ercoli, A. J. Isaksson, K. Landernas, and M. D. Di Benedetto. 2009. Multihop multi-channel scheduling for wireless control in wirelessHART networks. In Proceedings of the 2009 IEEE Conference on Emerging Technologies and Factory Automation (ETFA’09). 1--8.Google Scholar
- S. Ghosh, S. Dutta, S. Dey, and P. Dasgupta. 2017. A structured methodology for pattern based adaptive scheduling in embedded control. ACM Transactions on Embedded Computing Systems 16, 5s (Sept. 2017), Article 189, 22 pages.Google Scholar
Digital Library
- S. Ghosh, S. Dey, and P. Dasgupta. 2018. Co-synthesis of loop execution patterns for multihop control networks. IEEE Embedded Systems Letters 10, 4 (2018), 111--114.Google Scholar
Digital Library
- S. Ghosh, S. Dey, and P. Dasgupta. 2019. Performance and energy aware robust specification of control execution patterns under dropped samples. IET Computers and Digital Techniques 13, 6 (Nov. 2019), 493--504.Google Scholar
Cross Ref
- R. Jacob, M. Zimmerling, P. Huang, J. Beutel, and L. Thiele. 2016. End-to-end real-time guarantees in wireless cyber-physical systems. In Proceedings of the 2016 IEEE Real-Time Systems Symposium (RTSS’16). 167--178.Google Scholar
- B. Li, Y. Ma, T. Westenbroek, C. Wu, H. Gonzalez, and C. Lu. 2016. Wireless routing and control: A cyber-physical case study. In Proceedings of the 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS’16). 1--10.Google Scholar
- C. Lu, A. Saifullah, B. Li, M. Sha, H. Gonzalez, D. Gunatilaka, C. Wu, L. Nie, and Y. Chen. 2016. Real-time wireless sensor-actuator networks for industrial cyber-physical systems. Proceedings of the IEEE 104, 5 (May 2016), 1013--1024.Google Scholar
Cross Ref
- Q. Ma, K. Liu, Z. Cao, T. Zhu, and Y. Liu. 2015. Link scanner: Faulty link detection for wireless sensor networks. IEEE Transactions on Wireless Communications 14, 8 (Aug. 2015), 4428--4438.Google Scholar
Digital Library
- Yehan Ma, Dolvara Gunatilaka, Bo Li, Humberto Gonzalez, and Chenyang Lu. 2018. Holistic cyber-physical management for dependable wireless control systems. ACM Transactions on Cyber-Physical Systems 3, 1 (Sept. 2018), Article 3, 25 pages.Google Scholar
Digital Library
- F. Mager, D. Baumann, R. Jacob, L. Thiele, S. Trimpe, and M. Zimmerling. 2019. Feedback control goes wireless: Guaranteed stability over low-power multi-hop networks. In Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS’19). 97--108.Google Scholar
- R. Mahfouzi, A. Aminifar, S. Samii, A. Rezine, P. Eles, and Z. Peng. 2018. Stability-aware integrated routing and scheduling for control applications in Ethernet networks. In Proceedings of the 2018 Design, Automation, and Test in Europe Conference and Exhibition (DATE’18). 682--687.Google Scholar
- Rahul Mangharam and Miroslav Pajic. 2013. Distributed control for cyber-physical systems. Journal of the Indian Institute of Science 93, 3 (2013), 353--387.Google Scholar
- W. C. Messner and D. M. Tilbury. [n.d.]. Control Tutorials for MATLAB and Simulink: A Web-Based Approach. Retrieved December 30, 2019 from http://ctms.engin.umich.edu/CTMS.Google Scholar
- Jia Ning, Song YeQiong, and Simonot-Lion Francoise. 2007. Graceful degradation of the quality of control through data drop policy. In Proceedings of the 2007 European Control Conference (ECC’07). 4324--4331.Google Scholar
Cross Ref
- Marcelo Nobre, Ivanovitch Silva, and Luiz Affonso Guedes. 2015. Routing and scheduling algorithms for wirelessHART networks: A survey. Sensors (Basel) 15, 5 (2015), 9703--9740.Google Scholar
Cross Ref
- M. Pajic, S. Sundaram, G. J. Pappas, and R. Mangharam. 2011. The wireless control network: A new approach for control over networks. IEEE Transactions on Automatic Control 56, 10 (Oct. 2011), 2305--2318.Google Scholar
Cross Ref
- M. Pajic, S. Sundaram, J. Le Ny, G. J. Pappas, and R. Mangharam. 2010. The wireless control network: Synthesis and robustness. In Proceedings of the 49th IEEE Conference on Decision and Control (CDC’10). 7576--7581.Google Scholar
- P. Park, J. Araújo, and K. H. Johansson. 2011. Wireless networked control system co-design. In Proceedings of the 2011 Conference on Networking, Sensing, and Control. 486--491.Google Scholar
- J. W. Ro, P. Roop, and A. Malik. 2015. Schedule synthesis for time-triggered multi-hop wireless networks with retransmissions. In Proceedings of the 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC’15). 94--101.Google Scholar
- Y. Sadi and S. Coleri Ergen. 2015. Joint optimization of communication and controller components of wireless networked control systems. In Proceedings of the 2015 IEEE International Conference on Communications (ICC’15). 6487--6493.Google Scholar
- Indranil Saha, Sanjoy Baruah, and Rupak Majumdar. 2015. Dynamic scheduling for networked control systems. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC’15). ACM, New York, NY, 98--107.Google Scholar
Digital Library
- Abusayeed Saifullah, You Xu, Chenyang Lu, and Yixin Chen. 2011. End-to-end communication delay analysis in wirelessHART networks. In Proceedings of the 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’11).Google Scholar
- Abusayeed Saifullah, Chengjie Wu, Paras Babu Tiwari, You Xu, Yong Fu, Chenyang Lu, and Yixin Chen. 2014. Near optimal rate selection for wireless control systems. ACM Transactions on Embedded Computing Systems 13, 4s (2014), Article 128, 25 pages.Google Scholar
Digital Library
- Abusayeed Saifullah, You Xu, Chenyang Lu, and Yixin Chen. 2010. Real-time scheduling for WirelessHART networks. In Proceedings of the 2010 31st IEEE Real-Time Systems Symposium (RTSS’10). 150--159.Google Scholar
Digital Library
- Weihuan Shu, Xue Liu, Zhonghua Gu, and Sathish Gopalkrishnan. 2008. Optimal sampling rate assignment with dynamic route selection for real-time wireless sensor networks. In Proceedings of the 2008 Real-Time Systems Symposium (RTSS’08). 431--441.Google Scholar
Digital Library
- John R. Silvester. 2000. Determinants of block matrices. Mathematical Gazette 84, 501 (Nov. 2000), 460--467.Google Scholar
Cross Ref
- F. Smarra, A. D’Innocenzo, and M. D. Di Benedetto. 2012. Optimal co-design of control, scheduling and routing in multi-hop control networks. In Proceedings of the 2012 IEEE 51st Conference on Decision and Control (CDC’12). 1960--1965.Google Scholar
- Jianping Song, Song Han, Al Mok, Deji Chen, Mike Lucas, Mark Nixon, and Wally Pratt. 2008. WirelessHART: Applying wireless technology in real-time industrial process control. In Proceedings of the 2008 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’08). 377--386.Google Scholar
Digital Library
- Damoon Soudbakhsh, Linh T. X. Phan, Oleg Sokolsky, Insup Lee, and Anuradha Annaswamy. 2013. Co-design of control and platform with dropped signals. In Proceedings of the 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS’13). 129--140.Google Scholar
Digital Library
- W. Steiner. 2010. An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks. In Proceedings of the 2010 31st IEEE Real-Time Systems Symposium (RTSS’10). 375--384.Google Scholar
Digital Library
- E. Toscano and L. L. Bello. 2012. Multichannel superframe scheduling for IEEE 802.15.4 industrial wireless sensor networks. IEEE Transactions on Industrial Informatics 8, 2 (May 2012), 337--350.Google Scholar
Cross Ref
- Gera Weiss and Rajeev Alur. 2007. Automata based interfaces for control and scheduling. In Proceedings of the 2007 International Workshop on Hybrid Systems: Computation and Control (HSCC’07). 601--613.Google Scholar
Cross Ref
- Marco Zimmerling, Luca Mottola, Prathush Kumar, Federico Ferrari, and Lothar Thiele. 2017. Adaptive real-time communication for wireless cyber-physical systems. ACM Transaction on Cyber-Physical Systems 1, 2 (Feb. 2017), Article 8, 29 pages.Google Scholar
Digital Library
Index Terms
Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks
Recommendations
Routing in multi-radio, multi-hop wireless mesh networks
MobiCom '04: Proceedings of the 10th annual international conference on Mobile computing and networkingWe present a new metric for routing in multi-radio, multi-hop wireless networks. We focus on wireless networks with stationary nodes, such as community wireless networks.The goal of the metric is to choose a high-throughput path between a source and a ...
An interference-aware routing metric for multi-radio multi-channel wireless mesh networks
WIMOB '12: Proceedings of the 2012 IEEE 8th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob)Achieving efficient QoS routing is one of the major concerns in multi-radio multi-channel wireless mesh networks (WMNs). Due to interference among links, bandwidth in these networks is neither a concave nor an additive metric. Thus, choosing the highest-...
Goodput and throughput comparison of single-hop and multi-hop routing for IEEE 802.11 DCF-based wireless networks under hidden terminal existence
We investigate how multi-hop routing affects the goodput and throughput performances of IEEE 802.11 distributed coordination function-based wireless networks compared with direct transmission single hopping, when medium access control dynamics such as ...






Comments