High-Assurance Medical Cyber-Physical Systems
    Project Overview       People       Papers

Project Overview:

Medical Cyber Physical Systems
Medicine's evolution into an information- and technology-driven discipline stands to revolutionize human health. Still in its infancy, foundations for engineering cyber-human systems remain largely undeveloped. The goal of my work in this theme lies in the development of design and analysis techniques/tools for high-assurance medical CPS -- targeting physiological closed-loop control systems. Towards this goal, my research aims to support the development of high-assurance medical cyber physical systems through new design of specification-based open-loop monitors and closed-loop physiological control algorithms and analysis of their performance against high-fidelity physiological models.
Project Links:

University of Pennsylvania:
Children's Hospital of Philadelphia: Hospital of the Univerity of Pennslyvania: