EyePhy: Detecting Dependencies in Cyber-Physical System Apps due to Human-in-the-Loop
暂无分享,去创建一个
[1] T. G. Coleman,et al. Validation of a computational platform for the analysis of the physiologic mechanisms of a human experimental model of hemorrhage. , 2009, Resuscitation.
[2] T. G. Coleman,et al. Quantitative Circulatory Physiology: An integrative mathematical model of human physiology for medical education , 2007, Advances in physiology education.
[3] Stefan Saroiu,et al. An Operating System for the Home , 2012, NSDI.
[4] Insup Lee,et al. Toward patient safety in closed-loop medical device systems , 2010, ICCPS '10.
[5] J G Hardman,et al. A systems engineering approach to validation of a pulmonary physiology simulator for clinical applications , 2011, Journal of The Royal Society Interface.
[6] Sirajum Munir,et al. Cyber Physical System Challenges for Human-in-the-Loop Control , 2013, Feedback Computing.
[7] Enamul Hoque,et al. Physicalnet: A Generic Framework for Managing and Programming Across Pervasive Computing Networks , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.
[8] Sirajum Munir,et al. Reducing Energy Waste for Computers by Human-in-the-Loop Control , 2014, IEEE Transactions on Emerging Topics in Computing.
[9] Vikas Kumar,et al. CrowdSearch: exploiting crowds for accurate real-time image search on mobile phones , 2010, MobiSys '10.
[10] The Lancet. Tackling the burden of chronic diseases in the USA , 2009, The Lancet.
[11] Dae-Jin Kim,et al. Human-in-the-loop control of an assistive robotic arm in unstructured environments for spinal cord injured users , 2009, 2009 4th ACM/IEEE International Conference on Human-Robot Interaction (HRI).
[12] Lui Sha,et al. Feedback fault tolerance of real-time embedded systems: issues and possible solutions , 2006, SIGBED.
[13] T G Coleman,et al. HUMAN. A comprehensive physiological model. , 1983, The Physiologist.
[14] Sirajum Munir,et al. DepSys: Dependency aware integration of cyber-physical systems for smart homes , 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
[15] Ronald Tamler,et al. An evaluation of diabetes self-management applications for Android smartphones , 2012, Journal of telemedicine and telecare.
[16] J G Hardman,et al. A physiology simulator: validation of its respiratory components and its ability to predict the patient's response to changes in mechanical ventilation. , 1998, British journal of anaesthesia.
[17] John A. Stankovic,et al. SocialSense: A Collaborative Mobile Platform for Speaker and Mood Identification , 2015, EWSN.
[18] Robert L. Hester,et al. HumMod: A Modeling Environment for the Simulation of Integrative Human Physiology , 2011, Front. Physio..
[19] Kamin Whitehouse,et al. The smart thermostat: using occupancy sensors to save energy in homes , 2010, SenSys '10.
[20] T. G. Coleman,et al. Circulation: overall regulation. , 1972, Annual review of physiology.
[21] Daniel A. Beard,et al. Modeling of Oxygen Transport and Cellular Energetics Explains Observations on In Vivo Cardiac Energy Metabolism , 2006, PLoS Comput. Biol..