Medical Devices

Equipment used in the health care industry that use CPS technology.
forum

Visible to the public RESEARCH POSITIONS in MEDICAL CYBER-PHYSICAL SYSTEMS at PRECISE Center School of Engineering and Applied Science University of P

RESEARCH POSITIONS in MEDICAL CYBER-PHYSICAL SYSTEMS at PRECISE Center School of Engineering and Applied Science University of Pennsylvania

http://precise.seas.upenn.edu/

forum

Visible to the public Positions in medical CPS at PRECISE Center

RESEARCH POSITIONS in MEDICAL CYBER-PHYSICAL SYSTEMS at PRECISE Center School of Engineering and Applied Science University of Pennsylvania

http://precise.seas.upenn.edu/

file

Visible to the public Synergy- In-Silico Functional Verification of Artificial Pancreas Control Algorithms poster.pdf

The artificial pancreas (AP) is a set of increasingly sophisticated devices and algorithms that will automate the delivery of insulin to patients with type-1 diabetes. While the AP concept promises to alleviate the burden posed by the self-management of blood glucose levels, it also poses significant risks arising from a combination of external disturbances such as patient meals, physical activity, sensor errors, network delays and physiological variations.

file

Visible to the public Resource Allocation For Traffic Modalities- Traveling-Salesman And Related Scheduling Problems

Our proposal's main objective is to realize cyber-physical platform and principles for (i) interrogating global modalities of intracellular transport with causative factors isolated at the single-molecule scale and (ii) realizing efficient and robust infrastructure for transporting micron/molecular scale cargo using distributed strategies We are realizing in-vitro, a transport network with roadways formed by microtubules where motorproteins, kinesin and dynein, will form vehicles ferrying cargo.

file

Visible to the public Learning Control Sharing Strategies for Assistive Cyber-physical Systems

Assistive machines, like robot arms mounted on powered wheelchairs, promote independence and
ability in those with severe motor impairments. Users of these assistive robots can teleoperate their
devices to perform activities of daily living like eating and self care. However, as these machines
become more capable, they often also become more complex. Traditional teleoperation interfaces
cover only a portion of the control space, and it is necessary to switch between di erent control
modes to access the full control space.

file

Visible to the public Parameterizing Cardiac Models for Medical Cyber-physical Systems

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 advancing two aspects of this work: (1) development of patient-specific models and therapies and (2) multi-scale modeling of complex physiological phenomena.

file

Visible to the public Compositionality for Cyber-Physical Systems Poster.pdf

The presentation materials cover results obtained for the two above-mentioned projects. The poster presents material on an algebraic approach to modeling systems with both continuous and discrete behavior. The framework is based on process algebra, which was developed for discrete systems, and features the development of a tree-based semantic model, called generalized synchronization trees, that uniformly captures a very general notions of time.

file

Visible to the public Computer Aided Clinical Trials

Starting from a database of 100's of real patient electrogram records, we describe how to develop and use a large
in-silico cohort consisting of 10,000+ heart models to improve the planning and execution of a clinical trial (CT)
for implantable cardioverter defibrillators (ICDs). We illustrate our approach by applying it retrospectively to a
real CT that compares two discrimination algorithms (DA) within ICDs for the detection of potentially fatal
cardiac arrhythmias. The CT posited that one algorithm would be better than the other but the results of the trial