{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T22:55:42Z","timestamp":1740178542124,"version":"3.37.3"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/lcsys.2021.3076972","type":"journal-article","created":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T20:00:43Z","timestamp":1619812843000},"page":"379-384","source":"Crossref","is-referenced-by-count":2,"title":["Towards a Constructive Framework for Control Theory"],"prefix":"10.1109","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6184-3293","authenticated-orcid":false,"given":"Pavel","family":"Osinenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1049\/PBCE102E_ch3.1"},{"key":"ref38","first-page":"5094","article-title":"Local policy optimization for trajectory-centric reinforcement learning","author":"kolaric","year":"2020","journal-title":"Proc IEEE ICRA"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-4560-2_10"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2011.03.001"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264382"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"2291","DOI":"10.3934\/dcdsb.2015.20.2291","article-title":"Review on computational methods for Lyapunov functions","volume":"20","author":"giesl","year":"2015","journal-title":"Discrete Continuous Dyn Syst"},{"key":"ref37","first-page":"3959","article-title":"Robustifying reinforcement learning agents via action space adversarial training","author":"tan","year":"2020","journal-title":"Proc ACC"},{"key":"ref36","first-page":"6640","article-title":"Adversarial robustness against the union of multiple perturbation models","author":"maini","year":"2020","journal-title":"Proc ICML"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3052747"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2845130"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1347-5"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1093\/imamci\/dny018"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4484-4_4"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029869"},{"key":"ref1","first-page":"231","article-title":"Optimising resilience: At the edge of computability","volume":"53","author":"vasile","year":"2017","journal-title":"Mat Today"},{"journal-title":"Constructive Analysis With Witnesses","year":"2015","author":"schwichtenberg","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-3577(97)89131-8"},{"key":"ref21","article-title":"Being constructive in doing mathematics","author":"havea","year":"2020","journal-title":"It Takes an Island and an Ocean"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.4115\/jla.2018.10.4"},{"key":"ref23","volume":"2","author":"troelstra","year":"2014","journal-title":"Constructive Mathematics"},{"key":"ref26","volume":"6","author":"beeson","year":"1980","journal-title":"Foundations of Constructive Mathematics Metamathematical Studies"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1134\/S000143460811014X"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.2027"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3167101"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96812-4_8"},{"key":"ref40","volume":"264","author":"aubin","year":"2012","journal-title":"Differential Inclusions Set-Valued Maps and Viability Theory"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTCC.2017.8107009"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"journal-title":"Deductive stability proofs for ordinary differential equations","year":"2020","author":"tan","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.2514\/1.G002754"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61667-9"},{"journal-title":"Foundations of constructive probability theory","year":"2019","author":"chan","key":"ref18"},{"key":"ref19","article-title":"Commutative algebra: Constructive methods","volume":"6","author":"lombardi","year":"2014","journal-title":"Finitely Generated Projective Modules"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400683"},{"journal-title":"Computable Analysis An Introduction","year":"2012","author":"weihrauch","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-010-9230-0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11456-4_11"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2601328"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171925"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1520"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66107-0_10"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1137\/0714065"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/BF01932398"},{"journal-title":"Nonlinear Systems","year":"1996","author":"khalil","key":"ref48"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.2172\/10184297"},{"article-title":"Modern intuitionistic topology","year":"1996","author":"waaldijk","key":"ref42"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16684-6"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s12555-018-0571-2"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3025303"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7782633\/9462165\/09419858.pdf?arnumber=9419858","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T20:34:57Z","timestamp":1635280497000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9419858\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/lcsys.2021.3076972","relation":{},"ISSN":["2475-1456"],"issn-type":[{"type":"electronic","value":"2475-1456"}],"subject":[],"published":{"date-parts":[[2022]]}}}