Transcription of Theory, Computation, and Design 2nd Edition
1 ModelPredictiveControl: Theory, Computatio n,andDesign2ndEdition9377307809759 ISBN 9780975937730 ModelPredictiveControl: Theory, Computatio n, ,Wisconsin, , ,GermanyDNobHillPublishingMadison,Wiscon sinThisbookwassetinLucidausingLATEX, certi rstedition,the eldofmodelpredictivecontrol(MPC) ,thealgorithmsandhigh-levelsoftwareavail ableforsolv-ingchallengingnonlinearoptim alcontrolproblemshaveadvancedsig-ni ,wehaveaddedanewchapter,Chapter8, NumericalOptimalControl, andcoauthor, elds:simulationofdifferentialequations, ,coveringtopicssuchasderivativecomputati ons,Hessianapproximations, ,thechap-terpresentssomeofthemanywaystha tthespeci ,andahigh-levelsetofOctave/MATLAB functions,MPCT ools, ~ ,wehaveaddedsectionscoveringthefollowing topics: economicMPC ,wehaveaddedadiscussionofstochasticMPC, ,wehaveaddedanewtreatmentofstateestimati onwithpersistent, ; rst,wewantedtomaintainamanageabletotalle ngthofthetext.
2 Second,alloftheavailablesamplingstrate-g iesinparticle lteringcomeupagainstthe curseofdimensionality, whichrendersthestateestimatesinaccuratef ordimensionhigherthanabout , , ,wesupportthestrongerKL-de nitionofasymp-toticstability,inplaceofth eclassicalde nitionusedinthe cantnotationalchangeistodenoteasequencew ith a; b ; c ; : : : insteadofwithfa; b ; c ; : : :gasinthe ,Wis.,USADQML ondon,EnglandMMDF reiburg,GermanyPrefaceOurgoalinthistexti stoprovideacomprehensiveandfoundationalt reatmentofthetheoryanddesignofmodelpredi ctivecontrol(MPC).Bynowseveralexcellentm onographsemphasizingvariousaspectsofMPCh aveappeared(alistappearsatthebeginningof Chapter1), , , , (morethan300pages) , ,butalsoviiiixcoversextendedandunscented Kalman ltering,andparticle , 'sorstudent' ,again, , , ~ ,however,thatallmaterialintheappendicesi sincludedinthebook'sprintedtableofconten ts, , ,Wisconsin,USAL ondon,EnglandAcknowledgmentsBothauthorsw ouldliketothanktheDepartmentofChemicalan dBio-logicalEngineeringoftheUniversityof WisconsinforhostingDQM'.
3 RishiAmrit,DennisBonn e,JohnCampbell,JohnEaton,PeterFindeisen, RolfFindeisen,EricHaseltine,JohnJ rgensen,NabilLaachi,ScottMead-ows,ScottM iddlebrooks,SteveMiller,KenMuske,BrianOd elson,Mu-raliRajamani,ChrisRao,BrettStew art,KaushikSubramanian,AswinVenkat, :FrankAllg ower,TomBadgwell,BhavikBakshi,DonBartusi ak,LarryBiegler,MoritzDiehl,JimDowns,Tom Edgar,BrianFroisy,RaviGudi,StenBayJ rgensen,JayLee,FernandoLima,WolfgangMarq uardt,GabrielePannocchia,JoeQin,HarmonRa y,PierreScokaert,SigurdSkogestad,TylerSo derstrom,SteveWright, ,espe-ciallyRichardVinterandMartinClark, ;hewouldalsoliketothankmanyothercol-leag ues,especiallyKarl Astr om,RogerBrockett,LarryHo,PetarKoko-tovic ,andArtKrener, :IoannisChrysochoos,WilburLangson,Hannah Michalska,SasaRakovi c,andWarrenSchroeder.
4 HannahMichalskaandSasaRakovi c,inparticular, ,nowcolleagues,aswellastoFrankAllg ower,RolfFind-eisenEricKerrigan,Konstant inosKouramus,ChrisRao,PierreScokaert, ,BobBird,EricKerrigan,KenMuske,GabrieleP annocchia, :DougAl-lan,TravisArnold,CuylerBates,Luo Ji,NishithPatel,MichaelRisbeck, ,and,inparticular,thesoftwarere-lease,th ecurrentgroupofgraduatestudentsfarexceed edexpectationstohelp ,theprojectcouldnothavebeencompletedinat imelyfashionwithouttheirgenerosity,enthu siasm,professionalism,andsel , , , , ,JochemDeSchut-ter,AndreaZanelli,Dimitri sKouzoupis,JorisGillis,JoelAndersson,and RobinVerschuerenforhelpwiththepreparatio nofexercisesandexamplesinChapter8.
5 Andalsowantstoacknowledgethefollowingcur rentandformerteammembersthatcontributedt oresearchandteachingonoptimalandmodelpre dictivecontrolattheUniversitiesofLeuvena ndFreiburg:AdrianB urger,HansJoachimFerreau,J orgFis-cher,JanickFrasch,GianlucaFrison, NielsHaverbeke,GregHorn,BorisHouska,Jona sKoenemann,AttilaKozma,VyacheslavKungurt sev,Gio-vanniLicitra,RienQuirynen,CarloS avorgnan,QuocTran-Dinh,MilanVukov, ower,Al-bertoBemporad,RolfFindeisen,Larr yBiegler,HansGeorgBock,StephenBoyd,S ebastienGros,LarsGr une,ColinJones,JohnBagterpJ rgensen,ChristianKirches,DanielLeinewebe r,KatjaMombaur,YuriiNesterov,ToshiyukiOh tsuka,GoelePipeleers,AndreasPotschka,Seb astianSager, oder,VolkerSchulz,MarcSteinbach,JanSweve rs,Phil-ippeToint,AndreaWalther,StephenW right,JoosVandewalle, , ,Disturbances.
6 (Inherent) :DynamicProgrammingSolution Uand ,UKF, andu0 .. x isUniqueforallx2 (LQP).. ConditionalProbabilityandBayes' , ; ,outputy,andtransferfunctionma-trixGconn ectingthem;themodelisy (a)continuousactua-torsand(b) :recedinghorizonregulator,stateestimator , owrateat10minutes;nd owrateat10minutes;nd owrateat10minutes;nd owrateat10minutes;nd , ,ellipticalcostcontoursandellipsecentera x , x (shaded)andcontrollaw 3 x (line)versusx cos ;sin , 2 ; x 8;8 withoptimalsteadystate 8;4 . ,andifon,itmustbebetweenits(possiblynonz ero) Qmin 9(right-handside),XNforN Qmin (shadedregion) , N 2 XfandterminalpenaltyVf x 1=2 x0 xandthees-timateof xsp; usp ,unreachablestagecost` x ; u ,andoptimalsteadystates xs; us ,andstagecosts`s x ; u `e x ; u 0(circles)for 0; 8; `e x ; u < ,Rb, z ; u.
7 2 0;1 .. 1,jx2j 2,andjuj .. 12(left)and 8(right).. " ".Dashedlineshowstheoutcomepredictedbyfo rmula( ), ,"test ".. 0 Zk p ,underboundingpriorweighting k p ,andMHEoptimalvalue (solidline)andEKFstateestimate(dashedlin e).. (solidline)andUKFstateestimate(dashedlin e).. (solidline)andMHEstateestimate(dashedlin e).. , ,FSO, x t isthecenterofthetube,andthedashedlineisa sampletrajectoryofx t . , up1; up2 to up 11; up 12 .. ; ; , x1 0 ; x2 0 3; 3 .. x 0 ;u1;u2 forN ,X,andU x .. ; u 0 t andtruetrajectoryx1 t ofthe z (b).. ( ) ( ) A .. A0 .. c fory max x1; x2.
8 U 6 TU u .. :ThevaluefunctionV0N nition:Input/output-to-statestable(IOSS) .. :Modi :Asymptoticstabilitywithstagecost` y ; u .. :Continuityofsystemandcost; :Propertiesofconstraintsets; :Continuoussystemsolution; :Existenceofsolutiontooptimalcontrolprob -lem; nition:Lyapunovfunction:time-varying, :Lyapunovtheoremforasymptoticstability(t ime-varying,constrained).. :Basicstabilityassumption; :Optimalcostdecrease; :Optimalvaluefunctionproperties; : :MPCstability; nition:Asymptoticstability(differenceinc lusion).. nition:Lyapunovfunction(differenceinclus ion).
9 :Asymptoticstability(differenceinclusion ).. : :Basicstabilityassumption; nition: :Bounded,convergentsequencesare -convergent : :Positivede :Boundednessandconvergenceofestimateerro r :FIEwith :ObservableandglobalK-continuousimplyFSO nition:RGAS estimation(observablecase).. :MHEisRGAS(observablecase) nition:i-IOSS(maxform).. :Positivede :EKF,UKF, : : nition:Positiveinvariance; :Robustcontrolalgorithm(linearconstraine dsystems).. :Robustcontrolalgorithm(offset-freeMPC). . :SuboptimalMPC(simpli ed).
10 :Basicstabilityassumption(distributed).. nition:Polytopic(polyhedral) nition:Piecewiseaf :Farkas' :SolutionofP w , :Piecewisequadratic(af ne)cost(solution).. :Continuous, nition:Activepolytope(polyhedron).. :Optimalityofu0x w :Piecewisequadratic(af ne) :Piecewiseaf :Findinga :ConvergenceofexactNewton' :Strongsecond-ordersuf :Doesuncorrelatedimplyindependent?.. nition:K,K1,K L,andP nition:Globalasymptoticstability(KLversi on).. nition:Variousformsofstability(constrain ed).. nition:Asymptoticstability(constrained,K Lversion).