Award Abstract # 1553273
CAREER: Safe and Secure Network Control for Smart and Connected Hospitals

NSF Org: CNS
Division Of Computer and Network Systems
Recipient: THE RESEARCH FOUNDATION FOR THE STATE UNIVERSITY OF NEW YORK
Initial Amendment Date: August 29, 2016
Latest Amendment Date: July 24, 2020
Award Number: 1553273
Award Instrument: Continuing Grant
Program Manager: Joseph Lyles
CNS
 Division Of Computer and Network Systems
CSE
 Directorate for Computer and Information Science and Engineering
Start Date: September 1, 2016
End Date: August 31, 2023 (Estimated)
Total Intended Award Amount: $449,572.00
Total Awarded Amount to Date: $449,572.00
Funds Obligated to Date: FY 2016 = $100,460.00
FY 2017 = $84,367.00

FY 2018 = $86,269.00

FY 2019 = $88,229.00

FY 2020 = $90,247.00
History of Investigator:
  • Shan Lin (Principal Investigator)
    shan.x.lin@stonybrook.edu
Recipient Sponsored Research Office: SUNY at Stony Brook
W5510 FRANKS MELVILLE MEMORIAL LIBRARY
STONY BROOK
NY  US  11794-0001
(631)632-9949
Sponsor Congressional District: 01
Primary Place of Performance: SUNY at Stony Brook
Department of Electronic and Com
Stony Brook
NY  US  11794-2350
Primary Place of Performance
Congressional District:
01
Unique Entity Identifier (UEI): M746VC6XMNH9
Parent UEI: M746VC6XMNH9
NSF Program(s): Networking Technology and Syst,
Secure &Trustworthy Cyberspace
Primary Program Source: 01001617DB NSF RESEARCH & RELATED ACTIVIT
01001718DB NSF RESEARCH & RELATED ACTIVIT

01001819DB NSF RESEARCH & RELATED ACTIVIT

01001920DB NSF RESEARCH & RELATED ACTIVIT

01002021DB NSF RESEARCH & RELATED ACTIVIT
Program Reference Code(s): 1045, 7434
Program Element Code(s): 736300, 806000
Award Agency Code: 4900
Fund Agency Code: 4900
Assistance Listing Number(s): 47.070

ABSTRACT

With the increasing reliability and pervasiveness of wireless networks, more and more critical systems such as vehicular networks, military systems, and first responder systems, rely on wireless networks. In modern hospitals, wireless technology will be used to interconnect medical, sensing, and computing devices, as well as the electronic health record system to enable smart medical applications, such as real-time patient monitoring, which can significantly improve quality of care. Researchers have accumulated abundant knowledge for designing network solutions for critical systems, however, most of them isolate the network designs from application context: very limited context of the application circumstances, e.g. location and user identity, is considered. Differently, in medical applications for connected hospitals, the network and security functionalities of medical systems are often tightly coupled with the medical context, such as patient's physiological state and caregiver's workflow. As much of those context information becomes available in real-time via connected medical devices and sensors, this project addresses this urgent challenge to investigate and integrate context into network control under safety requirements. If successful, the research results shall reduce hazards and deployment cost of wired networks in hospitals, and facilitate real-time and efficient information exchange among patients, doctors, and clinical support systems.

This work establishes fundamental network models that incorporate context information, and provides networking solutions for different medical applications under their safety and reliability requirements. Specifically, the intellectual contributions of this proposed work are: i) networked medical devices, sensors, electronic health record, and clinical decision support systems provide real-time and rich contextual information about the patients and the medical procedures. We investigate the relation between the medical context and the medical systems network and security functionalities, and create context based network and security control models. ii) Under the reliability and safety requirements of medical applications, we design and develop technologies to coordinate data collection across heterogeneous wireless networks, control electromagnetic interference, configure and optimize operations of medical devices. iii) Since trustworthy authentication to medical devices, networks, and electronic health record is vital to protect patient?s safety and privacy, we design access control algorithms based on patient specific medical context. iv) To integrate different control solutions into a consistent system in various contexts, we design control analysis algorithms and tools to identify hidden policy conflicts statically and dynamically. v) A reference wireless medical sensor and device testbed is created and deployed into real scenarios under a variety of contexts.

PUBLICATIONS PRODUCED AS A RESULT OF THIS RESEARCH

Note:  When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

(Showing: 1 - 10 of 33)
Bu, Lei and Xiong, Wen and Liang, Chieh-Jan Mike and Han, Shi and Zhang, Dongmei and Lin, Shan and Li, Xuandong "Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems" ACM Trans. Cyber-Phys. Syst. , v.2 , 2018 , p.22:1--22: 10.1145/3185501
C. Kushan, S. Nagaraj, R. Thielke, and S. Lin. "mDB: Monitoring Dysfunctional Behaviors for Patients with Bipolar Disorder" the 42nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC'20). , 2020
Fedor Shmarov and Nicola Paoletti and Ezio Bartocci and Shan Lin and Scott A. Smolka and Paolo Zuliani  "SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems" Haifa Verification Conference , 2017
F. Miao and S. Han and S. Lin and Q. Wang and J. A. Stankovic and A. Hendawi and D. Zhang and T. He and G. J. Pappas "Data-Driven Robust Taxi Dispatch Under[-2pt] Demand Uncertainties" IEEE Transactions on Control Systems Technology , 2018 , p.1-17 10.1109/TCST.2017.2766042
F. Shmarov et al. "Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems" IEEE Access , 2020
H. Chen, N. Paoletti, S. Smolka and S. Lin. "Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes." In Proc. of the 2019 American Control Conference (ACC) , 2019
H. Chen, S. Lin, S. A. Smolka, and N. Paoletti. "An STL-based Formulation of Resilience in Cyber-Physical Systems" 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022) , 2022
H. Chen, S. Munir, S. Lin. "RFCam: Uncertainty-aware Fusion of Camera and Wi-Fi for Real-time Human Identification with Mobile Devices." the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT) , 2022
H. Huang and S. Lin "WiDet: Robust Device Free Intrusion Detection with Multiresolution Wavelet Analysis" the 21st ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM) , 2018
H. Huang, C. Ni, J. Gao, X. Ban, A. Schnerider, S. Lin. "Connected Wireless Camera Network Deployment with Visibility Coverage." the ACM Transactions on Internet of Things (TIOT) , 2020
H. Huang, H. Chen, and S. Lin. "MagTrack: Enabling Safe Driving Monitoring with Wearable Magnetics." In Proc. of the 17th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys) , 2019
(Showing: 1 - 10 of 33)

