Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems. / Shmarov, Fedor; Soudjani, Sadegh; Paoletti, Nicola; Bartocci, Ezio; Lin, Shan; Smolka, Scott A.; Zuliani, Paolo.

In: IEEE Access, Vol. 8, 3028476, 02.10.2020, p. 180825-180843.

Research output: Contribution to journalArticlepeer-review

  • Fedor Shmarov
  • Sadegh Soudjani
  • Nicola Paoletti
  • Ezio Bartocci
  • Shan Lin
  • Scott A. Smolka
  • Paolo Zuliani
Original languageEnglish
Article number3028476
Pages (from-to)180825-180843
Number of pages19
JournalIEEE Access
Publication statusPublished - 2 Oct 2020
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 39745040