skip to main content
research-article

Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks

Published:10 February 2020Publication History
Skip Abstract Section

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.

References

  1. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  2. 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 ScholarGoogle ScholarCross RefCross Ref
  3. 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 ScholarGoogle Scholar
  4. 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 ScholarGoogle Scholar
  5. 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 ScholarGoogle Scholar
  6. 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 ScholarGoogle Scholar
  7. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle Scholar
  9. 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 ScholarGoogle ScholarCross RefCross Ref
  10. 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 ScholarGoogle Scholar
  11. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  12. D. A. Dowler. 2013. Bounding the norm of matrix powers. Master’s Thesis. Brigham Young University.Google ScholarGoogle Scholar
  13. P. Erdös and A. Rényi. 1959. On random graphs, I. Publicationes Mathematicae (Debrecen) 6 (1959), 290--297.Google ScholarGoogle ScholarCross RefCross Ref
  14. 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 ScholarGoogle Scholar
  15. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  16. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  17. 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 ScholarGoogle ScholarCross RefCross Ref
  18. 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 ScholarGoogle Scholar
  19. 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 ScholarGoogle Scholar
  20. 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 ScholarGoogle ScholarCross RefCross Ref
  21. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  22. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  23. 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 ScholarGoogle Scholar
  24. 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 ScholarGoogle Scholar
  25. 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 ScholarGoogle Scholar
  26. 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 ScholarGoogle Scholar
  27. 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 ScholarGoogle ScholarCross RefCross Ref
  28. 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 ScholarGoogle ScholarCross RefCross Ref
  29. 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 ScholarGoogle ScholarCross RefCross Ref
  30. 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 ScholarGoogle Scholar
  31. 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 ScholarGoogle Scholar
  32. 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 ScholarGoogle Scholar
  33. 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 ScholarGoogle Scholar
  34. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  35. 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 ScholarGoogle Scholar
  36. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  37. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  38. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  39. John R. Silvester. 2000. Determinants of block matrices. Mathematical Gazette 84, 501 (Nov. 2000), 460--467.Google ScholarGoogle ScholarCross RefCross Ref
  40. 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 ScholarGoogle Scholar
  41. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  42. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  43. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  44. 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 ScholarGoogle ScholarCross RefCross Ref
  45. 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 ScholarGoogle ScholarCross RefCross Ref
  46. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Pattern Guided Integrated Scheduling and Routing in Multi-Hop Control Networks

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        HTML Format

        View this article in HTML Format .

        View HTML Format
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!