{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T02:46:30Z","timestamp":1722912390179},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2002.1184192","type":"proceedings-article","created":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T11:38:00Z","timestamp":1061984280000},"page":"2385-2390","source":"Crossref","is-referenced-by-count":0,"title":["On the operator Post\/sup -1\/"],"prefix":"10.1109","volume":"3","author":[{"family":"Hai-Long Pei","sequence":"first","affiliation":[]},{"given":"B.H.","family":"Krogh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","article-title":"Reach set computation using optimal control","author":"varaiya","year":"0","journal-title":"Proc of KIT Workshop on Verification of Hybrid Systems Verimag Grenoble 1998"},{"year":"0","key":"2"},{"journal-title":"Computational Geometry in C","year":"2000","author":"o'rourke","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2001.945748"},{"journal-title":"Convex Analysis 2nd Edition","year":"1999","author":"rockafellar","key":"7"},{"journal-title":"Nonlinear and Optimal Control Systems","year":"1997","author":"vincent","key":"6"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46430-1_6","article-title":"Approximate reachability analysis of piecewise-linear dynamical systems","author":"asarin","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46430-1_19","article-title":"Ellipsoidal techniques for reachability analysis","author":"kurzhanski","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"journal-title":"Set-Valued Analysis","year":"1990","author":"aubin","key":"9"},{"journal-title":"Foundations of Optimal Control Theory","year":"1967","author":"lee","key":"8"},{"journal-title":"Beyond the third dimension geometry computer graphics and higher dimensions","year":"1990","author":"banchoff","key":"11"}],"event":{"name":"IEEE Conference on Decision and Control","acronym":"CDC-02","location":"Las Vegas, NV, USA"},"container-title":["Proceedings of the 41st IEEE Conference on Decision and Control, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8437\/26568\/01184192.pdf?arnumber=1184192","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,5]],"date-time":"2018-03-05T11:21:00Z","timestamp":1520248860000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1184192\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/cdc.2002.1184192","relation":{},"subject":[]}}