{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T14:44:17Z","timestamp":1751467457232,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/cdc.2018.8619642","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T05:12:50Z","timestamp":1548306770000},"page":"6862-6867","source":"Crossref","is-referenced-by-count":6,"title":["A Primal Active-Set Minimal-Representation Algorithm for Polytopes with Application to Invariant-Set Calculations"],"prefix":"10.1109","author":[{"given":"Emil","family":"Klintberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magnus","family":"Nilsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars Johannesson","family":"Mardh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ankit","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365723"},{"key":"ref11","first-page":"315","article-title":"Combinatorial redundancy detection","volume":"34","author":"fukuda","year":"2015","journal-title":"Annals of Operations Research"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2417851"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-52234-0_20","article-title":"Efficient elimination of redundancies in polyhedra by raytracing","author":"marechal","year":"2017","journal-title":"International Conference on Verification Model Checking and Abstract Interpretation"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0024-3795(73)90047-5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"journal-title":"An introduction to continuous optimization","year":"2006","author":"andreasson","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-014-0071-1"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1137\/130940384"},{"journal-title":"Linear Programming and Extensions","year":"1963","author":"dantzig","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1080\/00207171003692662"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.847039"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583390"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2014.882518"},{"journal-title":"Reduction of linear inequality constraints and determination of all feasible extreme points","year":"1969","author":"shelfi","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.8.4.419"},{"journal-title":"Predictive Control for Linear and Hybrid Systems","year":"2015","author":"borrelli","key":"ref2"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-8176-4606-6","author":"blanchini","year":"2008","journal-title":"Set-Theoretic Methods in Control"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1287\/opre.28.3.785"}],"event":{"name":"2018 IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2018,12,17]]},"location":"Miami Beach, FL","end":{"date-parts":[[2018,12,19]]}},"container-title":["2018 IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8592870\/8618647\/08619642.pdf?arnumber=8619642","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:37:00Z","timestamp":1598229420000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8619642\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cdc.2018.8619642","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}