{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:48:11Z","timestamp":1725619691860},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/cdc.2010.5717270","type":"proceedings-article","created":{"date-parts":[[2011,2,22]],"date-time":"2011-02-22T12:37:42Z","timestamp":1298378262000},"page":"3760-3765","source":"Crossref","is-referenced-by-count":4,"title":["Abstraction of continuous dynamical systems utilizing Lyapunov functions"],"prefix":"10.1109","author":[{"given":"Christoffer","family":"Sloth","sequence":"first","affiliation":[]},{"given":"Rafael","family":"Wisniewski","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Proofs for an abstraction of continuous dynamical systems utilizing lyapunov functions","author":"sloth","year":"2010","journal-title":"arXiv 1008 3222"},{"key":"ref11","first-page":"443","article-title":"Deciding properties of regular real timed processes","author":"holmer","year":"1991","journal-title":"Proceedings of the Third Workshop on Computer Aided Verification"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_4"},{"article-title":"Geometric Theory of Dynamical Systems: An Introduction","year":"1980","author":"junior","key":"ref13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68413-8_6"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-007-0044-3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2307\/2373287"},{"article-title":"Nonsmooth Analysis and Control Theory","year":"1998","author":"clarke","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.07.010"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0277-6","article-title":"Ellipsoidal Calculus for Estimation and Control","author":"kurzhanski","year":"1997"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776877"},{"article-title":"Introduction to Smooth Manifolds","year":"2000","author":"lee","key":"ref9"}],"event":{"name":"2010 49th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2010,12,15]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,12,17]]}},"container-title":["49th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5707200\/5716927\/05717270.pdf?arnumber=5717270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T16:05:23Z","timestamp":1497888323000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5717270\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/cdc.2010.5717270","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}