Synthesizing distributed controllers for the safe operation of ConnectedSpaces

Proceedings of the 1st IEEE International Conference on Pervasive Computing and Communications, PerCom 2003

Volumn , Issue , 2003, Pages 452-459

  Sridharan, Baskar ^a   Mathur, Aditya P ^a   Cai, Kai Yuan ^b  

^a PURDUE UNIVERSITY   (United States)

^b BEIHANG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED CONTROLLER; EXPERIMENTAL EVALUATION; K-DISTRIBUTED; SAFE OPERATION; SAFETY CONTROLLER; SAFETY POLICIES; SUPERVISORY CONTROL;

DIGITAL DEVICES; UBIQUITOUS COMPUTING;

CONTROLLERS;

EID: 37349108227     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. http://www.users.on.net/vision/misc/pacemaker-death.html.
2. NASA. Air Safety Reporting System, http://www.ire.org/datalibrary/ databases/Asrs/.
3. Portable electronic devices: Do they really pose a safety hazard on aircraft? Aviation Subcommittee Hearing, http://www.house.gov/transportation/ aviation/hearing/07-20-00/07-20-00memo.html.
4. B. A. Brandin and W.M. Wonham. Supervisory control of timed discrete-event systems. In Proceedings of the 31st IEEE Conference on Decision and Control, pages 3357- 3362, Tucson, Arizona, USA, December 1992.
5. ECRI. Medical device safety reports. http://www.mdsr.ecri.org/.
6. N. G. Leveson. Safeware:System Safety and Computers. Addison-Wesley Publishing Company, 1995.
7. N. G. Leveson and J. L. Stolzy. Safety analysis using petri nets. IEEE Transactions on Software Engineering, 13(3):386-397, March 1987. (Pubitemid 17566069)
8. K. Mehlhorn and S. N. Naher. LEDA, a library of efficient data types and algorithms. In Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, volume 379 of Lecture Notes in Computer Science, pages 88-106. Springer-Verlag, 1989.
9. J. S. Ostroff. Synthesis of controllers for real-time discrete event systems. In Proceedings of the IEEE 28th Conference on Decision and Control, pages 138-144, 1989.
10. J. S. Ostroff. A logic for real-time discrete event processes. IEEE Control Systems Magazine, 10(4):95-102, June 1990.
11. C.-W. Ou and S. Ranka. Parallel incremental graph partitioning. IEEE Transactions on Parallel and Distributed Systems, 8(8):884-896, August 1997.
12. P. J. Ramadge and W. M. Wonham. On a supremal controllable sublanguage of a given language. SIAM Journal of Control and Optimization, 25(3):637-659, May 1987.
13. P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization, 25(1):206-230, January 1987.
14. H. Saran and V. V. Vazirani. Finding k-cuts within twice the optimal. SIAM Journal on Computing, 24(1):101-108, February 1995.
15. B. Sridharan, A. P. Mathur, and K. Y. Cai. Synthesis of a safety controller for ConnectedSpaces using supervisory control. Technical Report SERC-TR-178-P, Software Engineering Research Center, Purdue University, West Lafayette, IN, USA, September 2002.
16. B. Sridharan, A. P. Mathur, and K. Y. Cai. Synthesizing distributed safety controllers for ConnectedSpaces. Technical Report 02-024, Department of Computer Sciences, Purdue University, West Lafayette, IN, USA, September 2002.
17. B. Sridharan, A. P. Mathur, and S. G. Ungar. Digital Device Manuals for the management of ConnectedSpaces. IEEE Communications Magazine, 40(8):78-85, August 2002.
18. J. L. Tri, D. L. Hayes, T. Smith, and R. P. Severson. Cellular phone interference with external cardiopulmonary monitoring devices. Mayo Clinic Proceedings, 76(1):11-15, January 2001.