1446312

file

Visible to the public Controllability of Cardiac Alternans

Submitted by Elizabeth Cherry on Fri, 01/10/2020 - 4:37pm. Contributors:
file

Visible to the public Approaches for Control of Cardiac Electrical Dynamics

Submitted by Elizabeth Cherry on Tue, 01/22/2019 - 5:19pm. Contributors:

This project is a component of a larger effort is to develop the foundations of modeling, synthesis and development of verified medical device software and systems from verified closed-loop models of the device and organ(s). This research spans both implantable medical devices such as cardiac pacemakers and physiological control systems such as drug infusion pumps which have multiple networked medical systems.

file

Visible to the public Interdisciplinary Undergraduate Workshop on Dynamics of Excitable Systems

Submitted by Flavio Fenton on Wed, 11/29/2017 - 5:21pm. Contributors:

This project is a component of a larger effort is to develop the foundations of modeling, synthesis and development of verified medical device software and systems from verified closed-loop models of the device and organ(s). This research spans both implantable medical devices such as cardiac pacemakers and physiological control systems such as drug infusion pumps which have multiple networked medical systems. Here we focus on an education and outreach activity associated with the project.