Explanipedia

SSC: Simultaneous Signal Separation and Classification for Concurrent Activities Open

Rahul Sidramappa Hoskeri, Shan Lin, Hua Huang · 2025

MARLIN: Multi-Agent Reinforcement Learning with Murmuration Intelligence and LLM Guidance for Reservoir Management Open

Heming Fu, Guojun Xiong, Shan Lin · 2025

As climate change intensifies extreme weather events, water disasters pose growing threats to global communities, making adaptive reservoir management critical for protecting vulnerable populations and ensuring water security. Modern water…

Cumulative-Time Signal Temporal Logic Open

Hongkai Chen, Z. Zhang, Shouvik Roy, Ezio Bartocci, Scott A. Smolka , et al. · 2025

Signal Temporal Logic (STL) is a widely adopted specification language for Cyber-Physical Systems that can be used to express critical temporal requirements, such as system safety and response time. STL’s expressivity, however, is not suff…

eFlx: Energy Flexibility Provisioning for E-taxi Fleets Open

Liangkai Zhou, Yue Zhao, Yukun Yuan, Cui-xia Xu, Shan Lin · 2025

SHADE-AD: An LLM-Based Framework for Synthesizing Activity Data of Alzheimer’s Patients Open

Heming Fu, Hongkai Chen, Shan Lin, Guoliang Xing · 2025

Multi-Agent Reinforcement Learning for Decentralized Reservoir Management via Murmuration Intelligence Open

Heming Fu, Shan Lin · 2025

Conventional centralized water management systems face critical limitations from computational complexity and uncertainty propagation. We present MurmuRL, a novel decentralized framework inspired by starling murmurations intelligence, inte…

Cumulative-Time Signal Temporal Logic Open

Hongkai Chen, Z. Zhang, Shouvik Roy, Ezio Bartocci, Scott A. Smolka , et al. · 2025

Signal Temporal Logic (STL) is a widely adopted specification language in cyber-physical systems for expressing critical temporal requirements, such as safety conditions and response time. However, STL's expressivity is not sufficient to c…

SensEmo: Enabling Affective Learning through Real-time Emotion Recognition with Smartwatches Open

Kushan Choksi, Hongkai Chen, Karan Joshi, Sukrutha Jade, Shahriar Nirjon , et al. · 2024

Recent research has demonstrated the capability of physiological signals to infer both user emotional and attention responses. This presents an opportunity for leveraging widely available physiological sensors in smartwatches, to detect re…

HVAC control fine-grained occupancy pattern estimation Open

Shan Lin, Sirajum Munir · 2024

A thermal state of a plurality of zones of the building is updated according to a building thermal model and information received from temperature sensors of the building. Predicted occupant counts for an upcoming plurality of time slots f…

BASED: Bundle-Adjusting Surgical Endoscopic Dynamic Video Reconstruction using Neural Radiance Fields Open

S. Saha, Sainan Liu, Shan Lin, Jingpei Lu, Michael C. Yip · 2023

Reconstruction of deformable scenes from endoscopic videos is important for many applications such as intraoperative navigation, surgical visual perception, and robotic surgery. It is a foundational requirement for realizing autonomous rob…

An STL-Based Formulation of Resilience in Cyber-Physical Systems Open

Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti · 2022

Sequential Resource Access: Theory and Algorithm Open

Anastasios Giovanidis, Shan Lin · 2020

We formulate and analyze a generic sequential resource access problem arising in a variety of engineering fields, where a user disposes a number of heterogeneous computing, communication, or storage resources, each characterized by the pro…

Leveraging Fine-Grained Occupancy Estimation Patterns for Effective HVAC Control Open

Yukun Yuan, Kin Sum Liu, Sirajum Munir, Jonathan Francis, Charles Shelton , et al. · 2020

As occupancy sensing technologies become mature, various occupancy sensors are increasingly deployed in commercial buildings for pervasive occupancy monitoring. These sensors provide occupant-count data, which contains rich spatiotemporal …

MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas Open

Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin · 2020

Even though model predictive control (MPC) is currently the main algorithm for insulin control in the artificial pancreas (AP), it usually requires complex online optimizations, which are infeasible for resource-constrained medical devices…

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems Open

Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin , et al. · 2020

We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochastic disturbances. Our method derives digital controllers su…

Synthesizing stealthy reprogramming attacks on cardiac devices Open

Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam , et al. · 2019

An Implantable Cardioverter Defibrillator (ICD) is a medical device used for the detection of potentially fatal cardiac arrhythmias and their treatment through the delivery of electrical shocks intended to restore normal heart rhythm. An I…

