My research develops foundations for the design and analysis of Medical Cyber-Physical Systems
(MCPS) and the Internet of Medical Things
(IoMT). MCPS/IoMT are complex, safety-critical, intelligent systems of interconnected medical devices that must interact closely with patients and caregivers.
These systems present a unique combination of challenges stemming from the intersection of data science
, embedded systems
-- challenges that are not well handled by existing robust engineering paradigms. For example, a typical MCPS/IoMT will include unidentifiable non-linear time-varying physiological models, strict safety and privacy requirements, constrained sensing and actuation capabilities, limited communication and computational resources, and potentially malicious feedback information. To address these challenges, my research aims to develop novel MCPS/IoMT design and analysis techniques for (i) data analytics and control
, (ii) security and privacy
, and (iii) safety and assurance
Maximizing the impact of my research requires an interdisciplinary approach spanning engineering, medicine, and business
-- thus, I openly collaborate with medical professionals and businesses to transition my research into practice. To isolate specific technical challenges and demonstrate broader impact, my research is applied to other Cyber-Physical Systems (CPS) applications including autonomous vehicles
, energy efficient buildings
, smart grids
, and networked systems
Development of Control-Aware Cyber Techniques for Attack-Resilient Industrial Control & Combat Systems (ONR RHIMES)
The primary goal of the project is to develop techniques for ensuring that industrial control
and combat systems (ICCS) are resilient to cyber-physical attacks; that is, attacks that combine
conventional cyber intrusions with interference to the physical environment of ICCS. A number
of such attacks have emerged recently. These incidents suggest that conventional information
security approaches may not be effective in dealing with such attacks. This project will develop
new security techniques specifically targeting cyber-physical attacks. The new techniques will be
compatible with exising ICCS development techniques, allowing legacy ICCS to be retrofitted with
enhanced security guarantees.
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.
New control system security vulnerabilities arise when malicious attackers exploit the
physical environment -- not protected by cybersecurity defenses -- to execute an attack
(e.g. GPS spoofing). Ensuring the safety and performance of cyber physical control systems
requires algorithms capable of closing-the-loop despite malicious disturbances while
simultaneously operating within the implementation resource constraints. Although small
disturbance attenuation is a centerpiece of all robust control systems, stability and
safety claims become invalid when model and measurement deviations violate the design
assumptions. In this theme, my research aims to design secure cyber physical control systems
within the application resource constraints and analyze the corresponding robustness against malicious attacks.