PROJECT OUTCOMES REPORT

Disclaimer

This Project Outcomes Report for the General Public is displayed verbatim as submitted by the Principal Investigator (PI) for this award. Any opinions, findings, and conclusions or recommendations expressed in this Report are those of the PI and do not necessarily reflect the views of the National Science Foundation; NSF has not approved or endorsed its content.

Outcome Report

In medical applications and systems, the sensing, networking, and control functionalities of medical systems are often tightly coupled with the medical context, such as the patient’s physiological state and caregiver’s workflow. As much of that context information becomes available in real-time via connected medical devices and sensors, we are facing an urgent challenge to investigate and integrate context into network and security control under safety requirements, which is critical to the safety of patients in many applications. To accomplish this goal, this work aims at (i) establishing fundamental models for network and access control that incorporate context information, (ii) proposing networked solutions for medical applications under their safety and reliability requirements with a set of enabling new technologies, and (iii) designing, implementing, and deploying an open-source medical device and sensor network as a reference implementation to evaluate our designs in real-world scenarios. 

The main outcomes of this project are summarized into the following categories. 

Medical applications and systems

We built technologies on multiple medical and health domains. The first domain is Artificial Pancreas (AP), we have developed many techniques, including meal and exercise detection, data-driven blood glucose control based on patient’s historical records, and a machine learning based control based on MPC-guided policy search.  Our work contributes to the design of smart and fully closed loop insulin pumps, which have the potential to improve type 1 diabetes treatment and patient management. 

We built novel monitoring systems for manual toothbrushes and electrical toothbrushes. These systems achieve accurate detection of toothbrushing coverage of 16 different teeth surfaces, outperforming the state-of-the-art solutions in terms of the detection granularity and accuracy. If adopted by the industry, they could improve home oral hygiene effectiveness.  

We also built assistant tools for depression and bipolar disease diagnosis and detection using wearables. Some of our research results are used in clinical studies and gain good results. 

Wireless 

We worked on networking solutions that predict and optimize wireless networking reliability and efficiency. Our unique perspective is to utilize a user’s mobility and activity information as context to design highly efficient networking protocols and highly accurate networking controls.  

Developing and deploying the sensor for healthcare will help pervasive health monitoring in both hospital and home settings. Our work contributes to the algorithm design for mobile charger path planning for sensor networks. We study the problem of finding the charging path and maximizing the number of nodes charged within a fixed time horizon. We prove that this problem is APX-hard. By recursively decomposing the problem into sub-problems of searching sub-paths, we design a quasi-polynomial time algorithm that achieves polylogarithmic approximation to the optimum charging path. We also formally define the time-constrained data harvesting problem, which seeks an optimal data harvesting path in a network to collect as much data as possible within a time duration. We first characterize the performance bound given by the optimal data harvesting algorithm and show that the optimal algorithm significantly outperforms the random algorithm. Motivated by the theoretical analysis and proving the NP-completeness of the time-constrained data harvesting problem, we devise polynomial-time approximation schemes (PTAS) and mathematically prove the output being a constant-factor approximation of the optimal solution.

Our work on WiFi-based sensing focuses on multiple scenarios: indoor intrusion detection and outdoor user tracking. By fusing WiFi and visual signatures, we also built a system called RFCam to identify and track users in crowded public areas.

Control and Coordination

We investigated control problems of systems of systems for smart cities and smart transportation systems. Specifically, a decentralized conflict resolution framework for smart services is designed. As various smart services are increasingly deployed in modern cities, many unexpected conflicts arise due to various physical world couplings. Existing solutions for conflict resolution often rely on centralized control to enforce predetermined and fixed priorities of different services, which is challenging due to the inconsistent and private objectives of the services. Also, the centralized solutions miss opportunities to more effectively resolve conflicts according to the spatiotemporal locality of the conflicts. To address this issue, we designed a decentralized negotiation and conflict resolution framework named DeResolver, which allows services to resolve conflicts by communicating and negotiating with each other to reach a Pareto-optimal agreement autonomously and efficiently. Our design features a two-level semi-supervised learning-based algorithm to predict acceptable proposals and their rankings of each opponent through the negotiation.

A number of our works focus on smart transportation systems. We have studied the problems of model predictive taxi dispatch, coordination of multimodal public transportation systems, smart parking with real-time smart meter data, taxi games, and integration of an EV fleet and the power grid.




 


Last Modified: 12/04/2023
Modified by: Shan Lin

Please report errors in award information by writing to: awardsearch@nsf.gov.

Print this page

Back to Top of page