{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:35:14Z","timestamp":1762522514510,"version":"3.37.3"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Vienna Science Fund and Technology (WWTF) through the ProbInG Project","award":["ICT19-018"],"award-info":[{"award-number":["ICT19-018"]}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["DCL-2040599","CCF-1918225","CPS-1446832"],"award-info":[{"award-number":["DCL-2040599","CCF-1918225","CPS-1446832"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"U.K. Engineering and Physical Sciences Research Council (EPSRC) through the Portabolomics Project","doi-asserted-by":"publisher","award":["EP\/N031962\/1"],"award-info":[{"award-number":["EP\/N031962\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/access.2020.3028476","type":"journal-article","created":{"date-parts":[[2020,10,2]],"date-time":"2020-10-02T20:19:51Z","timestamp":1601669991000},"page":"180825-180843","source":"Crossref","is-referenced-by-count":5,"title":["Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems"],"prefix":"10.1109","volume":"8","author":[{"given":"Fedor","family":"Shmarov","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1922-6678","authenticated-orcid":false,"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4723-5363","authenticated-orcid":false,"given":"Nicola","family":"Paoletti","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8004-6601","authenticated-orcid":false,"given":"Ezio","family":"Bartocci","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6362-2972","authenticated-orcid":false,"given":"Shan","family":"Lin","sequence":"additional","affiliation":[]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6033-5919","authenticated-orcid":false,"given":"Paolo","family":"Zuliani","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1137\/0719041"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010091220143"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(04)00205-5"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.831175"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s11071-019-05322-w"},{"key":"ref30","doi-asserted-by":"crossref","DOI":"10.1109\/TSMC.2018.2866996","article-title":"Dissipative fuzzy tracking control for nonlinear networked systems with quantization","author":"li","year":"2018","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1145\/2728606.2728628","article-title":"Reactive synthesis from signal temporal logic specifications","author":"raman","year":"2015","journal-title":"Proc 18th Int Conf Hybrid Syst Comput Control HSCC"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"journal-title":"Discrete-Time Control Systems","year":"1995","author":"ogata","key":"ref34"},{"journal-title":"Testing Statistical Hypotheses","year":"2006","author":"lehmann","key":"ref28"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/9.847752"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127045"},{"key":"ref2","article-title":"Inequalities for differential and integral equations","author":"ames","year":"1997","journal-title":"Mathematics in Science and Engineering"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115705"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562140"},{"article-title":"Apparatus and method for controlling insulin infusion with state variable feedback","year":"2014","author":"kanderian","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/87.845876"},{"journal-title":"Nonlinear Systems","year":"2002","author":"khalil","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739370"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.650649"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264194"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.03.016"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.017"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-017-1172-1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_19"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2880651"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.41"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"journal-title":"Control Theory&#x2014 Multivariable and Nonlinear Methods","year":"2000","author":"glad","key":"ref17"},{"key":"ref18","article-title":"Robust dynamic programming for temporal logic control of stochastic systems","author":"haesaert","year":"2018","journal-title":"arXiv 1811 11445"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1088\/0967-3334\/25\/4\/010"},{"journal-title":"Model Predictive Control","year":"2013","author":"camacho","key":"ref4"},{"journal-title":"Dynamic Programming and Stochastic Control","year":"1976","author":"bertsekas","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2018.2859903"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-010-9754-6"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717115"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/acs.3052"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1210\/jc.2010-2578"},{"key":"ref9","first-page":"47","author":"dodge","year":"2008","journal-title":"The Concise Encyclopedia of Statistics Chapter Binomial Test"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77653-6_3"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1168919.1168907"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1137\/120871456"},{"article-title":"Formal abstractions for automated verification and synthesis of stochastic systems","year":"2014","author":"soudjani","key":"ref47"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70389-3_9"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2018.2799929"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49052-6_10"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728625"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/6287639\/8948470\/9211405-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8948470\/09211405.pdf?arnumber=9211405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:53:32Z","timestamp":1649444012000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9211405\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/access.2020.3028476","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2020]]}}}