Robust architectures for embedded wireless network control and actuation

Transactions on Embedded Computing Systems

Volumn 11, Issue 4, 2012, Pages

  Pajic, Miroslav ^a   Chernoguzov, Alexander ^b   Mangharam, Rahul ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b HONEYWELL   (United States)

Author keywords

Distributed systems; Fault tolerance; Wireless sensor networks

Indexed keywords

AUTOMATED DESIGN; CLOSED-LOOP; CLOSED-LOOP CONTROL; CODE GENERATION; COMMUNICATION ARCHITECTURES; CYBER PHYSICAL SYSTEMS (CPSS); DISCRETE CONTROL; DISTRIBUTED SYSTEMS; DOMAIN SPECIFIC LANGUAGES; NETWORK CONTROL SYSTEMS; PHYSICAL NODES; PHYSICAL PROCESS; PRIMARY-BACKUP; PROGRAMMING ABSTRACTIONS; RESOURCE CONSUMPTION; RUNTIME OPTIMIZATION; RUNTIME SYSTEMS; SIMULINK; TEMPORAL CONSTRAINTS; TIGHT COUPLING; TIMING PROPERTIES; TOPOLOGICAL CHANGES; VIRTUAL MACHINES; WIRELESS CONTROL;

ALGORITHMS; COMPUTER PROGRAMMING; CONTROLLERS; EMBEDDED SYSTEMS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; PROBLEM ORIENTED LANGUAGES; WIRELESS SENSOR NETWORKS;

PROCESS CONTROL;

EID: 84872446684     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/2362336.2362349     Document Type: Article

References (45)

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.
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.
3. BÖHME, T., GÖRING, F., AND HARANT, J. 2001. Menger's theorem. J. Graph Theory, 37, 1, 35-36.
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.
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.
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.
7. CONKLIN, E. K. AND RATHER, E. D. 2007. FORTH Programmer's Handbook. FORTH Inc.
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.
9. EVM. 2009. website-http://mlab.seas.upenn.edu/evm.
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.
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.
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.
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.
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.
15. HART. 2007. Field communication protocol specification, Rev 7. http://www.hartcom.org/.
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.
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.
18. JALOTE, P. 1994. Fault Tolerance in Distributed Systems. Prentice-Hall.
19. KOPETZ, H. AND BAUER, G. 2003. The time-triggered architecture. Proc. IEEE 91, 1, 112-126.
20. LEE, P. A. AND ANDERSON, T. 1990. Fault Tolerance-Principles and Practice. Springer.
21. LEVIS, P. AND CULLER, D. 2002. Maté: a tiny virtual machine for sensor networks. SIGARCH Comput. Archit. News 30, 5, 85-95.
22. LEWIN, D. R. 2009. Using Process Simulators in Chemical Engineering: A Multimedia Guide For The Core Curriculum. Wiley.
23. LIU, J. 2000. Real-Time Systems. Prentice Hall.
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.
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.
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.
27. MATHWORKS. 2010. Simulink documentation. www.mathworks.com/access/ helpdesk/help/toolbox/simulink.
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.
29. NANORK. 2010. Sensor RTOS. http://www.nanork.org.
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.
31. NIELSEN RESEARCH. 2006. Downtime Costs Auto Industry. Nielsen Research.
32. PAJIC, M. AND MANGHARAM, R. 2009. Embedded Virtual Machines: Technical Report.
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.
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.
35. PRETT, D., MORARI, M. 1986. The shell process control workshop. Butterworths.
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.
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.
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.
39. SCHRIJVER, A. 1998. Theory of Linear and Integer Programming. John Wiley & Sons.
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.
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.
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).
43. WILLIG, A., MATHEUS, K., AND WOLISZ, A. 2005. Wireless technology in industrial networks. In Proc. IEEE 93, 6, 1130-1151.
44. +-min-sum objective function. In Algorithms and Computation. Lecture Notes in Computer Science, 954-963.
45. ZHANG, W., BRANICKY, M., AND PHILLIPS, S. 2001. Stability of networked control systems. IEEE Control Syst. Mag. 21, 1, 84-99.