{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:44:06Z","timestamp":1755999846507},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7798471","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T12:11:18Z","timestamp":1483618278000},"page":"1452-1457","source":"Crossref","is-referenced-by-count":1,"title":["Verification of model predictive control laws using weispfenning's quantifier elimination by virtual substitution algorithm"],"prefix":"10.1109","author":[{"given":"K.","family":"Siaulys","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M.","family":"Maciejowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/261320.261324"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.12.003"},{"key":"ref12","first-page":"502510","article-title":"Multi-Parametric Toolbox 3.0","author":"herceg","year":"2013","journal-title":"Proc of the European Control Conference"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(01)00174-1"},{"article-title":"Predictive control: with constraints","year":"2002","author":"maciejowski","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1657280"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582743"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s002000050055"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/36.5.450"},{"key":"ref6","article-title":"A note on real quantifier elimination by virtual term substitution of unbounded degree","author":"liiva","year":"2014","journal-title":"Proceedings of the PAS workshop Vienna Summer of Logic"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/190347.190425"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44860-8_86"},{"key":"ref7","article-title":"A Generalized Framework for Virtual Substitution","author":"marek","year":"2015","journal-title":"arXiv preprint arXiv 1501 05826"},{"key":"ref2","first-page":"134","article-title":"Quantifier elimination for real closed fields by cylindrical algebraic decompostion","author":"collins","year":"1975","journal-title":"Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","article-title":"A Decision Method for Elementary Algebra and Geometry","author":"tarski","year":"1951"},{"journal-title":"Wolfram Research Mathematica 10 0","year":"2016","key":"ref9"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07798471.pdf?arnumber=7798471","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,20]],"date-time":"2022-07-20T15:40:08Z","timestamp":1658331608000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7798471\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7798471","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}