Biblio

Filters: Author is Nicola Paoletti  [Clear All Filters]
2018-05-11
Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska.  2017.  Closed-loop quantitative verification of rate-adaptive pacemakers. ACM Transactions on Cyber-Physical Systems, 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.
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.