Shan Lin

Paoletti, N., Liu, K. S., Smolka, S. A., & Lin, S. (2017). {Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties}. Computational Methods in Systems Biology. Presented at the. Springer. https://doi.org/10.1007/978-3-319-67471-1_13

Shmarov, F., Paoletti, N., Bartocci, E., Lin, S., Smolka, S. A., & Zuliani, P. (2017). {SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems}. Haifa Verification Conference, to Appear. Presented at the.

Mehmood, U., Paoletti, N., Phan, D., Grosu, R., Lin, S., Stoller, S. D., … Smolka, S. A. (2018). Declarative vs Rule-based Control for Flocking Dynamics. Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Presented at the. New York, NY, USA: ACM. https://doi.org/10.1145/3167132.3167222