Safe and Personalized Implantable Cardiac Devices
Implantable Cardiac Devices (ICD) diagnose the physiological conditions of the patients and autonomously deliver therapy with little or no human intervention. The autonomy enables timely therapy and better lifestyle for the patients, but also presents unique challenges to the safety and efficacy. Unlike systems in other domains where the systems only interact with the human-made physical environment, ICDs interact with human physiology which is less understood with much larger variability. It is impossible to consider all possible physiological conditions during system design, therefore there may exist rare conditions in which the system operates as designed but not as intended, causing serious injury or even death of the patient. Current safety evaluation of medical CPS is in form of clinical trials, which are expensive and non-exhaustive. My research tackles these challenges by developing physiological models and formal frameworks that enable systems engineering techniques like formal methods and model-based design during safety and efficacy analysis of medical CPS. These models and frameworks are able to provide interpretable model simulations with physiological contexts, so that medical domain experts can determine whether the system is operating as intended.
Zhihao Jiang
Assistant Professor
Zhihao Jiang is the director of Human-Cyber-Physical Systems Lab at ShanghaiTech University.
Haochen Yang
Ph.D Candidate
Haochen Yang graduated as a Computer Science M.S Class 2020 at ShanghaiTech University.
Mincai Lai
Developer
Mincai Lai is a Computer Science M.S graduate Class 2022 at ShanghaiTech University. He is currently a developer at ByteDance.
Posts
Publications
