SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems
| Title | SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott Smolka, Paolo Zuliani |
| Conference Name | Haifa Verification Conference, to appear |
| Keywords | 1446832 |
| Citation Key | shmarov_hvc2017 |