Shan Lin

H. Chen, S. Lin, S. A. Smolka, and N. Paoletti. An STL-based Formulation of Resilience in Cyber-Physical Systems. In the 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022).

H. Chen, S. Munir, S. Lin. RFCam: Uncertainty-aware Fusion of Camera and Wi-Fi for Real-time Human Identification with Mobile Devices. In Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT) 2022.

Y. Yuan, Y. Zhao, L. Chen, and S. Lin. Game Theoretic Analysis of Urban E-Taxi Systems: Equilibria and Efficiency. In IEEE International Conference on Sensing, Communication, and Networking (IEEE SECON), 2022.

F. Z. Ali, H. Chen, G. Davis, C. DeLorenzo, S. Lin, Using Wearables for Assessing Circadian Rhythm Changes With Antidepressant Treatment, in 2022 New England Science Symposium, 2022.

L. Chen, S. Lin, H. Huang and W. Yang. Charging Path Optimization in Mobile Networks. in IEEE/ACM Transactions on Networking 2022.

Y. Yuan, Y. Zhao, and S. Lin. POET: Towards Power-System-Aware E-Taxi Coordination under Dynamic Passenger Mobility. In Thirteenth ACM International Conference on Future Energy Systems (ACM e-Energy) 2022.

Y. Yuan, Y. Zhao, and S. Lin. SOURCE: Towards Solar-Uncertainty-Aware E-Taxi Coordination under Dynamic Passenger Mobility. In American Control Conference (ACC) 2022.

H. Chen, N. Paoletti, S. A. Smolka, and S. Lin. MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas. In 60th IEEE Conference on Decision and Control (CDC) 2021.

Y. Yuan, Y. Zhao, and S. Lin. SAC: Solar-Aware E-Taxi Fleet Charging Coordination under Dynamic Passenger Mobility. In 60th IEEE Conference on Decision and Control (CDC) 2021.

