{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:38:01Z","timestamp":1761323881487},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T00:00:00Z","timestamp":1380585600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/tac.2013.2263916","type":"journal-article","created":{"date-parts":[[2013,5,17]],"date-time":"2013-05-17T18:02:40Z","timestamp":1368813760000},"page":"2508-2521","source":"Crossref","is-referenced-by-count":23,"title":["Polynomial Level-Set Method for Polynomial System Reachable Set Estimation"],"prefix":"10.1109","volume":"58","author":[{"given":"Ta-Chung","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjay","family":"Lall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"West","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","author":"sturm","year":"1999","journal-title":"SeDuMi A MATLAB Toolbox for Optimization Over Symmetric Cones Software User's Guide and Benchmarks Version 1 03"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012995293694"},{"key":"ref31","author":"hairer","year":"2008","journal-title":"Solving Ordinary Differential Equations I"},{"key":"ref30","author":"wiggins","year":"2003","journal-title":"Introduction to Applied Nonlinear Dynamical Systems and Chaos"},{"key":"ref35","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-02431-3","author":"rockafellar","year":"1998","journal-title":"Variational Analysis"},{"key":"ref34","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7793-9","author":"filippov","year":"1988","journal-title":"Differential Equations with Discontinuous Righthand Sides"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.06.014"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2006.10.012"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"1536","DOI":"10.1016\/j.automatica.2009.02.011","article-title":"Estimating the domain of attraction for non-polynomial systems via LMI optimizations","volume":"45","author":"chesi","year":"2009","journal-title":"Automatica"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84882-781-3","author":"chesi","year":"2009","journal-title":"Homogeneous Polynomial Forms for Robustness Analysis of Uncertain Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914221"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.9.307-321"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184414"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184594"},{"key":"ref18","author":"parrilo","year":"2000","journal-title":"Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization"},{"key":"ref19","author":"jarvis-wloszek","year":"2003","journal-title":"Lyapunov Based Analysis and Controllers Synthesis for Polynomial Systems Using Sum-of-Squares Optimization"},{"key":"ref28","article-title":"Stability of linear differential inclusions via r-functions","author":"balestrino","year":"2009","journal-title":"Proc 8th IFAC Symp Nonlinear Control Syst"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"ref27","article-title":"Stability analysis of dynamical systems via r-functions","author":"balestrino","year":"2009","journal-title":"Proc Europ Control Conf"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/3-540-61474-5_76","article-title":"Verifying safety properties of differential equations","author":"greenstreet","year":"1996","journal-title":"Proc Conf Computer Aided Verification"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-46430-1_19","article-title":"Ellipsoidal techniques for reachability analysis","volume":"1790 2000","author":"kurzhanskiy","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1140-2","author":"guckenheimer","year":"1983","journal-title":"Nonlinear Oscillations Dynamical Systems and Bifurcations of Vector Fields"},{"key":"ref5","first-page":"21","article-title":"Approximate reachability analysis of piecewise-linear dynamical systems","volume":"1790 2000","author":"asarin","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/9.362845"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1016\/0005-1098(71)90027-6","article-title":"A computational method for determining quadratic Lyapunov functions for non-linear systems","volume":"7","author":"davison","year":"1971","journal-title":"Automatica"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/3-540-46430-1_27","article-title":"Level set methods for computation in hybrid systems","volume":"1790 2000","author":"mitchell","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref1","author":"khalil","year":"2000","journal-title":"Nonlinear Systems"},{"key":"ref9","article-title":"On optimal quadratic Lyapunov functions for polynomial systems","author":"chesi","year":"2002","journal-title":"Proc 14th Int Symp Mathemat Theory of Networks and Syst"},{"key":"ref20","author":"sethian","year":"1999","journal-title":"Level Set Methods and Fast Marching Methods"},{"key":"ref22","article-title":"Polynomial level-set methods for nonlinear dynamical systems analysis","author":"wang","year":"2005","journal-title":"Proc Allerton Conf Communication Control Computing"},{"key":"ref21","author":"osher","year":"2002","journal-title":"Level Set Methods and Dynamic Implicit Surfaces"},{"key":"ref24","author":"lall","year":"2005","journal-title":"SOSCODE Sum of Squares Optimization Toolbox for MATLAB"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.3390\/s110706575"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2009.5164527"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1993.42.42045"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/6603340\/06517253.pdf?arnumber=6517253","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:36:47Z","timestamp":1638218207000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6517253\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":35,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tac.2013.2263916","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10]]}}}