SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems / Shmarov, F., Paoletti, N., Bartocci, E., Lin, S., Smolka Scott, A., Zuliani, P.. - 10629:(2017), pp. 1-30. [10.1007/978-3-319-70389-3_9]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


