{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T05:59:45Z","timestamp":1773122385674,"version":"3.50.1"},"reference-count":18,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2018,8,1]],"date-time":"2018-08-01T00:00:00Z","timestamp":1533081600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"GAČR","award":["GA15-14484S"],"award-info":[{"award-number":["GA15-14484S"]}]},{"name":"Institute of Computer Science","award":["RVO:67985807"],"award-info":[{"award-number":["RVO:67985807"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1109\/tac.2018.2792325","type":"journal-article","created":{"date-parts":[[2018,1,11]],"date-time":"2018-01-11T19:22:40Z","timestamp":1515698560000},"page":"2628-2632","source":"Crossref","is-referenced-by-count":31,"title":["Converse Theorems for Safety and Barrier Certificates"],"prefix":"10.1109","volume":"63","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1710-1513","authenticated-orcid":false,"given":"Stefan","family":"Ratschan","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_32"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3182\/20050703-6-CZ-1902.00743"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/050645178"},{"key":"ref13","author":"sastry","year":"1999","journal-title":"Nonlinear Systems Analysis Stability and Control"},{"key":"ref14","first-page":"383","article-title":"Deductive verification of continuous dynamical systems","volume":"4","author":"taly","year":"2009","journal-title":"IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science Ser Leibniz International Proceedings in Informatics"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1969-0251747-9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2476155"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2629424"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-65765-3_17"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.11.003"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48168-0_10"},{"key":"ref6","author":"hubbard","year":"2001","journal-title":"Vector Calculus Linear Algebra and Diifferential forms"},{"key":"ref5","author":"hirsch","year":"2003","journal-title":"Differential Equations Dynamical Systems and an Introduction to Chaos"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-9982-5","author":"lee","year":"2012","journal-title":"Introduction to Smooth Manifolds"},{"key":"ref7","author":"khalil","year":"2002","journal-title":"Nonlinear Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.12.013"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2016.07.010"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2101-0"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/8421109\/08253819.pdf?arnumber=8253819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:22:49Z","timestamp":1642004569000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8253819\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":18,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tac.2018.2792325","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8]]}}}