WiDet Open

Hua Huang, Shan Lin · 2018

To achieve device-free person detection, various types of signal features, such as moving statistics and wavelet representations, have been extracted from the Wi-Fi Received Signal Strength Index (RSSI), whose value fluctuates when human s…

Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices Open

Nicola Paoletti, Zhihao Jiang, Ariful Islam, Houssam Abbas, Rahul Mangharam , et al. · 2018

An Implantable Cardioverter Defibrillator (ICD) is a medical device used for the detection of potentially fatal cardiac arrhythmia and their treatment through the delivery of electrical shocks intended to restore normal heart rhythm. An IC…

Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems Open

Lei Bu, Wenjie Xiong, Chieh-Jan Mike Liang, Han Shi, Dongmei Zhang , et al. · 2018

Recent advances and industry standards in Internet of Things (IoT) have accelerated the real-world adoption of connected devices. To manage this hybrid system of digital real-time devices and analog environments, the industry has pushed se…

Declarative vs rule-based control for flocking dynamics Open

Usama Mehmood, Nicola Paoletti, Dung Phan, Radu Grosu, Shan Lin , et al. · 2018

The popularity of rule-based flocking models, such as Reynolds' classic flocking model, raises the question of whether more declarative flocking models are possible. This question is motivated by the observation that declarative models are…

COD Open

Kin Sum Liu, Elvin Vindel, Sirajum Munir, Jonathan Francis, Charles Shelton , et al. · 2017

In this poster we introduce the Commercial Occupancy Dataset (COD), a high-resolution long-term dataset of occupancy traces in a commercial office building spanning 9 months and covering zone-level occupancy for five different spaces conta…

Cod: A Dataset Of Commercial Building Occupancy Traces Open

Kin Sum Liu, Elvin Vindel Pinto, Sirajum Munir, Jonathan Francis, Charles Shelton , et al. · 2017

The Commercial Occupancy Dataset (COD) is a high-resolution long-term dataset of occupancy traces in a commercial office building spanning 9 months and covering room-level occupancy for three different spaces (two conference rooms and one …

Cod: A Dataset Of Commercial Building Occupancy Traces Open

Kin Sum Liu, Elvin Vindel Pinto, Sirajum Munir, Jonathan Francis, Charles Shelton , et al. · 2017

The Commercial Occupancy Dataset (COD) is a high-resolution long-term dataset of occupancy traces in a commercial office building spanning 9 months and covering room-level occupancy for three different spaces (two conference rooms and one …

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems Open

Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka , et al. · 2017

We present a new method for the automated synthesis of safe and robust Proportional-Integral-Derivative (PID) controllers for stochastic hybrid systems. Despite their widespread use in industry, no automated method currently exists for der…

Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties Open

Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin · 2017

We present a fully closed-loop design for an artificial pancreas (AP) which regulates the delivery of insulin for the control of Type I diabetes. Our AP controller operates in a fully automated fashion, without requiring any manual interac…

Long term occupancy estimation in a commercial space: an empirical study Open

Kin Sum Liu, Sirajum Munir, Jonathan Francis, Charles Shelton, Shan Lin · 2017

Understanding occupancy patterns in a building is very useful to control HVAC systems for improving energy efficiency of the building and occupant comfort. There has been a very little attempt to understand long term occupancy patterns in …

Toothbrushing Monitoring using Wrist Watch Open

Hua Huang, Shan Lin · 2016

Daily toothbrushing is essential for maintaining oral health. However, there is very limited technology to monitor the effectiveness of toothbrushing at home. In this paper, a system is built to monitor the brushing quality on all 16 tooth…

Cryogenic Characterization and Modeling of Nanometer CMOS Transistors for Quantum Computing Applications Open

Shan Lin · 2016

Combinatorics, algorithms and systems for sensor deployment with line-of-sight constraints Open

Kin Sum Liu, Brent Schiller, Jie Gao, Shan Lin, Joseph S. B. Mitchell · 2016

In this paper we investigate sensor deployment and coverage algorithms for using infrared signals in indoor applications. Infrared signals are directional and reliable signals that have little interference with other electromagnetic signal…

Taxi Dispatch With Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach Open

Fei Miao, Shan Lin, Sirajum Munir, John A. Stankovic, Hua Huang , et al. · 2016

Traditional taxi systems in metropolitan areas often suffer from inefficiencies due to uncoordinated actions as system capacity and customer demand change. With the pervasive deployment of networked sensors in modern vehicles, large amount…

Shan Lin YOU? Author Swipe