Visible to the public Biblio

Filters: Author is Shan Lin  [Clear All Filters]
2018-05-25
Sirajum Munir, John A. Stankovic, Chieh-Jan Mike Liang, Shan Lin.  2013.  Cyber Physical System Challenges for Human-in-the-Loop Control. Presented as part of the 8th International Workshop on Feedback Computing.
2018-05-11
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott Smolka, Paolo Zuliani.  2017.  SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference, to appear.
Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin.  2017.  Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. Computational Methods in Systems Biology. 10545:214–232.