Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems

Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Article number3028476
Pages (from-to)180825-180843
Number of pages19
JournalIEEE Access
Publication statusPublished - 2 Oct 2020


  • Formal Controller synthesis
  • Parameter synthesis
  • Probabilistic guarantees
  • Safety verification
  • Sampled-data nonlinear systems
  • Satisfiability modulo theories
  • Statistical model checking
  • Stochastic systems

Cite this