From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations

Hybrid systems model checking is a great success in guaranteeing the safety of computerized control cyber-physical systems (CPS). However, when applying hybrid systems model checking to Medical Device Plug-and-Play (MDPnP) CPS, we encounter two challenges due to the complexity of human body: 1) ther...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on parallel and distributed systems Vol. 25; no. 3; pp. 642 - 652
Main Authors:	Li, Tao, Tan, Feng, Wang, Qixin, Bu, Lei, Cao, Jian-Nong, Liu, Xue
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.03.2014 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	Automata Biological system modeling Blood Cyber-physical systems Human body Hybrid systems Laser modes Logic programming Mathematical analysis Mathematical models medical Model checking On-line systems Online Proposals Real time Safety
ISSN:	1045-9219, 1558-2183
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!