Towards modeling and analysis of cyber-physical medical systems

ACM International Conference Proceeding Series

Volumn , Issue , 2011, Pages

  Banerjee, Ayan ^a   Gupta, Sandeep K S ^a   Fainekos, Georgios ^a   Varsamopoulos, Georgios ^a  

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

cyber physical systems; data centers; medical devices; UAVs

Indexed keywords

ACTUATION DEVICES; ANALGESIC DRUGS; COMPLEX NATURE; CYBER-PHYSICAL SYSTEMS; DATA CENTERS; EMBEDDED DEVICE; FORMAL MODELING; HEALTH SERVICES; HEALTH-CARE SYSTEM; HUMAN BODIES; MEDICAL DEVICES; MEDICAL SENSORS; MEDICAL SYSTEMS; MODELING AND ANALYSIS; NETWORKED OPERATIONS; NON-LINEARITY; PATIENT SAFETY; PHYSIOLOGICAL SIGNALS; SAFETY VERIFICATION; SPATIOTEMPORAL EFFECTS; TRANSPORT DELAY; UAVS;

CHEMOTHERAPY; COMMUNICATION; DRUG DELIVERY; EMBEDDED SYSTEMS; HEALTH CARE;

MODELS;

EID: 84863044349     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2093698.2093852     Document Type: Conference Paper

References (10)

1. D. E. Arney, R. Jetley, P. Jones, I. Lee, A. Ray, O. Sokolsky, and Y. Zhang. Generic infusion pump hazard analysis and safety requirements version 1.0. 2009.
2. E. Bartocci et al. Spatial networks of hybrid i/o automata for modeling excitable tissue. Electron. Notes Theor. Comput. Sci., 194(3):51-67, 2008. (Pubitemid 351173022)
3. T. A. Henzinger. The theory of hybrid automata. pages 278-292. IEEE Computer Society Press, 1996.
4. T. L. Jackson and H. M. Byrne. A mathematical model to study the effects of drug resistance and vasculature on the response of solid tumors to chemotherapy. Mathematical Biosciences, 164(1):17-38, 2000.
5. R. N. Maini, F. C. Breedveld, J. R. Kalden, J. S. Smolen, D. Davis, J. D. MacFarlane, C. Antoni, B. Leeb, M. J. Elliott, J. N. Woody, T. F. Schaible, and M. Feldmann. Therapeutic efficacy of multiple intravenous infusions of anti-tumor necrosis factor a monoclonal antibody combined with low-dose weekly methotrexate in rheumatoid arthritis. Arthritis and Rheumatism, 41(9):1552-1563, 1998. (Pubitemid 28459913)
6. Michaelis, L. and Menten, M. L. Die kinetik der invertinwirkung. Biochem. Z, 49(333-369):352, 1913.
7. U. of Pensylvannia. Generic infusion pump project. http://rtg.cis.upenn. edu/gip.php3.
8. Y. Ozier, P. Guéret, F. Jardin, J. Farcot, J. Bourdarias, and A. Margairaz. Two-dimensional echocardiographic demonstration of acute myocardial depression in septic shock. Critical Care Medicine, 12(7):596-599, 1984. (Pubitemid 14087413)
9. B. Van Hoosen. Post-operative analgesia. The Boston Medical and Surgical Journal, 180(20):556-558, 1919.
10. D. Wada and D. Ward. The hybrid model: a new pharmacokinetic model for computer-controlled infusion pumps. Biomedical Engineering, IEEE Transactions on, 41(2):134 -142, feb. 1994.