skip to main content
research-article

Robust architectures for embedded wireless network control and actuation

Published:01 January 2013Publication History
Skip Abstract Section

Abstract

Networked cyber-physical systems are fundamentally constrained by the tight coupling and closed-loop control of physical processes. To address actuation in such closed-loop wireless control systems there is a strong need to rethink the communication architectures and protocols for reliability, coordination, and control. We introduce the Embedded Virtual Machine (EVM), a programming abstraction where controller tasks with their control and timing properties are maintained across physical node boundaries and functionality is capable of migrating to the most competent set of physical controllers. In the context of process and discrete control, an EVM is the distributed runtime system that dynamically selects primary-backup sets of controllers given spatial and temporal constraints of the underlying wireless network. EVM-based algorithms allow network control algorithms to operate seamlessly over less reliable wireless networks with topological changes. They introduce new capabilities such as predictable outcomes during sensor/actuator failure, adaptation to mode changes, and runtime optimization of resource consumption. An automated design flow from Simulink to platform-independent domain-specific languages, and subsequently, to platform-dependent code generation is presented. Through case studies in discrete and process control we demonstrate the capabilities of EVM-based wireless network control systems.

References

  1. Alur, R., D'Innocenzo, A., Johansson, K. H., Pappas, G. J., and Weiss, G. 2009. Modeling and analysis of multi-hop control networks. In Proceedings of the 15th IEEE Symposium on Real-Time and Embedded Technology and Applications (RTAS'09). 223--232. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Bhatti, S., Carlson, J., Dai, H., Deng, J., Rose, J., Sheth, A., Shucker, B., Gruenwald, C., Torgerson, A., and Han, R. 2005. MANTIS OS: An embedded multithreaded operating system for wireless micro sensor platforms. Mobile Netw. Appl. 10, 4, 563--579. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Böhme, T., Göring, F., and Harant, J. 2001. Menger's theorem. J. Graph Theory, 37, 1, 35--36. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Brown, M., Gilbert, S., Lynch, N., Newport, C., Nolte, T., and Spindel, M. 2007. The virtual node layer: A programming abstraction for wireless sensor networks. SIGBED Rev. 4, 3, 7--12. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Cao, Q., Abdelzaher, T., Stankovic, J., and He, T. 2008. The liteos operating system: Towards unix-like abstractions for wireless sensor networks. In Proceedings of the 7th International Conference on Information Processing in Sensor Networks (IPSN'08). 233--244. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Cervin, A., Eker, J., Bernhardsson, B., and Arzen, K. E. 2002. Feedback feedforward scheduling of control tasks. Real-Time Syst. J. 23, 1-2, 25--53. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Conklin, E. K. and Rather, E. D. 2007. FORTH Programmer's Handbook. FORTH Inc. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Dunkels, A., Gronvall, B., and Voigt, T. 2004. Contiki - a lightweight and flexible operating system for tiny networked sensors. In Proceedings of the 29th Annual IEEE International Conference on Local Computer Networks (LCN'04). 455--462. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. EVM. 2009. website - http://mlab.seas.upenn.edu/evm.Google ScholarGoogle Scholar
  10. Fu, Z., Mahajan, Y., and Malik, S. 2004. New Features of SAT'04 version of zChaff. In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing.Google ScholarGoogle Scholar
  11. Graham, S., Baliga, G., and Kumar, P. 2009. Abstractions, architecture, mechanisms, and a middleware for networked control. IEEE Trans. Autom. Control 54, 7, 1490--1503.Google ScholarGoogle ScholarCross RefCross Ref
  12. Gummadi, R., Gnawali, O., and Govindan, R. 2005. Macro-Programming wireless sensor networks using kairos. In Distributed Computing in Sensor Systems. Springer, Berlin, 126--140. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Gupta, V., Dana, A., Hespanha, J., Murray, R. M., and Hassibi, B. 2009. Data transmission over networks for estimation and control. IEEE Trans. Autom. Control 54, 8, 1807--1819.Google ScholarGoogle ScholarCross RefCross Ref
  14. Han, C.-C., Kumar, R., Shea, R., Kohler, E., and Srivastava, M. 2005. A dynamic operating system for sensor nodes. In Proceedings of the 3rd International Conference on Mobile Systems, Applications, and Services (MobiSys'05). ACM, 163--176. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. HART. 2007. Field communication protocol specification, Rev 7. http: //www.hartcom.org/.Google ScholarGoogle Scholar
  16. Hespanha, J. P., Naghshtabrizi, P., and Xu, Y. 2007. A survey of recent results in networked control systems. Proc. IEEE 95, 1, 138--162.Google ScholarGoogle ScholarCross RefCross Ref
  17. Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., and Pister, K. 2000. System architecture directions for networked sensors. SIGPLAN Not. 35, 11, 93--104. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Jalote, P. 1994. Fault Tolerance in Distributed Systems. Prentice-Hall. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Kopetz, H. and Bauer, G. 2003. The time-triggered architecture. Proc. IEEE 91, 1, 112--126.Google ScholarGoogle ScholarCross RefCross Ref
  20. Lee, P. A. and Anderson, T. 1990. Fault Tolerance - Principles and Practice. Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Levis, P. and Culler, D. 2002. Maté: a tiny virtual machine for sensor networks. SIGARCH Comput. Archit. News 30, 5, 85--95. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. Lewin, D. R. 2009. Using Process Simulators in Chemical Engineering: A Multimedia Guide For The Core Curriculum. Wiley.Google ScholarGoogle Scholar
  23. Liu, J. 2000. Real-Time Systems. Prentice Hall.Google ScholarGoogle Scholar
  24. Lorincz, K., Chen, B.-r., Waterman, J., Werner-Allen, G., and Welsh, M. 2008. Resource aware programming in the pixie os. In Proceedings of the 6th ACM Conference on Embedded Network Sensor Systems (SenSys'08). ACM, 211--224. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Mangharam, R. and Pajic, M. 2009. Embedded virtual machines for robust wireless control systems. In Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW'09). 38--43. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Mangharam, R., Rowe, A., and Rajkumar, R. 2007. FireFly: A cross-layer platform for real-time embedded wireless networks. Real-Time Syst. J. 37, 3, 183--231. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. MathWorks. 2010. Simulink documentation. www.mathworks.com/access/helpdesk/help/toolbox/simulink.Google ScholarGoogle Scholar
  28. Müller, R., Alonso, G., and Kossmann, D. 2007. A virtual machine for sensor networks. In Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems (EuroSys'07). 145--158. Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. nanoRK. 2010. Sensor RTOS. http://www.nanork.org.Google ScholarGoogle Scholar
  30. Newton, R., Morrisett, G., and Welsh, M. 2007. The regiment macroprogramming system. In Proceedings of the 6th International Conference on Information Processing in Sensor Networks (IPSN'07). 489--498. Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. Nielsen Research. 2006. Downtime Costs Auto Industry. Nielsen Research.Google ScholarGoogle Scholar
  32. Pajic, M. and Mangharam, R. 2009. Embedded Virtual Machines: Technical Report.Google ScholarGoogle Scholar
  33. Pajic, M. and Mangharam, R. 2010. Embedded virtual machines for robust wireless control and actuation. In Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'10). 79--88. Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. Pajic, M., Sundaram, S., Le Ny, J., Mangharam, R., and Pappas, G. J. 2010. The wireless control network: Synthesis and robustness. In Proceedings of the 49th IEEE Conference on Decision and Control.Google ScholarGoogle Scholar
  35. Prett, D. and Morari, M. 1986. The shell process control workshop. Butterworths.Google ScholarGoogle Scholar
  36. Real, J. and Crespo, A. 2004. Mode change protocols for real-time systems: a survey and a new proposal. Real-Time Syst. J. 26, 2, 161--197. Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. Robinson, C. and Kumar, P. 2008. Optimizing controller location in networked control systems with packet drops. IEEE J. Select. Areas Comm. 26, 4, 661--671. Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. Rowe, A., Mangharam, R., and Rajkumar, R. 2008. RT-Link: A global time-synchronized link protocol for sensor networks. Ad Hoc Netw. 6, 8, 1201--1220. Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. Schrijver, A. 1998. Theory of Linear and Integer Programming. John Wiley & Sons. Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. Sha, L., Rajkumar, R., Lehoczky, J., and Ramamritham, K. 1989. Mode change protocols for priority-driven preemptive scheduling. Real-Time Syst. J. 1, 3, 126--140.Google ScholarGoogle ScholarCross RefCross Ref
  41. Stanley-Marbell, P. and Iftode, L. 2000. Scylla: A smart virtual machine for mobile embedded systems. In Proceedings of the 3rd IEEE Workshop on Mobile Computing Systems and Applications (WMCSA'00). 41--50. Google ScholarGoogle ScholarDigital LibraryDigital Library
  42. Welsh, M. and Mainland, G. 2004. Programming sensor networks using abstract regions. In Proceedings of the 1st Conference on Symposium on Networked Systems Design and Implementation (NSDI'04). Google ScholarGoogle ScholarDigital LibraryDigital Library
  43. Willig, A., Matheus, K., and Wolisz, A. 2005. Wireless technology in industrial networks. In Proc. IEEE 93, 6, 1130--1151.Google ScholarGoogle ScholarCross RefCross Ref
  44. Yang, B., Zheng, S., and Lu, E. 2005. Finding two disjoint paths in a network with α+-min-sum objective function. In Algorithms and Computation. Lecture Notes in Computer Science, 954--963. Google ScholarGoogle ScholarDigital LibraryDigital Library
  45. Zhang, W., Branicky, M., and Phillips, S. 2001. Stability of networked control systems. IEEE Control Syst. Mag. 21, 1, 84--99.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Robust architectures for embedded wireless network control and actuation

            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
            About Cookies On This Site

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

            Learn more

            Got it!