{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:50:17Z","timestamp":1729655417723,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/ecc.2015.7330921","type":"proceedings-article","created":{"date-parts":[[2015,11,23]],"date-time":"2015-11-23T17:45:17Z","timestamp":1448300717000},"page":"2547-2552","source":"Crossref","is-referenced-by-count":2,"title":["Safety verification of implicitly defined MPC feedback laws"],"prefix":"10.1109","author":[{"given":"Juraj","family":"Holaza","sequence":"first","affiliation":[]},{"given":"Balint","family":"Takacs","sequence":"additional","affiliation":[]},{"given":"Michal","family":"Kvasnica","sequence":"additional","affiliation":[]},{"given":"Stefano","family":"Di Cairano","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00214-9"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-540-24743-2_32","article-title":"Safety verification of hybrid systems using barrier certificates","author":"prajna","year":"2004","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_35"},{"journal-title":"Modeling and reach-set computation for analysis and optimal control of discrete hybrid automata","year":"2003","author":"torrisi","key":"ref14"},{"key":"ref15","first-page":"462","article-title":"Constructive safety using control barrier functions","author":"wieland","year":"2007","journal-title":"Proceedings of the 7th IFAC Symposium on Nonlinear Control Systems"},{"journal-title":"Model Building in Mathematical Programming","year":"1993","author":"williams","key":"ref16"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/3-540-46430-1_8","article-title":"Optimization- Verification and Stability Characterization of Piecewise Affine and Hybrid Systems","volume":"1790","author":"bemporad","year":"2000","journal-title":"Proc of the Intern Workshop on Hybrid Systems Computation and Control"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0005-1098(01)00174-1","article-title":"The explicit linear quadratic regulator for constrained systems","volume":"38","author":"bemporad","year":"2002","journal-title":"Automatica"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"journal-title":"Constrained Optimal Control of Linear and Hybrid Systems Volume 290 of Lecture Notes in Control and Information Sciences","year":"2003","author":"borrelli","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.11.014"},{"journal-title":"Nonlinear model predictive control of the four tank process","year":"2007","author":"drca","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-7721(03)00048-8"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/3-540-45657-0_30","article-title":"The d\/dt tool for verification of hybrid systems","author":"asarin","year":"2002","journal-title":"Computer Aided Verification"},{"journal-title":"Predictive Control with Constraints","year":"2001","author":"maciejowski","key":"ref9"}],"event":{"name":"2015 European Control Conference (ECC)","start":{"date-parts":[[2015,7,15]]},"location":"Linz, Austria","end":{"date-parts":[[2015,7,17]]}},"container-title":["2015 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7317886\/7330515\/07330921.pdf?arnumber=7330921","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T16:51:16Z","timestamp":1567356676000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7330921\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/ecc.2015.7330921","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}