Show simple item record

dc.contributor.authorSiaulys, Kestutisen
dc.contributor.authorMaciejowski, Janen
dc.date.accessioned2018-12-19T00:30:45Z
dc.date.available2018-12-19T00:30:45Z
dc.date.issued2016-12-27en
dc.identifier.isbn9781509018376en
dc.identifier.issn0743-1546
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/287166
dc.description.abstract© 2016 IEEE. A method based on a quantifier elimination algorithm is suggested for obtaining explicit model predictive control (MPC) laws for linear time invariant systems with quadratic objective and polytopic constraints. The structure of the control problem considered allows Weispfenning's 'quantifier elimination by virtual substitution' algorithm to be used. This is applicable to first order formulas in which quantified variables appear at most quadratically. It has much better practical computational complexity than general quantifier elimination algorithms, such as cylindrical algebraic decomposition. We show how this explicit MPC solution, together with Weispfenning's algorithm, can be used to check recursive feasibility of the system, for both nominal and disturbed systems. Extension to cases beyond linear MPC using Weispfenning's algorithm is part of future work.
dc.description.sponsorshipEngineering and Physical Sciences Research Council, and European Union Seventh Framework Programme FP7/2007-2013 grant agreement number 314 544, project “RECONFIGURE”.
dc.titleVerification of model predictive control laws using weispfenning's quantifier elimination by virtual substitution algorithmen
dc.typeConference Object
prism.endingPage1457
prism.publicationDate2016en
prism.publicationName2016 IEEE 55th Conference on Decision and Control, CDC 2016en
prism.startingPage1452
dc.identifier.doi10.17863/CAM.34475
dcterms.dateAccepted2016-07-23en
rioxxterms.versionofrecord10.1109/CDC.2016.7798471en
rioxxterms.versionAM
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserveden
rioxxterms.licenseref.startdate2016-12-27en
dc.contributor.orcidMaciejowski, Jan [0000-0001-8281-8364]
rioxxterms.typeConference Paper/Proceeding/Abstracten
pubs.funder-project-idEC FP7 CP (314544)
rioxxterms.freetoread.startdate2017-12-27


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record