Name Card

Full name Familienname, Vorname
Lin, Shan
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Shmarov, Fedor ; Soudjani, Sadegh ; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A. ; Zuliani, Paolo Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear SystemsArtikel Article 2020
2Mehmood, Usama ; Paoletti, Nicola ; Phan, Dung ; Grosu, Radu ; Lin, Shan ; Stoller, Scott D. ; Tiwari, Ashish ; Yang, Junxing ; Smolka, Scott A. Declarative vs rule-based control for flocking dynamicsKonferenzbeitrag Inproceedings 2018
3Shmarov, Fedor ; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A. ; Zuliani, Paolo SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid SystemsKonferenzbeitrag Inproceedings2017