Yukun Yuan, Kin Sum Liu, Sirajum Munir, Jonathan Francis, Charles Shelton, and Shan Lin. eRoute: Mobility-Driven Integration of Heterogeneous Urban Cyber-Physical Systems under Disruptive Events. In Proc. of the IEEE Transaction on Mobile Computing (TMC), 2021. [PDF]
Y. Yuan, M. Ma, S. Han, D. Zhang, F. Miao, J. Stankovic, S. Lin. DeResolver: A Decentralized Negotiation and Conflict Resolution Framework for Smart City Services. Best Paper Award in the ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS), 2021. [PDF]
L. Chen, A. Giovanidis, W. Wang, and S. Lin. Sequential Resource Access: Theory and Algorithm. Accepted to the IEEE International Conference on Computer Communications (INFOCOM), 2021. [PDF]
F. Qiao, and S. Lin. Data-driven prediction of fine-grained EV charging behaviors in public charging stations. Accepted to the ACM e-Energy 2021. [PDF]
F. Shmarov et al., Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems, in IEEE Access, vol. 8, 2020. [PDF]
Hua Huang and Shan Lin. MET: A Novel Magneto-Inductive Sensing Based Electric Toothbrushing Monitoring System. In Proc. of the 26th ACM Annual International Conference on Mobile Computing and Networking (MobiCom), 2020. [PDF]
Yukun Yuan, Kin Sum Liu, Sirajum Munir, Jonathan Francis, Charles Shelton, and Shan Lin. Leveraging Fine-Grained Occupancy Estimation Patterns for Effective HVAC Control. In Proc. of the ACM/IEEE Conference on Internet of Things Design and Implementation (IoTDI), 2020. [PDF]
H. Huang, C. Ni, J. Gao, X. Ban, A. Schnerider, S. Lin. Connected Wireless Camera Network Deployment with Visibility Coverage. In Proc. of the ACM Transactions on Internet of Things (TIOT), 2020. [PDF]
C. Kushan, S. Nagaraj, R. Thielke, and S. Lin. mDB: Monitoring Dysfunctional Behaviors for Patients with Bipolar Disorder. In Proc. of the 42nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC'20). [PDF]
S. Munir, H. Yang, S. Lin, E. Hoque, S. M. Shahriar, C. Lin, J. Stankovic, K. Whitehouse. Reliable Communication and Latency Bound Generation in Wireless Cyber Physical System. In Proc. of the ACM Transactions on Cyber Physical Systems (TCPS), 2019. [PDF]
S. Tsai, H. Yang, K. S. Liu, S. Lin, R. Chowdhury, and J. Gao. Multi-Channel Assignment and Link Scheduling for Prioritized Latency-Sensitive Applications. In Proc. of the 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks (AlgoSensors), 2019. [PDF]
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. [PDF]
Y. Yuan, D. Zhang, F. Miao, J. Chen, T. He and S. Lin. p^2Charging: Proactive Partial Charging for Electric Taxi Systems. In Proc. of the 39th IEEE International Conference on Distributed Computing Systems (ICDCS, 2019. [PDF]
S. Munir, H. Yang, S. Lin, E. Hoque, S. M. S. Nirjon, C. Lin, J. Stankovic, K. Whitehouse. Reliable Communication and Latency Bound Generation in Wireless Cyber-Physical System. Accepted to the ACM Transactions on Cyber Physical Systems (TCPS), 2019. [PDF]
N. Paoletti, K. Liu, H. Chen, S. Smolka, and S. Lin. Data-Driven Robust Control for a Closed-Loop Artificial Pancreas. Accepted to Special Issue of the IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), 2019. [PDF]
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. [PDF]
H. Yang, S. Tsai, K. Liu, S. Lin, and J. Gao. Patrol Scheduling Against Adversaries with Varying Attack Durations. In Proc. of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS, 2019. [PDF]
N. Paoletti, Z. Jiang, M. A. Islam, H. Abbas, R. Mangharam, S. Lin, Z. Gruber and S. Smolka. Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. In Proc. of the 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2019. [PDF]
K. S. Liu, B. Schiler, J. Gao, S. Lin, J. Mitchel. Optimizing Sensor Deployment With Line-Of-Sight Constraints: Theory and Practice. In Proc. of the 16th International Conference on Embedded Wireless Systems and Networks (EWSN), 2019. [PDF]
H. Huang and S. Lin. WiDet: Robust Device Free Intrusion Detection with Multiresolution Wavelet Analysis. In Proc. of the 21st ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM), 2018. [PDF]
K. Liu, J. Gao, X. Wu, and S. Lin. On-Street Parking Guidance with Real-Time Sensing Data for Smart Cities. In Proc. of the 15th IEEE International Conference on Sensing, Communication and Networking (SECON), 2018. [PDF]
L. Bu, W. Xiong, C. M. Liang, S. Han, D. Zhang, S. Lin and X. Li. Systematically Ensuring the Confidence of Real Time Home Automation IoT Systems. Accepted to the ACM Transactions on Cyber Physical Systems (TCPS), 2018. [PDF]
K. S. Liu, S. Munir, S. Lin, and C. Shelton. Understanding Occupancy Patterns in a Commercial Space. In Proc. of the IEEE Technical Committee on Cyber-Physical Systems Newsletter, 2018. [PDF]
F. Miao, S. Han, S. Lin, S. Munir, J. A. Stankovic, H. Huang, D. Zhang, T. He and G. J. Pappas. Data-Driven Robust Taxi Dispatch under Demand Uncertainties. Accepted to the IEEE Transactions on Control Systems Technology (TCS), 2018. [PDF]
Y. Yuan, D. Zhang, F. Miao, J. A. Stankovic, T. He, G. Pappas, and S. Lin. Dynamic Integration of Heterogeneous Transportation Modes under Disruptive Events. In Proc. of the 9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2018. [PDF]
D. Phan, N. Paoletti, U. Mehmood, R. Grosu, S. Lin, S. Stoller, A. Tiwari, J. Yang and S. Smolka. Declarative vs Rule-based Control for Flocking Dynamics. In Proc. of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), 2018. [PDF]
Y. Ma, G. Zhou, S. Lin, and H. Chen. RoFi: Rotation-aware WiFi Channel Feedback. In Proc. of the IEEE Internet of Things Journal, 2017. [PDF]
H. Yang, S. Tsai, J. Gao, and S. Lin. Optimal Safety Patrol Scheduling Using Randomized Traveling Salesman Tour. In Proc. of the 27th Annual Fall Workshop on Computational Geometry (FWCG), 2017.
D. Phan, N. Paoletti, U. Mehmood, R. Grosu, S. Lin, S. Stoller, A. Tiwari, J. Yang and S. Smolka. Declarative vs Rule-based Control for Flocking Dynamics. In Proc. of the 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), 2018. [PDF]
U. Mehmood, N. Paoletti, D. Phan, R. Grosu, S. Lin, S. Stoller, A. Tiwari, J. Yang and S. Smolka. Declarative vs Rule-based Control for Flocking Dynamics. In Proc. of the 27th Annual Fall Workshop on Computational Geometry (FWCG), 2017.
F. Shmarov, N. Paoletti, E. Bartocci, S. Lin, S. Smolka, and P. Zuliani. SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. In Proc. of the 13th Haifa Verification Conference (HVC), 2017. [PDF]
N. Paoletti, K. Liu, S. Smolka, and S. Lin. Data-driven Robust Control for Type-1 Diabetes Under Meal and Exercise Uncertainties. In Proc. of the 15th Conference on Computational Methods in Systems Biology (CMSB), 2017. [PDF]
Y. Ma, G. Zhou, and S. Lin. EliMO: Eliminating Channel Feedback from MIMO. In Proc. of the 3rd IEEE Conference on Smart Computing (SMARTCOMP), 2017. [PDF]
H. Yang, K. Liu, J. Gao, S. Lin, S. Munir, K. Whitehouse, J. Stankovic. Reliable Stream Scheduling with Minimum Latency for Wireless Sensor Networks. In Proc. of the 14th IEEE International Conference on Sensing, Communication and Networking (SECON), 2017. [PDF]
H. Huang, S. Lin. Poster Abstract: Toothbrushing Recognition using Neural Networks. In Proc. of the 1st ACM/IEEE International Conference on Internet-of-Things Design and Implementation (IoTDI), 2017. [PDF]
K. Liu, S. Munir, S. Lin, J. Francis, C. Shelton. Poster Abstract: Long Term Occupancy Estimation in a Commercial Space: An Empirical Study. In Proc. of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), 2017. [PDF]
K. Liu, et. al. Joint Sensing Duty Cycle Scheduling for Heterogeneous Coverage Guarantee. In Proc. of the 14th ACM Conference on Embedded Networked Sensor Systems (SenSys), 2016. [PDF]
H. Huang, S. Lin. Tooth Brushing Monitoring using Wrist Watch In Proc. of the 14th ACM Conference on Embedded Networked Sensor Systems (SenSys), 2016. [PDF]