Title | Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems |
Publication Type | Journal Article |
Year of Publication | 2020 |
Authors | Shmarov, F., Soudjani S., Paoletti N., Bartocci E., Lin S., Smolka S. A., and Zuliani P. |
Journal | IEEE Access |
Other Numbers | Digital Object Identifier: 10.1109/ACCESS.2020.3028476 |