{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T14:08:24Z","timestamp":1774620504097,"version":"3.50.1"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2014,2,1]],"date-time":"2014-02-01T00:00:00Z","timestamp":1391212800000},"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":[[2014,2]]},"DOI":"10.1109\/tac.2013.2285751","type":"journal-article","created":{"date-parts":[[2014,1,24]],"date-time":"2014-01-24T21:26:28Z","timestamp":1390598788000},"page":"371-383","source":"Crossref","is-referenced-by-count":97,"title":["Reachability Analysis of Nonlinear Differential-Algebraic Systems"],"prefix":"10.1109","volume":"59","author":[{"given":"Matthias","family":"Althoff","sequence":"first","affiliation":[]},{"given":"Bruce H.","family":"Krogh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/WESCON.1995.485271"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"630","DOI":"10.1007\/978-3-540-78929-1_51","volume":"4981","author":"mitchell","year":"2008","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/BF02684450"},{"key":"ref32","first-page":"338","article-title":"Power system transient stability design using reachability based stability-region computation","author":"jin","year":"2005","journal-title":"Proc 37th Annu North Amer Power Symp"},{"key":"ref31","author":"jaulin","year":"2006","journal-title":"Applied Interval Analysis"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6484-0_23"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref36","first-page":"6","article-title":"Efficient reachability set generation and storage using decision diagrams","volume":"1639","author":"miner","year":"1999","journal-title":"Proc Int Conf Appl Theory Petri Nets"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"ref34","author":"kundur","year":"1994","journal-title":"Power System Stability and Control"},{"key":"ref28","first-page":"1505","article-title":"Reachability analysis of nonlinear systems using trajectory piecewise linearized models","author":"han","year":"2006","journal-title":"Proc Amer Control Conf"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/11730637_21","volume":"3927","author":"girard","year":"2006","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref29","first-page":"343","author":"hoefkens","year":"2001","journal-title":"Automatic Differentiation From Simulation to Optimization"},{"key":"ref2","author":"althoff","year":"2010","journal-title":"Reachability Analysis and Its Application to the Safety Assessment of Autonomous Cars"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/PTC.2001.964750"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/1755952.1755956","article-title":"Accurate hybridization of nonlinear systems","author":"dang","year":"2010","journal-title":"Proc 13th ACM Int Conf Hybrid Systems Computation and Control"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1076\/mcmd.7.2.173.3646"},{"key":"ref21","article-title":"Modelica?The next generation modeling language?An international design effort","author":"elmqvist","year":"1997","journal-title":"Proc 1st World Congr Systems Simulation"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1137\/0909004"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","article-title":"SpaceEx: Scalable verification of hybrid systems","volume":"6806","author":"frehse","year":"2011","journal-title":"Proc 23rd Int Conf Computer Aided Verification"},{"key":"ref26","first-page":"8966","article-title":"Efficient reachability analysis for linear systems using support functions","author":"girard","year":"2008","journal-title":"Proc 17th IFAC World Congr"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-31954-2_19","volume":"3414","author":"girard","year":"2005","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"ref51","year":"0","journal-title":"Power systems test case archive"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611971392"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69512-4","author":"aubin","year":"1984","journal-title":"Differential Inclusions Set-Valued Maps and Viability Theory"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1024794"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009958918582"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/3-540-46430-1_10","volume":"1790","author":"botchkarev","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref14","author":"brenan","year":"1989","journal-title":"Numerical solution of initial value problems in differential-algebraic equations"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/5.481632"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2011.77"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586828"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-30494-4_3","volume":"3312","author":"dang","year":"2004","journal-title":"Proc Formal Methods in Computer-Aided Design"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185643"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160872"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967717"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776877"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/NAPS.2008.5307297"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-36580-X_5","volume":"2623","author":"asarin","year":"2003","journal-title":"Hybrid Systems Control and Computation"},{"key":"ref46","author":"schavemaker","year":"2008","journal-title":"Electrical Power System Essentials"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(85)90095-0"},{"key":"ref48","author":"smirnov","year":"2002","journal-title":"Introduction to the Theory of Differential Inclusions"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1137\/S003614459933425X"},{"key":"ref42","first-page":"2892","article-title":"<ref_formula><tex Notation=\"TeX\">$\\epsilon$<\/tex> <\/ref_formula>-approximation of differential inclusions","author":"puri","year":"1995","journal-title":"Proc 34th IEEE Conf Decision and Control"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1137\/0903023"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2010.05.010"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/321328.321332"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/6718025\/06632887.pdf?arnumber=6632887","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,10]],"date-time":"2023-07-10T01:23:41Z","timestamp":1688952221000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6632887\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":51,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tac.2013.2285751","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2]]}}}