{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T14:54:09Z","timestamp":1772290449995,"version":"3.50.1"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/acc.2013.6580838","type":"proceedings-article","created":{"date-parts":[[2014,7,16]],"date-time":"2014-07-16T21:48:51Z","timestamp":1405547331000},"page":"6376-6381","source":"Crossref","is-referenced-by-count":10,"title":["Complexity of ten decision problems in continuous time dynamical systems"],"prefix":"10.1109","author":[{"given":"Amir Ali","family":"Ahmadi","sequence":"first","affiliation":[]},{"given":"Anirudha","family":"Majumdar","sequence":"additional","affiliation":[]},{"given":"Russ","family":"Tedrake","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","author":"murray","year":"1994","journal-title":"A Mathematical Introduction to Robotic Manipulation"},{"key":"17","doi-asserted-by":"crossref","first-page":"1174","DOI":"10.1109\/PROC.1970.7890","article-title":"lagrange stability and higher order derivatives of liapunov functions","volume":"58","author":"heinen","year":"1970","journal-title":"Proceedings of the IEEE"},{"key":"18","author":"khalil","year":"2002","journal-title":"Nonlinear Systems"},{"key":"15","author":"garey","year":"1979","journal-title":"Computers and Intractability"},{"key":"16","author":"hainry","year":"2009","journal-title":"Decidability and Undecidability in Dynamical Systems Research Report"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623401383248"},{"key":"14","author":"freedman","year":"1980","journal-title":"Deterministic mathematical models in population ecology"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4360-1","volume":"11","author":"braun","year":"1993","journal-title":"Differential Equations and Their Applications An Introduction to Applied Mathematics"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0022563"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1995.478585"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161499"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/BF02592948"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315687"},{"key":"1","author":"ahmadi","year":"2011","journal-title":"Algebraic Relaxations and Hardness Results in Polynomial Optimization and Lyapunov Analysis"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68546-5_17"},{"key":"7","author":"bequette","year":"1998","journal-title":"Process Dynamics Modeling Analysis and Simulation"},{"key":"6","doi-asserted-by":"crossref","first-page":"3625","DOI":"10.1016\/j.tcs.2010.06.005","article-title":"The continuous Skolem-Pisot problem: On the complexity of reachability for linear ordinary differential equations","volume":"411","author":"bell","year":"2010","journal-title":"Theoretical Computer Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1002\/9781118164495"},{"key":"4","article-title":"Problems of present day mathematics, XVII (Dynamical systems and differential equations)","volume":"28","author":"arnold","year":"1976","journal-title":"Proc Symp Pure Math"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(00)00050-9"},{"key":"8","first-page":"46","article-title":"Overview of complexity and decidability results for three classes of elementary nonlinear systems","author":"blondel","year":"1998","journal-title":"Learning Control and Hybrid Systems"}],"event":{"name":"2013 American Control Conference (ACC)","location":"Washington, DC","start":{"date-parts":[[2013,6,17]]},"end":{"date-parts":[[2013,6,19]]}},"container-title":["2013 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6573242\/6579790\/06580838.pdf?arnumber=6580838","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T16:50:31Z","timestamp":1498150231000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6580838\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/acc.2013.6580838","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}