A framework for the safe interoperability of medical devices in the presence of network failures
暂无分享,去创建一个
Lui Sha | Tarek F. Abdelzaher | Sibin Mohan | Mu Sun | Cheolgi Kim | Heechul Yun | T. Abdelzaher | H. Yun | L. Sha | Mu Sun | Sibin Mohan | Cheolgi Kim
[1] C. Desclaux,et al. Supervisory control of discrete-event processes with partial observations , 1988 .
[2] Insup Lee,et al. Timed Atomic Commitment , 1991, IEEE Trans. Computers.
[3] Nancy G. Leveson,et al. An investigation of the Therac-25 accidents , 1993, Computer.
[4] M. Shayman,et al. Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation , 1997 .
[5] Laurence B. Milstein,et al. Error statistics in data transmission over fading channels , 1998, IEEE Trans. Commun..
[6] R.S. Parker,et al. A model-based algorithm for blood glucose control in Type I diabetic patients , 1999, IEEE Transactions on Biomedical Engineering.
[7] Insup Lee,et al. Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System , 2003, International Journal on Software Tools for Technology Transfer.
[8] Shahin Hashtrudi-Zad,et al. Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..
[9] Rance Cleaveland,et al. Unit verification: the CARA experience , 2004, International Journal on Software Tools for Technology Transfer.
[10] V. Chandra,et al. A discrete event systems approach to network fault management: detection & diagnosis of faults , 2004, Proceedings of the 2004 American Control Conference.
[11] Raoul Praful Jetley,et al. A formal methods approach to medical device review , 2006, Computer.
[12] Xue Liu,et al. Building Robust Wireless LAN for Industrial Control with the DSSS-CDMA Cell Phone Network Paradigm , 2005, IEEE Transactions on Mobile Computing.
[13] Insup Lee,et al. A Verifiable Language for Programming Real-Time Communication Schedules , 2007, IEEE Transactions on Computers.
[14] Insup Lee,et al. Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project , 2007, 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007).
[15] T. Falck,et al. Novel ISO/IEEE 11073 Standards for Personal Telehealth Systems Interoperability , 2007, 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007).
[16] Stéphane Lafortune,et al. On decentralized and distributed control of partially-observed discrete event systems , 2007 .
[17] S. Seyedtabaii,et al. Kalman Filter Based Adaptive Reduction of Motion Artifact from Photoplethysmographic Signal , 2008 .
[18] Panos J. Antsaklis,et al. Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying Delays , 2008, 2008 Real-Time Systems Symposium.
[19] High-Confidence Medical Devices : Cyber-Physical Systems for 21 st Century Health Care , 2009 .
[20] Xiaokang Qiu,et al. A Formal Architecture Pattern for Real-Time Distributed Systems , 2009, 2009 30th IEEE Real-Time Systems Symposium.
[21] Steve Warren,et al. An open test bed for medical device integration and coordination , 2009, 2009 31st International Conference on Software Engineering - Companion Volume.