{"id":"https://openalex.org/W1999016870","doi":"https://doi.org/10.1109/tac.2013.2285751","title":"Reachability Analysis of Nonlinear Differential-Algebraic Systems","display_name":"Reachability Analysis of Nonlinear Differential-Algebraic Systems","publication_year":2014,"publication_date":"2014-01-24","ids":{"openalex":"https://openalex.org/W1999016870","doi":"https://doi.org/10.1109/tac.2013.2285751","mag":"1999016870"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2013.2285751","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2013.2285751","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://mediatum.ub.tum.de/1281529","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005383495","display_name":"Matthias Althoff","orcid":"https://orcid.org/0000-0003-3733-842X"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Matthias Althoff","raw_affiliation_strings":["Department of Computer Science, Technische Universit\u00e4t M\u00fcnchen, Garching, Germany","Dept. of Comput. Sci., Tech. Univ. Munchen, Garching, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technische Universit\u00e4t M\u00fcnchen, Garching, Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Dept. of Comput. Sci., Tech. Univ. Munchen, Garching, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026562535","display_name":"Bruce H. Krogh","orcid":"https://orcid.org/0000-0003-1300-3553"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bruce H. Krogh","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA","Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, , USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, , USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5005383495"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":11.3329,"has_fulltext":false,"cited_by_count":117,"citation_normalized_percentile":{"value":0.98836787,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"59","issue":"2","first_page":"371","last_page":"383"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.9415864944458008},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6229798197746277},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.6159398555755615},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5610017776489258},{"id":"https://openalex.org/keywords/differential-algebraic-equation","display_name":"Differential algebraic equation","score":0.5488100051879883},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5328933000564575},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4994797706604004},{"id":"https://openalex.org/keywords/electric-power-system","display_name":"Electric power system","score":0.4913760721683502},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.48552989959716797},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.48237696290016174},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.47199419140815735},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4612378776073456},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.4503822922706604},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4340742230415344},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.42342475056648254},{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.4176049828529358},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.37136971950531006},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.33204132318496704},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2847752571105957},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.2633075714111328},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.1276634931564331}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9415864944458008},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6229798197746277},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.6159398555755615},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5610017776489258},{"id":"https://openalex.org/C186219872","wikidata":"https://www.wikidata.org/wiki/Q955889","display_name":"Differential algebraic equation","level":4,"score":0.5488100051879883},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5328933000564575},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4994797706604004},{"id":"https://openalex.org/C89227174","wikidata":"https://www.wikidata.org/wiki/Q2388981","display_name":"Electric power system","level":3,"score":0.4913760721683502},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48552989959716797},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48237696290016174},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.47199419140815735},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4612378776073456},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.4503822922706604},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4340742230415344},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.42342475056648254},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.4176049828529358},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.37136971950531006},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.33204132318496704},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2847752571105957},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.2633075714111328},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.1276634931564331},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tac.2013.2285751","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2013.2285751","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.665.1971","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.665.1971","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www6.in.tum.de/Main/Publications/Althoff2014a.pdf","raw_type":"text"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1281529","is_oa":true,"landing_page_url":"https://mediatum.ub.tum.de/1281529","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:mediatum.ub.tum.de:node/1281529","is_oa":true,"landing_page_url":"https://mediatum.ub.tum.de/1281529","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6200000047683716}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W143062967","https://openalex.org/W174262937","https://openalex.org/W615403631","https://openalex.org/W1482881089","https://openalex.org/W1484590079","https://openalex.org/W1490031917","https://openalex.org/W1511470875","https://openalex.org/W1532859487","https://openalex.org/W1569692898","https://openalex.org/W1571009978","https://openalex.org/W1576278728","https://openalex.org/W1597944220","https://openalex.org/W1598855039","https://openalex.org/W1637407644","https://openalex.org/W1763243278","https://openalex.org/W1950837425","https://openalex.org/W1980573901","https://openalex.org/W1990733120","https://openalex.org/W1994475353","https://openalex.org/W1994826906","https://openalex.org/W1998667631","https://openalex.org/W2026019548","https://openalex.org/W2040584579","https://openalex.org/W2051110650","https://openalex.org/W2063248972","https://openalex.org/W2075151302","https://openalex.org/W2099354898","https://openalex.org/W2101508170","https://openalex.org/W2110512895","https://openalex.org/W2110910849","https://openalex.org/W2111332990","https://openalex.org/W2111546354","https://openalex.org/W2112506985","https://openalex.org/W2116364955","https://openalex.org/W2123922810","https://openalex.org/W2126311295","https://openalex.org/W2130529437","https://openalex.org/W2131441094","https://openalex.org/W2146979191","https://openalex.org/W2147246923","https://openalex.org/W2147936671","https://openalex.org/W2158451642","https://openalex.org/W2162196264","https://openalex.org/W2162270430","https://openalex.org/W2164302731","https://openalex.org/W2176215692","https://openalex.org/W2483775066","https://openalex.org/W2750147881","https://openalex.org/W4210718478","https://openalex.org/W6628995431","https://openalex.org/W6630609729","https://openalex.org/W6657187930","https://openalex.org/W6678726515"],"related_works":["https://openalex.org/W2357387646","https://openalex.org/W856973001","https://openalex.org/W78063724","https://openalex.org/W1604596197","https://openalex.org/W2103488150","https://openalex.org/W4249426951","https://openalex.org/W2172357028","https://openalex.org/W1598511836","https://openalex.org/W2952920810","https://openalex.org/W1494613536"],"abstract_inverted_index":{"This":[0,100],"paper":[1],"presents":[2],"a":[3,113],"numerical":[4],"procedure":[5,19],"for":[6,23,52,123],"the":[7,42,47,63,73,81,89,95,118],"reachability":[8],"analysis":[9,116],"of":[10,41,55,75,83,97,107,117],"systems":[11],"with":[12,94],"nonlinear,":[13],"semi-explicit,":[14],"index-1":[15],"differential-algebraic":[16],"equations.":[17],"The":[18],"computes":[20],"reachable":[21,76],"sets":[22,77],"uncertain":[24],"initial":[25],"states":[26],"and":[27,80],"inputs":[28],"in":[29,62],"an":[30],"overapproximative":[31],"way,":[32],"i.e.":[33],"it":[34,102],"is":[35],"guaranteed":[36],"that":[37,58],"all":[38],"possible":[39,103],"trajectories":[40],"system":[43,56],"are":[44],"enclosed.":[45],"Thus,":[46],"result":[48],"can":[49,59],"be":[50,60],"used":[51],"formal":[53],"verification":[54],"properties":[57],"specified":[61],"state":[64,98],"space":[65],"as":[66,110],"unsafe":[67],"or":[68],"goal":[69],"regions.":[70],"Due":[71],"to":[72,104],"representation":[74],"by":[78,112],"zonotopes":[79],"use":[82],"highly":[84],"scalable":[85],"operations":[86],"on":[87],"them,":[88],"presented":[90],"approach":[91],"scales":[92],"favorably":[93],"number":[96],"variables.":[99],"makes":[101],"solve":[105],"problems":[106],"industry-relevant":[108],"size,":[109],"demonstrated":[111],"transient":[114],"stability":[115],"IEEE":[119],"14-bus":[120],"benchmark":[121],"problem":[122],"power":[124],"systems.":[125]},"counts_by_year":[{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":20},{"year":2019,"cited_by_count":13},{"year":2018,"cited_by_count":17},{"year":2017,"cited_by_count":9},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":10},{"year":2014,"cited_by_count":3}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}