Our research spans both implantable medical devices such as cardiac pacemakers and physiological control systems such as drug infusion pumps which have multiple ...

The goals of this proposal are to develop the theoretical and practical underpinnings of a new verification framework for cyber-physical systems that would ...

Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.

Compositional, approximate, and quantitative reasoning for medical cyber-physical systems with application to patient-specific cardiac dynamics and devices.

Jun 10, 2022 · The research under this award is based on the science of and technology for cyber-physical systems and is aimed at improving computational ...

The work will open fundamental new approaches for radically accelerating the pace of medical device innovation, especially in the sphere of cardiac-device ...

Grosu, R., et al.: Compositional, approximate, and quantitative ... cyber-physical systems with application to patient-specific cardiac dynamics and devices.

Dec 22, 2015 · Abstract: This project represents a cross-disciplinary collaborative research effort on developing rigorous, closed-loop approaches for ...

Dissemination Talk: CyberCardia: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems. Rahul Mangharam, University of ...

Compositional, approximate, and quantitative reasoning for medical cyber-physical systems with application to patient-specific cardiac dynamics and devices.