{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:30:08Z","timestamp":1729625408897,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/acc.2003.1242454","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T14:24:01Z","timestamp":1075818241000},"page":"4633-4638","source":"Crossref","is-referenced-by-count":0,"title":["Verification of a class of hybrid systems using mathematical programming"],"prefix":"10.1109","volume":"6","author":[{"given":"R.","family":"Prasanth","sequence":"first","affiliation":[]},{"given":"S.","family":"Bergstrom","sequence":"additional","affiliation":[]},{"given":"J.D.","family":"Boskovic","sequence":"additional","affiliation":[]},{"given":"R.K.","family":"Mehra","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"Assurance technology for software and systems","author":"prasanth","year":"2002","journal-title":"Report Submitted to DARPA"},{"key":"22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4381-7","author":"wolkowicz","year":"2000","journal-title":"Handbook of Semidefinite Programming"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"journal-title":"Combinatorial Optimization","year":"1998","author":"papadimitriou","key":"18"},{"journal-title":"Proc of IEEE","year":"2000","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00214-9"},{"key":"13","article-title":"Ellipsoidal techniques for reachability analysis","volume":"1790","author":"kurzhanski","year":"2000","journal-title":"LNCS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49163-5_10"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"12"},{"journal-title":"A Theory of Learning and Generalization","year":"1997","author":"vidyasagar","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(00)00050-9"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/9.847100"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(01)00174-1"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1109\/TAC.2002.805688","article-title":"MPC based on linear programming - The explicit solution","author":"bemporad","year":"2002","journal-title":"IEEE Trans Auto Con"},{"key":"10","article-title":"What's decidable about hybrid automata","author":"henzinger","year":"1995","journal-title":"Proc Ann Symp Theory of Computing"},{"key":"7","article-title":"Verification of polyhedral invariant hybrid automata using polygonal flow pipe approximations","volume":"1569","author":"chutinan","year":"1999","journal-title":"LNCS"},{"key":"6","article-title":"Computing polyhedral approximations to flow pipes for dynamic systems","author":"chutinan","year":"1998","journal-title":"Proc Conf Dec Control"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/9.654885"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970777"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6"}],"event":{"name":"2003 American Control Conference","acronym":"ACC-03","location":"Denver, CO, USA"},"container-title":["Proceedings of the 2003 American Control Conference, 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8775\/27842\/01242454.pdf?arnumber=1242454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T23:26:39Z","timestamp":1497569199000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1242454\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/acc.2003.1242454","relation":{},"subject":[]}}