Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Synthesis and Stabilization of Complex Behaviors through Online Trajectory Optimization


Synthesis and Stabilization of Complex Behaviors through Online Trajectory Optimization


高橋研Model Based RL勉強会の第4回のスライドです。
Synthesis and Stabilization of Complex Behaviors through Online Trajectory Optimization

Iterative Linear Quadratic Regulator Design for Nonlinear Biological Movement Systems
の2つの論文について説明しました

Yu Ishihara

May 25, 2019
Tweet

More Decks by Yu Ishihara

Other Decks in Research

Transcript

  1. ࠓ೔ͷϝχϡʔ   Synthesis and Stabilization of Complex Behaviors through

    Online Trajectory Optimization Yuval Tassa, Tom Erez and Emanuel Todorov University of Washington Abstract — We present an online trajectory optimization method and software platform applicable to complex humanoid robots performing challenging tasks such as getting up from an arbitrary pose on the ground and recovering from large disturbances using dexterous acrobatic maneuvers. The result- ing behaviors, illustrated in the attached video, are computed only 7 x slower than real time, on a standard PC. The video also shows results on the acrobot problem, planar swimming and one-legged hopping. These simpler problems can already be solved in real time, without pre-computing anything. I. INTRODUCTION Online trajectory optimization, also known as Model- Predictive Control (MPC), is among the most powerful methods for automatic control. It retains the key benefit of the optimal control framework: the ability to specify high- level task goals through simple cost functions, and synthesize all details of the behavior and control law automatically. At the same time MPC side-steps the main drawback of dynamic programming – the curse of dimensionality. This drawback is particularly problematic for humanoid robots, whose state space is so large that no control scheme (optimal or not) can explore all of it in advance and prepare suitable responses for every conceivable situation. of it or unwilling to use it, but simply because they lack the tools to make it work. While recent examples demonstrate the power of MPC applied to robotics [2], [3], much work remains to be done before it becomes a standard off-the-shelf tool. When it does, we believe it will revolutionize the field and enable control of complex behaviors currently only seen in movies. A. Specific contributions The results presented here are enabled by advances on multiple fronts. Our new physics simulator, called Mu- JoCo, was used to speed up the computation of dynamics derivatives. MuJoCo is a C-based, platform-independent, multi-threaded simulator tailored to control applications. We detail several improvements to the iterative LQG method for trajectory optimization [4] that increase its efficiency and robustness. We present a simplified model of contact dy- namics which yields a favorable trade-off between physical realism and speed of simulation/optimization. We introduce cost functions that result in better-behaved energy landscapes and are more amenable to trajectory optimization. Finally, we describe a MATLAB-based environment where the user can modify the dynamics model, cost function or algorithm 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems October 7-12, 2012. Vilamoura, Algarve, Portugal To appear in the 1st International Conference on Informatics in Control, Automation and Robotics Iterative Linear Quadratic Regulator Design for Nonlinear Biological Movement Systems Weiwei Li Department of Mechanical and Aerospace Engineering, University of California San Diego 9500 Gilman Dr, La Jolla, CA 92093-0411 [email protected] Emanuel Todorov Department of Cognitive Science, University of California San Diego 9500 Gilman Dr, La Jolla, CA 92093-0515 [email protected] Keywords: ILQR, Optimal control, Nonlinear system. Abstract: This paper presents an Iterative Linear Quadratic Regulator (ILQR) method for locally-optimal feedback con- trol of nonlinear dynamical systems. The method is applied to a musculo-skeletal arm model with 10 state dimensions and 6 controls, and is used to compute energy-optimal reaching movements. Numerical compar- isons with three existing methods demonstrate that the new method converges substantially faster and finds ࣮࣭తʹ΍͍ͬͯΔ͜ͱ͸ಉ͡ͳͷͰ J-23ͱͯ͠·ͱΊͯ঺հ
  2. ࠓ·Ͱͷ͓͞Β͍   w ୈճ 1*-$0 μΠφϛΫεΛֶशͯ͠ɺํࡦޯ഑Λܭࢉ
 μΠφϛΫε͸ະ஌ɺใुؔ਺ ධՁؔ਺ ͸ط஌

    w ୈճ 5310 ํࡦޯ഑Λσʔλ͔Βਪఆ
 μΠφϛΫε͸ະ஌ɺใुؔ਺΋ະ஌ w ୈճ *0$*3- PQUJNBMQPMJDZ͔ΒใुΛਪఆ
 μΠφϛΫε͸ະ஌ɺใुؔ਺΋ະ஌ -23 ຊ೔ ͸μΠφϛΫεͱใुؔ਺͕ط஌ͷԼͰ
 ํࡦΛܾఆ͢ΔΞϧΰϦζϜ
  3. ͦ΋ͦ΋-23ͱ͸   ઢܗͳμΠφϛΫεΛ߆ଋ৚݅ͱͯ͠ɺೋ࣍·Ͱͷ߲Ͱ දݱ͞ΕΔίετΛ࠷খԽ͢ΔೖྗΛٻΊΔ໰୊ -JOFBS 2VBESBUJD C = Cxx

    Cxu Cux Cuu ! , c = cx cu ! <latexit sha1_base64="uxuSfTgZ7sjaMROZ9M+lNbrtoGI=">AAAE1niclVO/b9NAFH4uLpRQaAoLEotF1Iqhii6hAoRUEZGFsT9IG6muIvt6DUfts2Wf07RWuiGkTmwMTCAxAH8GC/8AQ/8ExFgkFgbend1AE7Vpz8r53Xff+773zjk39HgsCTk0xi6Z45evTFwtXJu8fmOqOH1zNQ6SiLIGDbwgarpOzDwuWENy6bFmGDHHdz225m7X1f5ah0UxD8RzuRuyDd9pC77FqSMRahU/W5ZVXyjgbLuszUUa+o6MeLenID3qrbTb7VmzOkh6lm3/v5UcbyX9LZuJzb7MnELomQYUdU/IIoBiQ1KtYomUiR7WcFDJgxLkYzGYNg7Ahk0IgEICPjAQIDH2wIEYn3WoQBVCxOYQmYeXsAEpzg5EiHHNZNCDAqokyGfIdRDdxrmNq/UcFbhW6rHOp+jn4S/CTAtmyHfyiRyRb+QL+UH+nKqVag1V1S6+3SyXha2pg9srv0dm+fiW8OJf1hkZLj7+iK4kbMEj3Q3H7kKNqD5p5tDZe3u08nh5Jp0lH8hP7PA9OSRfsUfR+UU/LrHld1pdYM6OPg9fVyjwW6SIq/Nta6SLego5rj9AL7WOELFy3n6faeO5clxx5MZ5B6M8VP3n88iYF/HI6srYe/qfcrrPMPdiTqq68zoNcgec8B5VBm/NcLBaLVful6tL86Xa0/xGTcAduAv38NY8hBo8g0VoADWKxgPjiVEzm+a++cp8nVHHjDznFpwY5pu/YZcYpQ==</latexit> minimize u1,u2,···uT  T X t=t0 c(xt , ut ) s.t. xt+1 = Axt + But + c <latexit sha1_base64="+LlutBgdUana+oOX1ulVgR7XPEE=">AAAEtXiclVNNa9RAGH5To9b60a0iCIIOLpWWlmWyFipCodaLx35tW9isIcnOrmPzRTJZtxvi3f4BD54UPIg/w4t/wEN/gnjwUMGLB9+ZRMVdatsJybzz5Hne530nGSfyeCIoPdDGzuhnz50fvzBx8dLlK5OVqatbSZjGLmu4oRfGO46dMI8HrCG48NhOFDPbdzy27ew+ku+3eyxOeBhsir2ItXy7G/AOd22BkFV5SXCYPg+4zwfMylIrM/J5glMdJ9NthyKRq808J6bDu12vaSapb2ViSVgZzfMn+Mqd6SNQyEQ+WxDjFjGJKVhfZElN1FBOJGvOyMkSeagEZI6spGXgWpUqrVE1yGhglEEVyrEaTmn7YEIbQnAhBR8YBCAw9sCGBK8mGFCHCLF5RBbgGbQgw6cNMWJcMRnkMIFZUuQz5NqI7uKzi6tmiQa4ltkTpXfRz8M7RiWBafqZvqeH9BP9QL/Qn0fmylQOWdUezk6hZZE1uX9j48exKh9nAU//qv6jcPDyj+lKQAfuq244dhcpRPbpFg69wavDjQfr09ld+pZ+xQ7f0AP6EXsMet/dd2ts/bXKHqDmudoPX1UY4LfIEJf721VIH/NJ5Hf9IXrJdYwIKXkv/jBN3FeOK47cpOzgOA9Z/8k8CuZpPIq6CvZA/SlH+4xyT+ckqzup0zB3yAnPkTF8akaDrXrNuFerry1Ul1fKEzUON+EOzOCpWYRleAyr0MBav2nXtVvabX1Rb+ltvVNQx7RScw3+GXr4C6aDFxg=</latexit> c(xt , ut ) = h xt ut i C " xt ut # + h xt ut i c = x> t Cxx xt + u> t Cuu ut + u> t Cux xt + x> t Cxu ut + x> t cx + u> t cu <latexit sha1_base64="8swRhQIdARavTv3BGF5ikPravOI=">AAAFjXiclVPLbtNAFL0uGEp4pIENEhuLqFERVTUJRSAEqCILWPZB2kp1Se3pNAz1S/Y4pLXMB/QHWLACiQXiM1jAD7DoJyDEqohuWHBn7BY1SZtmrHhmzj3nnnvHGTtweCQI2dVGzpzVz50fvVC4eOnyleJY6epi5MchZQ3qO364bFsRc7jHGoILhy0HIbNc22FL9mZdxpfaLIy47z0XWwFbda2Wxzc4tQRCzZK2ZuCgE51mItJJI5bTLaMgwcqjbDZt1uJeYruWCHknNRTVqGRcw2Te+mFM8esnqEyznyzzuT2ME8VUB1Uq2gtT+IFRbyadTprp8qTxkWgcpwroH+ySdiXOpX2iFKN9UiIcp82xMpkiahi9i2q+KEM+Zv2StgMmrIMPFGJwgYEHAtcOWBDhswJVqEGA2CQi0/AKViHBtwUhYlwxGaRQwCwx8hlyLUQ38d3C3UqOeriX2SOlp+jn4C9EpQHj5Dv5RPbIN/KZ/CB/j82VqByyqi2c7UzLgmZx5/rC/kCVi7OAl/9VJyhsfNwBXQnYgPuqG47dBQqRfdLMob39dm/hwfx4UiEfyE/s8D3ZJV+wR6/9m36cY/PvVHYPNa/VebiqQg+/RYK4PN+WQjqYTyIH9fvoJfchIkbOe3PINPFcOe44cqO8g0Eesv7TeWTMYTyyujL2tvqnHO/Tyx3OSVZ3WqdubpcT3qNq963pXSzWpqp3pmpz0+WZJ/mNGoUbcBMm8Nbcgxl4BrPQAKp91X5pf7R9vajf1R/qjzPqiJZrrsGRoT/9B8AdXpI=</latexit>
  4. ͦ΋ͦ΋-23ͱ͸   μΠφϛΫε੍͕ޚ͍ͨ͠ൣғͰઢܗͰ͋Ε͹ɺ
 ࠷దͳೖྗ͸ϦΧονํఔࣜΛղ͘͜ͱͰٻ·Δ C = Cxx Cxu Cux

    Cuu ! , c = cx cu ! <latexit sha1_base64="uxuSfTgZ7sjaMROZ9M+lNbrtoGI=">AAAE1niclVO/b9NAFH4uLpRQaAoLEotF1Iqhii6hAoRUEZGFsT9IG6muIvt6DUfts2Wf07RWuiGkTmwMTCAxAH8GC/8AQ/8ExFgkFgbend1AE7Vpz8r53Xff+773zjk39HgsCTk0xi6Z45evTFwtXJu8fmOqOH1zNQ6SiLIGDbwgarpOzDwuWENy6bFmGDHHdz225m7X1f5ah0UxD8RzuRuyDd9pC77FqSMRahU/W5ZVXyjgbLuszUUa+o6MeLenID3qrbTb7VmzOkh6lm3/v5UcbyX9LZuJzb7MnELomQYUdU/IIoBiQ1KtYomUiR7WcFDJgxLkYzGYNg7Ahk0IgEICPjAQIDH2wIEYn3WoQBVCxOYQmYeXsAEpzg5EiHHNZNCDAqokyGfIdRDdxrmNq/UcFbhW6rHOp+jn4S/CTAtmyHfyiRyRb+QL+UH+nKqVag1V1S6+3SyXha2pg9srv0dm+fiW8OJf1hkZLj7+iK4kbMEj3Q3H7kKNqD5p5tDZe3u08nh5Jp0lH8hP7PA9OSRfsUfR+UU/LrHld1pdYM6OPg9fVyjwW6SIq/Nta6SLego5rj9AL7WOELFy3n6faeO5clxx5MZ5B6M8VP3n88iYF/HI6srYe/qfcrrPMPdiTqq68zoNcgec8B5VBm/NcLBaLVful6tL86Xa0/xGTcAduAv38NY8hBo8g0VoADWKxgPjiVEzm+a++cp8nVHHjDznFpwY5pu/YZcYpQ==</latexit> minimize u1,u2,···uT  T X t=t0 c(xt , ut ) s.t. xt+1 = Axt + But + c <latexit sha1_base64="+LlutBgdUana+oOX1ulVgR7XPEE=">AAAEtXiclVNNa9RAGH5To9b60a0iCIIOLpWWlmWyFipCodaLx35tW9isIcnOrmPzRTJZtxvi3f4BD54UPIg/w4t/wEN/gnjwUMGLB9+ZRMVdatsJybzz5Hne530nGSfyeCIoPdDGzuhnz50fvzBx8dLlK5OVqatbSZjGLmu4oRfGO46dMI8HrCG48NhOFDPbdzy27ew+ku+3eyxOeBhsir2ItXy7G/AOd22BkFV5SXCYPg+4zwfMylIrM/J5glMdJ9NthyKRq808J6bDu12vaSapb2ViSVgZzfMn+Mqd6SNQyEQ+WxDjFjGJKVhfZElN1FBOJGvOyMkSeagEZI6spGXgWpUqrVE1yGhglEEVyrEaTmn7YEIbQnAhBR8YBCAw9sCGBK8mGFCHCLF5RBbgGbQgw6cNMWJcMRnkMIFZUuQz5NqI7uKzi6tmiQa4ltkTpXfRz8M7RiWBafqZvqeH9BP9QL/Qn0fmylQOWdUezk6hZZE1uX9j48exKh9nAU//qv6jcPDyj+lKQAfuq244dhcpRPbpFg69wavDjQfr09ld+pZ+xQ7f0AP6EXsMet/dd2ts/bXKHqDmudoPX1UY4LfIEJf721VIH/NJ5Hf9IXrJdYwIKXkv/jBN3FeOK47cpOzgOA9Z/8k8CuZpPIq6CvZA/SlH+4xyT+ckqzup0zB3yAnPkTF8akaDrXrNuFerry1Ul1fKEzUON+EOzOCpWYRleAyr0MBav2nXtVvabX1Rb+ltvVNQx7RScw3+GXr4C6aDFxg=</latexit> c(xt , ut ) = h xt ut i C " xt ut # + h xt ut i c = x> t Cxx xt + u> t Cuu ut + u> t Cux xt + x> t Cxu ut + x> t cx + u> t cu <latexit sha1_base64="8swRhQIdARavTv3BGF5ikPravOI=">AAAFjXiclVPLbtNAFL0uGEp4pIENEhuLqFERVTUJRSAEqCILWPZB2kp1Se3pNAz1S/Y4pLXMB/QHWLACiQXiM1jAD7DoJyDEqohuWHBn7BY1SZtmrHhmzj3nnnvHGTtweCQI2dVGzpzVz50fvVC4eOnyleJY6epi5MchZQ3qO364bFsRc7jHGoILhy0HIbNc22FL9mZdxpfaLIy47z0XWwFbda2Wxzc4tQRCzZK2ZuCgE51mItJJI5bTLaMgwcqjbDZt1uJeYruWCHknNRTVqGRcw2Te+mFM8esnqEyznyzzuT2ME8VUB1Uq2gtT+IFRbyadTprp8qTxkWgcpwroH+ySdiXOpX2iFKN9UiIcp82xMpkiahi9i2q+KEM+Zv2StgMmrIMPFGJwgYEHAtcOWBDhswJVqEGA2CQi0/AKViHBtwUhYlwxGaRQwCwx8hlyLUQ38d3C3UqOeriX2SOlp+jn4C9EpQHj5Dv5RPbIN/KZ/CB/j82VqByyqi2c7UzLgmZx5/rC/kCVi7OAl/9VJyhsfNwBXQnYgPuqG47dBQqRfdLMob39dm/hwfx4UiEfyE/s8D3ZJV+wR6/9m36cY/PvVHYPNa/VebiqQg+/RYK4PN+WQjqYTyIH9fvoJfchIkbOe3PINPFcOe44cqO8g0Eesv7TeWTMYTyyujL2tvqnHO/Tyx3OSVZ3WqdubpcT3qNq963pXSzWpqp3pmpz0+WZJ/mNGoUbcBMm8Nbcgxl4BrPQAKp91X5pf7R9vajf1R/qjzPqiJZrrsGRoT/9B8AdXpI=</latexit>
  5. J-23ͷಋग़   xi+1 = f(xi , ui ) <latexit

    sha1_base64="ZZm5CVcoZ2fDebF9hNUQZLZ/Nkw=">AAAESniclVPLThRBFD1Dj/JSGXRDYmI6TjAYyaR6IJGYkBDduOThAAmQSXdbM5b0K909w6MzrFzxAy5caeJCWMIfuHHBlgWfQNyJiTG68FZ1q3EmOFCVrrp1+tx77q3uawWOiGLGTnI9Wv7K1d6+/oHBa9dvDBWGby5GfiO0ecX2HT9ctsyIO8LjlVjEDl8OQm66lsOXrPUn8v1Sk4eR8L1n8VbA11yz7omasM2YoGrhjk5js5qIB0ZLn9ZrY9JujesNud3Xq4UiKzE19E7DyIwisjHrD+d2sYrn8GGjARccHmKyHZiIaK7AQBkBYeOETOIl1pDQaiIkTCgmRwsDFKVBfE5ck9B1Wut0WslQj84yeqT8bdJz6AnJU8coO2Yf2Bn7xPbZKft5bqxExZBZbdFupb48qA7tjix86+rl0h7jxV+v/3hYNN0uVcWoYUpVI6i6QCGyTjtVaG6/Plt4ND+a3GPv2Geq8C07YR+pRq/51X4/x+ffqOge+Wyo+3BVhh59i4Rweb91hWxSPIn8zt8nLXkOCdEz3s4f5irdq6CTIG6UVdBNQ+Z/MY2UeRmNNK+Uva3+lPN1OrmXU5LZXVSpndumRH1ktHdNp7FYLhkTpfLcZHHmcdZRfbiNuxijrnmIGTzFLCqU6yvs4QCH2pH2Rfuu/UipPbnM5xb+Gfn8L+HB8oQ=</latexit> ʢඇઢܗʣμΠφϛΫε U = (u0 , · · · , uT ) J(x0 , U) = T X t=0 c(xt , ut ) <latexit sha1_base64="oXT7ae2Ers7nLqFqnVsVXPWFCBY=">AAAEgHiclVPLbtNAFL0JBkp4NIUNEpsRUatEisI4VAJVqlTBBrHqI24r1cWy3WkY6pfscWhrmQ/oD7BgBRILxB+wZcMPsOiObWFZJDYsuDM2IBKVtGPZnnvmnHvuHXucyOOJoPSwUj2nnb9wceJS7fKVq9cm61PXV5MwjV1muKEXxuuOnTCPB8wQXHhsPYqZ7TseW3N2Hsr1tQGLEx4GPbEXsU3f7gd8m7u2QMiq9wiOGYPMk2ZqZTRvE9PdCkXSJhj28hYxzZqiPG7uFutGC8lmkvpWJuZp/gRZxJWLIlcikbeseoN2qBpkdKKXkwaUYzGcqhyACVsQggsp+MAgAIFzD2xI8NoAHboQIdZGZBaewSZk+LQhRowrJoMcapglRT5Dro3oDj77GG2UaICxzJ4ovYt+Ht4xKglM08/0HT2mn+h7ekR/npgrUzlkVXv4dgoti6zJg5srP8aqfHwLePpX9R+Fg5c/pisB23BfdcOxu0ghsk+3cBjsvzxemVuezmboG/oNO3xND+lH7DEYfHffLrHlVyp7gJrnaj98VWGA3yJDXO5vXyG7mE8iv+sP0UvGMSKk5L34wzRxXzlGHLlJ2cE4D1n/6TwK5lk8iroK9r76U072GeWezUlWd1qnYe6QE54jffjUjE5Wux39bqe7NNtYeFCeqAm4BbehiafmHizAI1gEA2v9AF/gCL5qVa2p3dH0glqtlJob8M/Q5n4BkMAA/g==</latexit> U⇤ = arg min U J(x0 , U) <latexit sha1_base64="S/xkptPskGYvtKh2fuwy6TlLy1E=">AAAEUniclVPPa9RAFP62u2qt1W71IngJLi0VyjK7FhRBKHoRT/1h2kK3hkmcrmOTSUiya9uw/gHFuwdPCh7Em1e9efEP0EP/BPFYQRAPvplExV3qtjNk5s2X773vvUmeG/kySRnbL42UKydOnho9PXZm/Oy5ierk+ZUk7MSesL3QD+M1lyfCl0rYqUx9sRbFggeuL1bdrdv6/WpXxIkM1b10JxIbAW8ruSk9nhLkVKctGvb9rMWTtGfdtFo8bgdSOZnds+7ObDsZ681a9hWnWmN1ZoY1aDQKo4ZiLISTpT208AAhPHQQQEAhJdsHR0JzHQ00ERE2S8gcHmEDGa0cMWHSMAV6GKMoHeIL4nJCt2ht02m9QBWddfTE+Huk59MTk6eFKfaZvWYH7CN7w76wn4fGykwMndUO7W7uKyJnYu/i8vehXgHtKR7+9fqPh0szGFJVik1cN9VIqi4yiK7TyxW6u88Olm8sTWXT7CX7ShW+YPvsA9Wout+8V4ti6bmJrsjnsbmPwGSo6FtkhOv7bRtkm+Jp5Hf+IWnpc0yIVfCe/GG26F4lnSRxk6KCYRo6/6Np5MzjaOR55exd86ccrjPIPZ6Szu6oSv3cPiXqo0Z/1wwaK81642q9uThXm79VdNQoLuEyZqhrrmEed7AAm3J9ird4h/flT+UflVKlnFNHSoXPBfwzKuO/AL/18+I=</latexit> ॳظ஋͸ط஌ ίετؔ਺͸༩͑Δ ඇઢܗͰ΋ྑ͍ ؤுͬͯܭࢉ͢Δ
  6. J-23ಋग़   Ui = (ui , · · ·

    , uT ) J(xi , Ui ) = T X t=i c(xt , ut ) <latexit sha1_base64="RpDYbEOcd0VdfRlLi6kHSfomIsA=">AAAEiHiclVPLbtNAFL0pBkp4NIUNEpsRUatEiqJJqFRAqlSVDWLVV9pKdbFsd5oO9UuecWhrmQ/oD7Bg1UosEH8BG36ARf8AxAqKxIYFd8YGRKKSdqzY9x6fc8+944wTeVxISo9LIxeMi5cuj14pX712/cZYZfzmigiT2GUdN/TCeM2xBfN4wDqSS4+tRTGzfcdjq87OI/V+tcdiwcNgWe5FbMO3uwHf4q4tEbIqJsE12bFSnpEZUktU0CCmuxlK0SCYLmd1YpplTXtS283fa34dBaZIfCuVMzx7ikziKoLMtFBmdatSpU2qFxkMWkVQhWLNh+OlAzBhE0JwIQEfGAQgMfbABoHXOrSgDRFiDUSm4BlsQIp3G2LEuGYyyKCMVRLkM+TaiO7gvYvZeoEGmKvqQutd9PPwF6OSwAT9SN/QE/qBvqWf6c9Ta6W6hupqD59OrmWRNXZwe+nHUJWPTwnbf1X/UTh4+UOmkrAF9/U0HKeLNKLmdHOH3v7Lk6WHixPpJD2iX3DCQ3pM3+OMQe+7+3qBLb7S1QPUPNf74esOA/wWKeJqf7sa2cV6Cvndf4heKo8RIQXvxR+mifvKMePIFcUEwzxU/2fzyJnn8cj7ytn7+p9yus8g93xOqruzOvVz+5zwHLX6T81gsNJutu412wtT1dm54kSNwh24CzU8NdMwC49hHjrY6zv4BF/hm1E2qDFtPMipI6VCcwv+WcbcL7h4BXk=</latexit> V (x, i) = min Ui Ji (x, Ui ) <latexit sha1_base64="xs9OsfiOkCOwqmCjmkKcTZcCaP8=">AAAEV3iclVNNb9NAEJ00oQ3lowlckLhYRK1aUUWbtBKoUqUKLohTP0haqaks22zDUntt2U5oa4Uf0BsnDpxA4oD4AVxBXPgDHPITEMcicUGCt2sDIlFJuyt7Z9++mTez9tiBK6KYsX5uLF84Nz5RPD954eKly1Ol8pVm5HdChzcc3/XDLduKuCskb8QidvlWEHLLs12+ae/dVeebXR5GwpcP4oOA73hWW4pd4VgxILN008Bozu7PG2LOWDZanpBm0jAT0esZM/fVqs40MGeWKqzK9DCGjVpmVCgbq345d0Qtekg+OdQhjzhJimG7ZFGEuU01qlMAbB7IIj2mHUrwtigEJjSTU48mEaUDPgfXArqHdxu77QyV2KvokfZ3oOfiCeFp0DT7zN6wY/aJvWVf2I8TYyU6hsrqAKud+vLAnDq6tvF9pJeHNaZHf73+42FjeiOqimmXbutqBKoLNKLqdFKF7uHz442l9elkhr1iX1HhS9ZnH1Gj7H5zXq/x9Rc6uoTPE30fns5Q4lskwNX9tjWyj3gK+Z2/Dy21D4EYGe/pH2YL9yqwE+BGWQWjNFT+p9NImWfRSPNK2Yf6TzlZZ5h7NiWV3WmVBrkDSuij2mDXDBvNerW2UK2vLVZW7mQdVaTrdINm0TW3aIXu0So1kOszekfv6UO+n/9ZGC8UU+pYLvO5Sv+MQvkXCzz1Pg==</latexit> DPTUUPHP WBMVFGVODUJPO V (x, i) = min ui ⇥ c(xi , ui ) + V (f(xi , ui ), i + 1) ⇤ <latexit sha1_base64="1OwwrWHa1qAilnKRwTQqpcJ3afs=">AAAEfHiclVPLbtNAFL1pA5TyaAobJDYWoShRQjQJFSAkpAo2LNOWpJWSyLLNJAz1S7YT0lrhA/oDLFiBxAKx5wfY8AMsKrEFCbEsEhuEODM2oCYqacfyeO7xOffcO/aYvi3CiLG9zMxs9sTJU3On58+cPXd+Ibd4oRl6/cDiDcuzvWDTNEJuC5c3IhHZfNMPuOGYNt8wt+7L9xsDHoTCcx9G2z7vOEbPFV1hGREgPVfXMJqFYVkTRe2u1naEq8d9PRajkdY2Rc9uWYWhDMuaQotaCfTuQQziUrUo6UFHz+VZhamhTS6q6SJP6ah7i5ldatMj8siiPjnEyaUIa5sMCnG1qEo18oGVgSzTE+pQjNmgAJhQTE4jmkeWPvgcXAPoFuYeolaKuohl9lDpLfjZuAMoNVpiH9kbts8+sLfsK/t5aK5Y5ZBVbeNpJlru6wu7l9Z/TFU5eEb0+J/qPwoTlzOlq4i6dFt1I9CdrxDZp5U4DHae76/fWVuKr7FX7Bs6fMn22Hv06A6+W69X+doLld2F5qnaD0dV6OJbxMDl/vYUMkQ+ifyp34OXjAMgWsp79pfZxr4KRALcMO1gmoes/2geCfM4HkldCXtH/SmH+0xyj+ckqzuq0zh3zAnnqDp+aiYXzVqleqNSW13Or9xLT9QcXaYrVMCpuUUr9IDq1ECt7+gTfaYvs7+yV7Ol7PWEOpNJNRfpwMje/A2h9gI4</latexit> ֤ঢ়ଶͰͷೖྗͷ࠷దԽΛߟ͑Ε͹ྑ͍
  7. Ұճ੔ཧ   xi+1 = f(xi , ui ) <latexit

    sha1_base64="ZZm5CVcoZ2fDebF9hNUQZLZ/Nkw=">AAAESniclVPLThRBFD1Dj/JSGXRDYmI6TjAYyaR6IJGYkBDduOThAAmQSXdbM5b0K909w6MzrFzxAy5caeJCWMIfuHHBlgWfQNyJiTG68FZ1q3EmOFCVrrp1+tx77q3uawWOiGLGTnI9Wv7K1d6+/oHBa9dvDBWGby5GfiO0ecX2HT9ctsyIO8LjlVjEDl8OQm66lsOXrPUn8v1Sk4eR8L1n8VbA11yz7omasM2YoGrhjk5js5qIB0ZLn9ZrY9JujesNud3Xq4UiKzE19E7DyIwisjHrD+d2sYrn8GGjARccHmKyHZiIaK7AQBkBYeOETOIl1pDQaiIkTCgmRwsDFKVBfE5ck9B1Wut0WslQj84yeqT8bdJz6AnJU8coO2Yf2Bn7xPbZKft5bqxExZBZbdFupb48qA7tjix86+rl0h7jxV+v/3hYNN0uVcWoYUpVI6i6QCGyTjtVaG6/Plt4ND+a3GPv2Geq8C07YR+pRq/51X4/x+ffqOge+Wyo+3BVhh59i4Rweb91hWxSPIn8zt8nLXkOCdEz3s4f5irdq6CTIG6UVdBNQ+Z/MY2UeRmNNK+Uva3+lPN1OrmXU5LZXVSpndumRH1ktHdNp7FYLhkTpfLcZHHmcdZRfbiNuxijrnmIGTzFLCqU6yvs4QCH2pH2Rfuu/UipPbnM5xb+Gfn8L+HB8oQ=</latexit> ʢඇઢܗʣμΠφϛΫε x0 <latexit sha1_base64="GZaax54UfgECDzienYobhDDxUmc=">AAAEL3iclVPLThRBFD1D+0B8ALoxcTNxAnFhJjUjCcQV0Y1LHg6QAJl0t8VY0K9094xABz+AjUs1rjRxYVz5DW78AWPYGLeEJSRuXHCqutU4ExyoSlfdOn3uPfdW93UiTyWpEHulAevc+QsXBy8NXb5y9drwyOj1hSRsx65suKEXxkuOnUhPBbKRqtSTS1Esbd/x5KKz8VC/X+zIOFFh8DjdiuSqb7cCtaZcOyXU2GxmYqc5UhFVYUa516gVRgXFmAlHS7tYwROEcNGGD4kAKW0PNhLOZdRQR0TsLpEJrGMVGVcbMTFlmBI7GGKUNvmSXJvoBtcWT8sFGvCsoyfG36WexyemZxlj4qv4IA7FF/FR7ItfJ8bKTAyd1RZ3J/eVUXN49+b8z75ePvcUT/96/cfD4fT7VJViDVOmGsXqIoPoOt1cobP98nD+/txYNi7eiQNW+Fbsic+sMegcue9n5dwbEz2gzzNzH77JMOC3yIjr+20ZZJPxNPI7/5Ba+hwTKRe853+YK7xXxZMiNykq6Keh8z+dRs48i0aeV87eNn/KyTq93LMp6exOq9TN7VJiH9W6u6bXWKhXa/eq9dmJyvSDoqMGcQu3cYddM4lpPMIMGsxV4QVe4bX1yfpmfbd+5NSBUuFzA/8Ma/8Y4v/rNg==</latexit> ݱࡏͷঢ়ଶʢط஌ʣ V (x, i) = min ui ⇥ c(xi , ui ) + V (f(xi , ui ), i + 1) ⇤ <latexit sha1_base64="1OwwrWHa1qAilnKRwTQqpcJ3afs=">AAAEfHiclVPLbtNAFL1pA5TyaAobJDYWoShRQjQJFSAkpAo2LNOWpJWSyLLNJAz1S7YT0lrhA/oDLFiBxAKx5wfY8AMsKrEFCbEsEhuEODM2oCYqacfyeO7xOffcO/aYvi3CiLG9zMxs9sTJU3On58+cPXd+Ibd4oRl6/cDiDcuzvWDTNEJuC5c3IhHZfNMPuOGYNt8wt+7L9xsDHoTCcx9G2z7vOEbPFV1hGREgPVfXMJqFYVkTRe2u1naEq8d9PRajkdY2Rc9uWYWhDMuaQotaCfTuQQziUrUo6UFHz+VZhamhTS6q6SJP6ah7i5ldatMj8siiPjnEyaUIa5sMCnG1qEo18oGVgSzTE+pQjNmgAJhQTE4jmkeWPvgcXAPoFuYeolaKuohl9lDpLfjZuAMoNVpiH9kbts8+sLfsK/t5aK5Y5ZBVbeNpJlru6wu7l9Z/TFU5eEb0+J/qPwoTlzOlq4i6dFt1I9CdrxDZp5U4DHae76/fWVuKr7FX7Bs6fMn22Hv06A6+W69X+doLld2F5qnaD0dV6OJbxMDl/vYUMkQ+ifyp34OXjAMgWsp79pfZxr4KRALcMO1gmoes/2geCfM4HkldCXtH/SmH+0xyj+ckqzuq0zh3zAnnqDp+aiYXzVqleqNSW13Or9xLT9QcXaYrVMCpuUUr9IDq1ECt7+gTfaYvs7+yV7Ol7PWEOpNJNRfpwMje/A2h9gI4</latexit> ίετؔ਺͸༩͑Δ ͜ΕΛग़͍ͨ͠
  8. Shooting methods vs collocation shooting method: optimize over actions only

    J-23ͷΠϝʔδ   http://rll.berkeley.edu/deeprlcoursesp17/docs/week_2_lecture_2_optimal_control.pdf ೖྗʹैͬͯيಓΛࢉग़ʢॳճ͸ద౰ͳೖྗͰҾ͘ʣ Ҿ͔ΕͨيಓΑΓ΋ίετ͕ Լ͕ΔΑ͏ͳೖྗྻΛٻΊΔ ৽͍͠ೖྗΛ࢖ͬͯيಓΛࢉग़ ίετ௿ ίετߴ Λऩଋ͢Δ·Ͱ܁Γฦ͢
  9. J-23ಋग़   Ҿ͔ΕͨيಓΑΓ΋ίετ͕Լ͕ΔΑ͏ͳೖྗྻΛٻΊΔ Q( x, u) = ⇥ c(xi

    + x, ui + u) + V (f(xi + x, ui + u) ⇤ ⇥ c(xi , ui ) + V (f(xi , ui ) ⇤ <latexit sha1_base64="S0zh1iIg1gdzLskFXJ70CzYLSto=">AAAE5XiclVNNaxNBGH63rlrjR1O9CB4cDJVIa5jEgiIIRRE8adOatJCEsLudrGNnP9iPmHaJP6DgTfTgQRQ8iL/Asxf/gIf+BPFYwYsH35ldq0lok86wu+88+zzv876zO6YveBhRuqtNHdOPnzg5fSp3+szZczP52fP10IsDi9UsT3jBummETHCX1SIeCbbuB8xwTMHWzM178v1alwUh99zH0ZbPWo5hu7zDLSNCqJ3/THBUi80NJiIj6fUXSBbG/WskJ1/eIU2T26JhFXvthPfJPPmPHA9CUjRP6sXOZFyZOGgpl+uDLhl7INs+lsra+QItUTXIaFDOggJkY9mb1XagCRvggQUxOMDAhQhjAQaEOBtQhgr4iC0gsghPoQUJ3g0IEOOKyaAPOcwSI58h10B0E+82rhoZ6uJaZg+V3kI/gVeASgJz9Bv9SPfoV/qJfqe/D8yVqByyqi18mqmW+e2ZnYurv8aqHHxG8OSf6hCFidMZ01UEHbiluuHYna8Q2aeVOnS3X++t3l6ZS67S9/QHdviO7tIv2KPb/Wl9qLKVNyq7i5pnaj8cVaGL3yJBXO6vrZAe5pPI3/o99JLrABGS8Z7vM5u4rxxXHLlh1sE4D1n/ZB4p8ygeaV0pe1v9KQf7jHKP5iSrm9RpmDvkhOeoPHxqRoN6pVS+UapUFwtLd7MTNQ2X4AoU8dTchCV4AMtQA0u7rN3XHmqPdFt/ob/UX6XUKS3TXICBob/9AxmcJIs=</latexit> ৽͍͠يಓͷίετ ͭલͷيಓͷίετ ৽͍͠يಓͷίετ͕̍ͭલΑΓ΋Լ͕͍ͬͯͯ΄͍͠ @Q( x, u) @ u <latexit sha1_base64="qPvT4WFOh6Tips9l3eOjhUbItDo=">AAAEZ3iclVPNThRBEK6FUQF/dtHEkHgZ2WAwIZvelUSjF4IXjyy4QMKQTc/Qu7T0/KSndwUm4wPwAhw4YeLB+Bge9KgHDzwC8YgJFw9W94wQd4ML3Znu6m++qq+qZ8qNBI8VIUeFoWHr2vUbI6NjN2/dvlMsjd9djsOO9FjDC0UoV10aM8ED1lBcCbYaSUZ9V7AVd+ulfr/SZTLmYfBa7URs3aftgLe4RxVCzdILpyWplzgRlYpTYdennQ0mFE220xk7Nzvp4/SccQamzVKZVIgZdr9RzY0y5GMhHC/sgQMbEIIHHfCBQQAKbQEUYpxrUIUaRIjNIDILb2AdElwpSMS4YTJIYQyjdJDPkEsR3cK1jae1HA3wrKPHxt9DPYGPRE8bpsgP8pGckK/kEzkmvy+MlZgYOqsd3N3Ml0XN4t7E0ulALx93BZvnXv/xcHH6A6pS0IJnphqO1UUG0XV6mUJ3d/9k6fniVPKIvCc/scJDckQ+Y41B95f3oc4WD0z0AH3emvvwTYYBfosEcX2/bYNsYzyN/M0/RC19lojYOe/dGdPBe+V44siN8woGaej8L6eRMa+ikeWVsXfNn3KxTj/3ako6u8sq9XJ7lLCPqr1d028s1yrVJ5VafbY8N5931Ag8gEmYxq55CnPwChaggbkewhf4Bt+Hj62idd+ayKhDhdznHvwzrId/AP59/qw=</latexit> Λܭࢉͯ͠ίετͷԼ͕ΔํʹೖྗΛௐ੔ Ͱ͖ͨΒخ͍͠
  10. J-23ͷಋग़   Ҿ͔ΕͨيಓΑΓ΋ίετ͕Լ͕ΔΑ͏ͳೖྗྻΛٻΊΔ Q( x, u) = ⇥ c(xi

    + x, ui + u) + V (f(xi + x, ui + u) ⇤ ⇥ c(xi , ui ) + V (f(xi , ui ) ⇤ <latexit sha1_base64="S0zh1iIg1gdzLskFXJ70CzYLSto=">AAAE5XiclVNNaxNBGH63rlrjR1O9CB4cDJVIa5jEgiIIRRE8adOatJCEsLudrGNnP9iPmHaJP6DgTfTgQRQ8iL/Asxf/gIf+BPFYwYsH35ldq0lok86wu+88+zzv876zO6YveBhRuqtNHdOPnzg5fSp3+szZczP52fP10IsDi9UsT3jBummETHCX1SIeCbbuB8xwTMHWzM178v1alwUh99zH0ZbPWo5hu7zDLSNCqJ3/THBUi80NJiIj6fUXSBbG/WskJ1/eIU2T26JhFXvthPfJPPmPHA9CUjRP6sXOZFyZOGgpl+uDLhl7INs+lsra+QItUTXIaFDOggJkY9mb1XagCRvggQUxOMDAhQhjAQaEOBtQhgr4iC0gsghPoQUJ3g0IEOOKyaAPOcwSI58h10B0E+82rhoZ6uJaZg+V3kI/gVeASgJz9Bv9SPfoV/qJfqe/D8yVqByyqi18mqmW+e2ZnYurv8aqHHxG8OSf6hCFidMZ01UEHbiluuHYna8Q2aeVOnS3X++t3l6ZS67S9/QHdviO7tIv2KPb/Wl9qLKVNyq7i5pnaj8cVaGL3yJBXO6vrZAe5pPI3/o99JLrABGS8Z7vM5u4rxxXHLlh1sE4D1n/ZB4p8ygeaV0pe1v9KQf7jHKP5iSrm9RpmDvkhOeoPHxqRoN6pVS+UapUFwtLd7MTNQ2X4AoU8dTchCV4AMtQA0u7rN3XHmqPdFt/ob/UX6XUKS3TXICBob/9AxmcJIs=</latexit> ৽͍͠يಓͷίετ ͭલͷيಓͷίετ J-23Ͱ͸ςΠϥʔల։Ͱ2VBESBUJDͳܗࣜʹมߋ Q( x, u) ⇡ 2 6 4 1 x u 3 7 5 > 2 6 4 0 Q> x Q> u Qx Qxx Qxu Qu Qux Quu 3 7 5 2 6 4 1 x u 3 7 5 <latexit sha1_base64="4bmV6NEoR5oh9Zi7ZmxmsNGmVoU=">AAAFZXicpVPPaxNBFH5bG63R2kZFBA8OhpYKJUxiweKp6MVj05q20K1hdzONY/cXu7Mx7RL/gP4DHjyIggfxzxDBk5489C8Q8VjBiwffzE5Xm1jT4izZee/L973vvUnGDl0eC0r3jJFTo4XTZ8bOFs+dH78wMVm6uBIHSeSwhhO4QbRmWzFzuc8agguXrYURszzbZav21j35/WqHRTEP/AdiO2QbntX2+SZ3LIFQs2TME1z1GbPFXGGl3d4s0WHSu0lMKwyjoEuKkmTarM391PYsEfFuj1SJaZJc90eSYML8Vs58mJoiCHt/LaJAuSiZrjfTnKyyJM9MMycqVkY+2JN+QqL1mpAk2uhQW/85VXOyTCtULTIYVHVQBr0Wg5KxCya0IAAHEvCAgQ8CYxcsiPFZhyrUIERsFpE5eAwbkOLbgggxrpgMelDEKgnyGXItRLfw3cZsXaM+5rJ6rPQO+rn4iVBJYIp+pm/oPv1A39Kv9OeRtVJVQ3a1jbudaVnYnNi9uvxjqMrDXcCj36p/KGx8vCFTCdiEeTUNx+lChcg5ncyhs/Nsf/nO0lQ6TV/RbzjhS7pH3+GMfue787rOlp6r6j5qnqjz8FSHPv4WKeLyfNsK6WI9iRz0H6CXzCNEiOY9zZkmnivHjCM31hMM85D9H88jY57EI+srY++of8rRPoPckznJ7o7r1M/tc8J7VO2/NYPBSq1SvVWp1efKC3f1jRqDa3ADZvDW3IYFuA+L0ADHeGG8Nz4an0a/FMYLlwtXMuqIoTWX4NAqXP8FszZQaw==</latexit>
  11. J-23ͷಋग़   Q( x, u) ⇡ 2 6 4

    1 x u 3 7 5 > 2 6 4 0 Q> x Q> u Qx Qxx Qxu Qu Qux Quu 3 7 5 2 6 4 1 x u 3 7 5 <latexit sha1_base64="4bmV6NEoR5oh9Zi7ZmxmsNGmVoU=">AAAFZXicpVPPaxNBFH5bG63R2kZFBA8OhpYKJUxiweKp6MVj05q20K1hdzONY/cXu7Mx7RL/gP4DHjyIggfxzxDBk5489C8Q8VjBiwffzE5Xm1jT4izZee/L973vvUnGDl0eC0r3jJFTo4XTZ8bOFs+dH78wMVm6uBIHSeSwhhO4QbRmWzFzuc8agguXrYURszzbZav21j35/WqHRTEP/AdiO2QbntX2+SZ3LIFQs2TME1z1GbPFXGGl3d4s0WHSu0lMKwyjoEuKkmTarM391PYsEfFuj1SJaZJc90eSYML8Vs58mJoiCHt/LaJAuSiZrjfTnKyyJM9MMycqVkY+2JN+QqL1mpAk2uhQW/85VXOyTCtULTIYVHVQBr0Wg5KxCya0IAAHEvCAgQ8CYxcsiPFZhyrUIERsFpE5eAwbkOLbgggxrpgMelDEKgnyGXItRLfw3cZsXaM+5rJ6rPQO+rn4iVBJYIp+pm/oPv1A39Kv9OeRtVJVQ3a1jbudaVnYnNi9uvxjqMrDXcCj36p/KGx8vCFTCdiEeTUNx+lChcg5ncyhs/Nsf/nO0lQ6TV/RbzjhS7pH3+GMfue787rOlp6r6j5qnqjz8FSHPv4WKeLyfNsK6WI9iRz0H6CXzCNEiOY9zZkmnivHjCM31hMM85D9H88jY57EI+srY++of8rRPoPckznJ7o7r1M/tc8J7VO2/NYPBSq1SvVWp1efKC3f1jRqDa3ADZvDW3IYFuA+L0ADHeGG8Nz4an0a/FMYLlwtXMuqIoTWX4NAqXP8FszZQaw==</latexit> J-23Ͱ͸ແࢹ͢Δ Qx = cx + f> x Vx,i+1 Qu = cu + f> u Vx,i+1 Qxx = cxx + f> x Vxx,i+1 fx + Vx,i+1 fxx Quu = cuu + f> u Vxx,i+1 fu + Vx,i+1 fuu Qux = cux + f> u Vxx,i+1 fx + Vx,i+1 fux <latexit sha1_base64="Lvs2AXFp6Et5a5zD1Z+kb426xX0=">AAAFZXiclVNNaxNBGH63drVGaxsVETy4GFqEljAbCxZBKHrx2LQmLXRr2F0ncex+sR9x2yX+gP4BDx5EwYP4M0TwpCcP/QUiHit48eA7s5PUJm3SzpKdmSfPx/tOMlbgsCgmZE8ZOzOunj03cb5w4eLkpanp4uV65CehTWu27/jhumVG1GEercUsduh6EFLTtRy6Zm095N+vtWkYMd97HG8HdNM1Wx5rMtuMEWoUlUUNx2y1kaUd7b5mi3lOa/L5SWbEftCp43peY3N6RzOMQpeeSHoi6clwetqzP9JfKpoyXnh0gfRwbi/4yOQDo6TfiAv+N+pWlKTDjQYqSkRFjekSKRMxtMGFLhclkGPZLyq7YMBT8MGGBFyg4EGMawdMiPDZAB0qECA2j8gCPIdNyPBtQogYE0wKHSigS4J8ilwT0S18t3C3IVEP99w9Enob8xz8hKjUYIZ8Jx/IPvlCPpKf5O+xXpnw4FVt42zlWho0pnavr/4ZqXJxjuHZgWqIwsLHHdFVDE1YFN0w7C4QCO/TzhPaO6/2V++tzGSz5B35hR2+JXvkE/botX/b76t05bVw91DzQpyHKyr08LfIEOfn2xJIin4c6dbvYxbfh4hokveyxzTwXBnuGHIj2cGoDF7/yTJy5mky8rpy9o74pxyfM8g9XRKv7qRJ/dy+JLxHev+tGVzUK2X9TrlSXSgtPZA3agJuwC24jbfmLizBI1iGGtjKG+Wz8lX5Nv5DnVSvqtdy6pgiNVfg0FBv/gMKZ1Cx</latexit> Ұ࣌ࠁޙͷ 7BMVF͔Βܭࢉ
  12. J-23ͷಋग़   ਖ਼ఆͩͱԾఆ ஫ຊ౰͸ਖ਼ఆ͔Ͳ͏͔Θ͔Βͳ͍ͷͰ ࿦จͰ͸ௐ੔༻ύϥϝʔλʹ͍ͭͯఏҊ͕͋Δ ޙड़ arg min u

    Q( x, u) ⌘ @ @ u 2 6 4 1 x u 3 7 5 > 2 6 4 0 Q> x Q> u Qx Qxx Qxu Qu Qux Quu 3 7 5 2 6 4 1 x u 3 7 5 = 0 ! u⇤ = Q 1 uu (Qu + Qux x) <latexit sha1_base64="ES0TrfXlfEK7tl9azVDud/7IRXw=">AAAF/nicpVNLTxRBEK5dXcX1AejFxEtHwgYikF4kkZiYEL14ZEEeCQ2bnqFZWuZlT8/ymIzxzB/w4EkTTYwxXr178erBAz/BeMTEiwdreoZBFhGIPdnpqm+/r76q3m0rcGSoKd0plc+crZw733WhevHS5SvdPb1XZ0M/UraYsX3HV/MWD4UjPTGjpXbEfKAEdy1HzFlrD9Lv59pChdL3HunNQCy6vOXJFWlzjVCzt/SF4GJctVzpNWO2LBzNSZSQxkAWxxvJEMnDKBkk1ZRfY+JJJNsmZiuK2zELuNKSO0kR7YuSjGeJlvRiy+VayY2E1AljpPD4I0FzJrzlgrkUM+0Hfy9iwHRRUms044JssqjIGCuIhpWR9/aokxDl+pwQRbnRgbbI/01l1Pew79y6xpRsrWqulL+eVd7T4RA81AmSh7NmluLhejKQ9XmLZI0WloPVZk8fHaFmkcNBPQ/6IF+Tfm9pGxgsgw82ROCCAA80xg5wCPFZgDqMQoDYECJj8BgWIcY3B4WYNEwBCVSxSoR8gVyO6Bq+W5gt5KiHeVo9NHob/Rz8KFQS6Kdf6Vu6Sz/Td/Qb/XVkrdjUSLvaxN3KtCJodm9fn/55rMrFXcPqvuofCgsf95ipNKzAuJlG4nSBQdI57cyhvfV8d/ruVH9co6/od5zwJd2hn3BGr/3Dft0QUy9MdQ816+Y8XNOhh79FjHh6vi2DbGC9FNnr30evNFeIkJz3tGAyPFeJmURumE9wnEfa/8k8MuZpPLK+MvaW+acc7XOYezqntLuTOnVyO5zwHtU7b83hYHZ0pH57ZLQx1jdxP79RXXADbsIA3po7MAEPYRJmwC6Pl5fKrfJq5VnlTeV95UNGLZdyzTU4sCoffwMeH4Sm</latexit>
  13. ༨ஊࣜͷṖ   ʹ͍ͭͯ Ͳͳ͔ͨڭ͍͑ͯͩ͘͞ʜ V (i) = 1 2

    Q> u Q 1 uu Qu Vx (i) = Qx ( 1 2 Qxu Q 1 uu Qu + 1 2 Q> ux Q 1 uu Qu ) Vxx (i) = Qxx Qxu Q 1 uu Qux <latexit sha1_base64="NYaBw2XjPzilVUt6qLk5dMS+ID8=">AAAFDHiclVM7b9NQFD4uBkp4NIUFicUiapUKEl2nlUBISBUgxNi0JK1UF8s2N+G2fsmP4NYyP6ADKwMTSAyIlQ0xISH+AEM3VsRYJBYGzr02jyQNaa8V+5wv33e+c659Td9mYUTInjRxTD5+4uTkqdLpM2fPTZWnz7dDLw4s2rI82wvWTCOkNnNpK2KRTdf8gBqOadNVc+s2/3+1R4OQee79aNunG47RdVmHWUaEkF7+ouCa1e5QOzLSdlZlc8pNpaZ1AsNK1SxtZE09jbMHqRZ5voh5UlNzWNG0ktC39TQptE0eKjWl2l8jiYfVQntFGTBLRrnN9dn96ycMDzRJMr1cIXUiljIcqEVQgWItedPSLmjwEDywIAYHKLgQYWyDASFe66BCA3zEriKyAJuwASneDQgQY4JJIYMSVomRT5FrILqF9y5m6wXqYs6rh0JvoZ+NvwCVCsyQz+Q12SefyBvylfwcWSsVNXhX2/g0cy319andiys/xqocfEbw6K/qPwoTL2fMVBF04LqYhuF0vkD4nFbu0Nt5tr9yY3kmnSUvyTec8AXZIx9wRrf33XrVpMvPRXUXNY/FfjiiQxffRYo439+uQBKsx5Hf/XvoxfMAEaXgPfnD1HBfGWYMuWExwTgP3v/hPHLmUTzyvnL2jvhSRvsMc4/mxLs7rNMgd8AJz5E6eGqGg3ajrs7XG82FyuKt4kRNwiW4DFU8NddgEe7BErTAku5KthRLPfmp/FZ+J7/PqRNSobkAfUv++AslGjaP</latexit> ࿦จ खݩͷܭࢉ ಉ͡ʹඞͣͳΔ సஔ͸ సஔ͸ V (i) = 1 2 Qu Q 1 uu Qu Vx (i) = Qx Qu Q 1 uu Qux Vxx (i) = Qxx Qxu Q 1 uu Qux <latexit sha1_base64="e2Skw7qjnnIM/HC7xjjUiVYWsng=">AAAEyHiclVPLbtNAFL0OBkp4NIUNEhuLqFWQSDR2KxUhIVXAArFqWpJWqotlm0kY6pf8SJOOwoJlf4AFbEBigfgMNvwAi34CYlkkNiy4M3aBJi1px8r43pNz7rl3knEijyUpIXtK6Yx69tz5qQvli5cuX5muzFxtJ2EWu7Tlhl4Yrzt2Qj0W0FbKUo+uRzG1fceja87WA/H9Wo/GCQuDJ+kgopu+3Q1Yh7l2ipBVeavhmjMfUi+1eXtYY7e0e1rd7MS2y/UhN4ZNi2dyy4ZPeV3Pc800y1LYtni/EDVFqNW1owT9w4p/JQea/hEiq1IlDSKXNh7oRVCFYi2HM8oumPAMQnAhAx8oBJBi7IENCT4boIMBEWK3EVmAF7AJHHcbYsSYZFIYQhmrZMinyLUR3cK9i9lGgQaYi+qJ1Lvo5+EnRqUGs+Qr+Uj2yRfyiXwjv46txWUN0dUA306upZE1vXt99edElY/vFJ7/Vf1H4eDjT5gqhQ7ckdMwnC6SiJjTzR16O6/3V++uzPI58p58xwnfkT3yGWcMej/cD0268kZWD1CzLc/Dlx0G+FtwxMX5diXSx3oCOeg/RC+Rx4hoBe/lH6aJ58owY8hNigkmeYj+T+aRM0/jkfeVs3fkP+V4n3Hu6ZxEdyd1GuWOOOE90kdvzXjQNhr6fMNoLlSX7hc3agpuwE2o4a1ZhCV4BMvQAlcpKTVFVwz1sRqp2+ogp5aUQnMNDi311W+vbhsJ</latexit>
  14. J-23ͷಋग़   k = Q 1 uu Qu K

    = Q 1 uu Qux u⇤ = k + K x <latexit sha1_base64="JtAEo2px69tIbv0qIhorPVteMuw=">AAAEj3iclVPNbtNAEJ60Bkr4aVIuSFwsolZI0GgdKhVVKorgAuqlaUlbqS7R2t2mS/wnex3SWuYB+gIcOLUSB8RjcIEH4NBHQBw4FAmQODC7NlQklLS78nr2m2/mm1l7rcDhkSDksDAyqp07f2HsYvHS5StXx0vliZXIj0ObNW3f8cM1i0bM4R5rCi4cthaEjLqWw1atzkPpX+2yMOK+90TsBGzDpW2Pb3GbCoRaJVvHMdXR5/XpRiuJ4/RpMm2k0kx10ywq78I/vL1jt7nJHEET6TRpJFJkd/Tb+kKO99JWqUKqRA190DByowL5WPTLhT0wYRN8sCEGFxh4INB2gEKEcx0MqEGA2B1EZuAZbECCK4UQMa6YDFIoYpYY+Qy5FNEOrm3creeoh3uZPVLxNuo5+IQYqcMk+UjekCPynrwln8jPE3MlKoesagffVhbLgtb43vXlb0OjXHwL2D6O+k+EhdMd0pWALbinuuHYXaAQ2aedKXR3Xx4tzy1NJlPkgHzGDvfJIXmHPXrdr/brBlt6pbJ7GPNcnYerKvTwWySIy/NtK6SH+STyu34fteQ+RETPeS/+ME08V447jtwo72CYhqz/dBoZ8ywaWV0Ze1f9KSfrDHLPpiSrO61SP7dPCe+R0X9rBo2VWtW4W601Zir1B/mNGoMbcBNu4a2ZhTo8gkVoYq0f4At8hx9aWZvV7mv1jDpSyGOuwV9De/wLvdkHZw==</latexit> ҰݸલͷيಓΛ࡞ͬͨೖྗʹର͢Δࠩ෼ ˆ x(1) = x(1) ˆ u(i) = u(i) + k(i) + K(i)(ˆ x(i) x(i)) ˆ x(i + 1) = f(ˆ x(i), ˆ u(i)) <latexit sha1_base64="8WZ9frW+doLzS91pwzy7im1hMEw=">AAAErniclVPLbtNAFL0uBkqANoUFldhYRK0StUSTUAmEhFTBBolNHySt1ESRbSbJEL9kOyFtVBYs+wMsWIHEAvEZbPgBFv0DEMsisWHBmbFLIFFJO1Z8Z86cc8+944wVOCKKGTvUps7p5y9cnL6UuXzl6sxsdu5aNfK7oc0rtu/44bZlRtwRHq/EInb4dhBy07UcvmV1Hsn9rR4PI+F7T+PdgNdds+WJprDNGFAj+8rAWKy1zXjQ38+XCsYDoy9DrZYZ7nT380LudGVYMjpJeIKQP1YCuQ2lKIxI5daSStv8i7tsDPMWGtkcKzI1jPFJKZ3kKB1r/px2QDV6Rj7Z1CWXOHkUY+6QSRGeHSpRmQJgy0BW6DnVaYC3SSEwoZic9imDLF3wObgm0A7eLax2UtTDWmaPlN6Gn4NfCKVBC+wL+8CO2Gf2kX1jv07MNVA5ZFW7iFai5UFj9mB+8+dElYsYU3uo+o/CwuNO6CqmJt1T3Qh0FyhE9mknDr2910eb9zcWBovsHfuODt+yQ/YJPXq9H/b7db7xRmX3oHmhzsNVFXr4FgPg8nxbCukjn0SO6/fhJdchECPlvfzDrOFcBVYC3CjtYJKHrP90HgnzLB5JXQl7T/1TTvYZ557NSVZ3WqdR7ogT7lFp9NaMT6rlYulOsby+klt9mN6oabpJtyiPW3OXVukxrVEFtX7VZrQb2rzO9Kpe1xsJdUpLNdfpn6G3fwP62gpa</latexit> ৽͍͠يಓ
  15. J-23·ͱΊ   Xprev = (x1 , x2 , ·

    · · , xT ) <latexit sha1_base64="O5ywXhDZiHTvkJ2rjyBYalluze0=">AAAEX3iclVNNa9RQFL3TpvZDbae6qbgJDpUKZXiZFhRBKLpx2a9pBzolJOnr9Nl8kbwZpw3xB/QPiLhScCH+CBdu6g9w0aVLcVnBjQtPXlLFGeq0LyTv3ZNz7rn3Jc8OXRFLxk5KQ8PayJXRsfGJq9euT06Vp29sxEE7cnjdCdwgathWzF3h87oU0uWNMOKWZ7t8095/kr3f7PAoFoG/Lg9Cvu1ZLV/sCseSgMzygo7RMJOm5F2ZQNpJU/2RPtc1EyOd1zHVMDWdnUDGKlxP75nlCqsyNfT+hVEsKlSM5WC6dERN2qGAHGqTR5x8kli7ZFGMa4sMqlEIbB7IIj2jbUrwtCgCJhSTU0oTyNIGn4NrAd3Hs4Voq0B9xFn2WOkd+Lm4Iyh1mmVf2Ht2yo7ZB/aN/To3V6JyZFUdYLZzLQ/NqaOZtZ8DVR5mSXt/Vf9R2Li8AV1J2qUHqhuB7kKFZH06uUPn8OXp2sPV2eQue8u+o8M37IR9Qo9+54fzboWvvlbZfWieq/3wVIU+vkUCPNvflkK6yJchZ/UH8MriCIhe8F78YTaxrwKRADcuOhjkkdV/MY+ceRmPvK6cfaj+lPN9+rmXc8qqu6hTL7fHCefI6D01/YuNWtVYqNZWFitLj4sTNUa36Q7N4dTcpyV6SstUR62v6CMd0+fhr9qoNqmVc+pQqdDcpH+Gdus34sX4jA==</latexit> ج४ͱͳΔيಓΛܭࢉ Vx (T), Vxx (T) <latexit sha1_base64="8n2EkzDejwoYEg8VWwvEEsAxz08=">AAAEQniclVPLbtNAFD2peZTyaAoSQmITERUVqYomoRKIVQUbln0lrdRWkW2mYahfsp3QNpQP6A+wYEUlFqj8BSz4ARb9BGCFgsSmC86MDYhEJe2MPHPn+Nx77h37OpGnklSIw8KIdebsufOjF8YuXrp8Zbw4cbWRhO3YlXU39MJ4xbET6alA1lOVenIliqXtO55cdjYf6ffLHRknKgyW0u1Irvt2K1AbyrVTQs3i9RJHo9nd2p1aujOtDWM1i2VREWaUBo1qbpSRj7lworCHNTxBCBdt+JAIkNL2YCPhXEUVNUTEponM4BnW0eVqIyamDFNiF2OM0iZfkmsT3eTa4mk1RwOedfTE+LvU8/jE9CxhUnwW70RPfBIH4os4OjZW18TQWW1zdzJfGTXH924s/hzq5XNP8fSv1388HE5/SFUpNnDfVKNYXWQQXaebKXR2XvUWHyxMdm+LffGNFb4Rh+IDaww6P9y383LhtYke0Oe5uQ/fZBjwW3SJ6/ttGWSL8TTyO/+QWvocEynlvJd/mGu8V8WTIjfJKximofM/mUbGPI1GllfG3jF/yvE6g9zTKensTqrUz+1TYh9V+7tm0GjUKtW7ldr8THn2Yd5Ro7iJW5hi19zDLB5jDnXm+gL7OMB766P11fpu9TLqSCH3uYZ/hnX0C1Fz8Mo=</latexit> 5͔ΒॳΊͯҰ࣌ࠁલͷ7BMVFΛܭࢉ Qx,T 1 = cx + f> x Vx,T Qu,T 1 = cu + f> u Vx,T Qxx,T 1 = cxx + f> x Vxx,T fx Quu,T 1 = cuu + f> u Vxx,T fu Qux,T 1 = cux + f> u Vxx,T fx <latexit sha1_base64="m4C4EMi/3pAC6/1+jKzqnkNblZQ=">AAAFOXiclVPLbtNAFL0uBkootIENEhuLqBUSJRqnlYqQkCrYsGzaJK1Ul8g2k3SoX/IjpLXMB/QHEGJFEQvEJ7Bkww+w6JIdj2WQ2LDgztiBOmmTdix77hyfc8+9Y4/hWSwICTmUJs7J5y9cnLxUuDx15er0TPFaI3Aj36R107Vcf8PQA2oxh9ZDFlp0w/OpbhsWXTd2HvH36x3qB8x1auGuR7dsve2wFjP1EKFmUZpScMxVm3F3vnZXTZQHiolxotxRWnx+Emuh6yUN/l6pJYqmFfqC6IggygTRKEE3Z3Gsh9AIMOeUszrWqy+M8sKjjlF3lFA4NmdKpEzEUIYDNQtKkI0VtyjtgwZPwQUTIrCBggMhxhboEOC1CSpUwENsHpFFeAZbEONTBx8xJpgUEihglgj5FLk6ojv4bONqM0MdXPPsgdCb6Gfh7aNSgVnyhbwnPfKZfCDfyZ8Tc8UiB69qF2cj1VKvOb1/Y+33WJWNcwjb/1UjFAZe9piuQmjBPdENw+48gfA+zdShs/eyt3Z/dTaeIwfkJ3b4hhyST9ij0/llvqvS1dciu4Oa52I/bFGhg98iRpzvb1sgXczHkX79LnrxtY+IkvFe/GNquK8MVwy5QdbBOA9e/+k8UuZZPNK6Uvae+FNO9hnmns2JV3dap0HugBOeI3Xw1AwHjUpZXShXqoul5YfZiZqEm3ALbuOpWYJleAwrUAdTCqRX0oH0Vv4of5W/yT9S6oSUaa5Dbsi9v+25QpU=</latexit> Vx (T 1) = Qx,T 1 Qu,T 1 Q 1 uu,T 1 Qux,T 1 Vxx (T 1) = Qxx,T 1 Qxu,T 1 Q 1 uu,T 1 Qux,T 1 <latexit sha1_base64="8n9aXDN4gKjyd/7qSMTDYTuapkI=">AAAEu3iclVNNTxNRFL2Do2L9oOjGhM3EWoIJNG8qicaEhOiGJQVaSCg2M8OjDsxX5qMWJvUHsHHpwhUmLow/w41/wAU/wbhE48aF570ZMG2DhTfpzL2n555z75t5ZuDYUczYsTJ2Rb167fr4jcLNW7fvTBQn7zYiPwktXrd8xw83TCPiju3xemzHDt8IQm64psPXzb0X4v/1Dg8j2/fW4v2Ab7lG27N3bMuIAbWKbzWs6UYr7fZm1ub0R9qCVkMyqyHpaXMiSbJERHn4Ms3zU16zWTjT6RfqU+qOlmoVS6zC5NKGAz0PSpSvZX9SOaQmbZNPFiXkEiePYsQOGRTh2iSdqhQAmwUyT7u0RSnuBoXAbMnk1KMCVBLwObgG0D3c28g2c9RDLtQjWW/Bz8EvRKVGZfaNfWIn7Cv7zL6zP+dqpVJDdLWPp5nV8qA1cXh/9ffIKhfPmF79q/pPhYnLHTFVTDv0VE5jY7pAImJOK3PoHLw7WX22Uk6n2Qf2AxMesWP2BTN6nZ/WxxpfeS/VPdS8lvvhyg49vIsUuNjftkS60BPIaf8+vEQeAtFy3pszZhP7aiOzwY3yCUZ5iP4v5pExL+OR9ZWxD+SXcr7PMPdyTqK7izoNcgeccI70wVMzHDSqFf1xpVqbLy0+z0/UOE3RA5rBqXlCi7REy1RHr7+UKeWhUlYXVEvdVZ2MOqbkNfeob6nJX9kTEL0=</latexit> k = Q 1 uu Qu K = Q 1 uu Qux u⇤ = k + K x <latexit sha1_base64="JtAEo2px69tIbv0qIhorPVteMuw=">AAAEj3iclVPNbtNAEJ60Bkr4aVIuSFwsolZI0GgdKhVVKorgAuqlaUlbqS7R2t2mS/wnex3SWuYB+gIcOLUSB8RjcIEH4NBHQBw4FAmQODC7NlQklLS78nr2m2/mm1l7rcDhkSDksDAyqp07f2HsYvHS5StXx0vliZXIj0ObNW3f8cM1i0bM4R5rCi4cthaEjLqWw1atzkPpX+2yMOK+90TsBGzDpW2Pb3GbCoRaJVvHMdXR5/XpRiuJ4/RpMm2k0kx10ywq78I/vL1jt7nJHEET6TRpJFJkd/Tb+kKO99JWqUKqRA190DByowL5WPTLhT0wYRN8sCEGFxh4INB2gEKEcx0MqEGA2B1EZuAZbECCK4UQMa6YDFIoYpYY+Qy5FNEOrm3creeoh3uZPVLxNuo5+IQYqcMk+UjekCPynrwln8jPE3MlKoesagffVhbLgtb43vXlb0OjXHwL2D6O+k+EhdMd0pWALbinuuHYXaAQ2aedKXR3Xx4tzy1NJlPkgHzGDvfJIXmHPXrdr/brBlt6pbJ7GPNcnYerKvTwWySIy/NtK6SH+STyu34fteQ+RETPeS/+ME08V447jtwo72CYhqz/dBoZ8ywaWV0Ze1f9KSfrDHLPpiSrO61SP7dPCe+R0X9rBo2VWtW4W601Zir1B/mNGoMbcBNu4a2ZhTo8gkVoYq0f4At8hx9aWZvV7mv1jDpSyGOuwV9De/wLvdkHZw==</latexit> Ұ࣌ࠁલͷ7BMVFΛܭࢉ ͦͷ࣌ࠁͷ৽͍͠ೖྗΛܭࢉ ؾͷࡁΉ·Ͱ܁Γฦ͢
  16. J-23 Ћ   ࣮ࡍʹ͸ਖ਼ఆͱ͸ݶΒͳ͍ arg min u Q( x,

    u) ⌘ @ @ u 2 6 4 1 x u 3 7 5 > 2 6 4 0 Q> x Q> u Qx Qxx Qxu Qu Qux Quu 3 7 5 2 6 4 1 x u 3 7 5 = 0 ! u⇤ = Q 1 uu (Qu + Qux x) <latexit sha1_base64="ES0TrfXlfEK7tl9azVDud/7IRXw=">AAAF/nicpVNLTxRBEK5dXcX1AejFxEtHwgYikF4kkZiYEL14ZEEeCQ2bnqFZWuZlT8/ymIzxzB/w4EkTTYwxXr178erBAz/BeMTEiwdreoZBFhGIPdnpqm+/r76q3m0rcGSoKd0plc+crZw733WhevHS5SvdPb1XZ0M/UraYsX3HV/MWD4UjPTGjpXbEfKAEdy1HzFlrD9Lv59pChdL3HunNQCy6vOXJFWlzjVCzt/SF4GJctVzpNWO2LBzNSZSQxkAWxxvJEMnDKBkk1ZRfY+JJJNsmZiuK2zELuNKSO0kR7YuSjGeJlvRiy+VayY2E1AljpPD4I0FzJrzlgrkUM+0Hfy9iwHRRUms044JssqjIGCuIhpWR9/aokxDl+pwQRbnRgbbI/01l1Pew79y6xpRsrWqulL+eVd7T4RA81AmSh7NmluLhejKQ9XmLZI0WloPVZk8fHaFmkcNBPQ/6IF+Tfm9pGxgsgw82ROCCAA80xg5wCPFZgDqMQoDYECJj8BgWIcY3B4WYNEwBCVSxSoR8gVyO6Bq+W5gt5KiHeVo9NHob/Rz8KFQS6Kdf6Vu6Sz/Td/Qb/XVkrdjUSLvaxN3KtCJodm9fn/55rMrFXcPqvuofCgsf95ipNKzAuJlG4nSBQdI57cyhvfV8d/ruVH9co6/od5zwJd2hn3BGr/3Dft0QUy9MdQ816+Y8XNOhh79FjHh6vi2DbGC9FNnr30evNFeIkJz3tGAyPFeJmURumE9wnEfa/8k8MuZpPLK+MvaW+acc7XOYezqntLuTOnVyO5zwHtU7b83hYHZ0pH57ZLQx1jdxP79RXXADbsIA3po7MAEPYRJmwC6Pl5fKrfJq5VnlTeV95UNGLZdyzTU4sCoffwMeH4Sm</latexit> ਖ਼ఆͰͳ͍৔߹ɺ͜Ε͸NJOʹ͸ͳΒͳ͍ Լखͨ͠ΒNBY͔΋͠Εͳ͍ ˜ Quu = cuu + f> u (Vxx,i+1 + µI)fu + Vx,i+1 fuu ˜ Qux = cux + f> u (Vxx,i+1 + µI)fx + Vx,i+1 fux k = ˜ Q 1 uu Qu K = ˜ Q 1 uu ˜ Qux u⇤ = k + K x <latexit sha1_base64="s5Dr2LFsEyqBNEXojefriD33L5Y=">AAAFYHiclVPLbtNAFL0uDYTwSAMbBBuLqFVR02icVgIhIVWwAXXTtCStVLeR40zCEL/kR3BrmQ/oDyDBCiQWiJ9AYgPsWXTLDrEsEhsW3Bk7rZooJB3L9p0z55577tjTdAzm+YQcSlPnpjPnL2Qv5i5dvnI1P1O4VvfswNVpTbcN291qah41mEVrPvMNuuW4VDObBt1sdh/x9c0edT1mW0/9PYfumFrHYm2maz5CjYK0JOOYU31mtGhUjRtREMTyA1lPggW5jUG8G6m+7cTz9UYUhiWZLSh8STWD6El8RzBwyhdLfKmd5Kpqbkg77GuHE2uHQ9rhiXYX5RZPm9+NFpW4Kjz1WasjWAPOjg23qOFriTXN87nlLnpYTfEwbswUSZmIIQ8HShoUIR1rdkE6ABVaYIMOAZhAwQIfYwM08PDaBgUq4CBWQmQZnsMORPjUwEWMCSaFGHKoEiCfIldDtIvPDs62U9TCOVf3RL6O9Qy8XcyUYZZ8Jx/IEflCPpKf5O9IrUhocFd7+G4mudRp5A9ubPwZm2Xi24dnJ1n/yWjiZY7pyoc23BPdMOzOEQjvU08q9PZfHW3cX5+N5sg78gs7fEsOyWfs0er91t9X6foboW5hzguxH6ZwaOG3iBDn+9sRSIh6HOn7t7EWn7uIyCnv5TFTxX1lOGPI9dIOxtXg/ierkTDPUiPxlbD3xZ8yus4w92yVuLtJKw1yByrhOVIGT81wUK+UlaVypbpcXHmYnqgs3ILbMI+n5i6swGNYgxro0mvpk/RV+jb9I5PN5DOFhDolpTnX4dTI3PwHsahP5A==</latexit> ύϥϝʔλͰਖ਼ఆʹͳΔΑ͏ʹௐ੔ ݩͷيಓ͔Βେ͖͘֎Εͳ͍Α͏ʹ ίετΛ૿΍͍ͯ͠Δͱ΋ݟ͑Δ
  17. J-23 Ћ   ۙࣅͯ͠ղ͍͍ͯΔͷͰɺ΋͔ͨ͠͠Βೖྗ͸࠷దͰͳ͍ Լखͨ͠Βແ஡ۤ஡͔΋͠Εͳ͍ k = ˜ Q

    1 uu Qu K = ˜ Q 1 uu ˜ Qux ˆ u(i) = u(i) + ↵k(i) + K(i)(ˆ x(i) x(i)) (0  ↵  1) <latexit sha1_base64="PrXR3WuiwLGuKGxuJ81mMD7IDUs=">AAAE4niclVPLbtNAFL1uDZTwaFo2SLCwiFqlgkTjUAmEhFSVDVJYNC1pK9Ulsp1pMsQv/AhpLfMB2SEWLGADEgvEnh9gww+w6CcglkViw4I7Y9NCojTtWPa99/ic+xh7DM9iQUjIvjQxKZ85e27qfO7CxUuXp/Mzs+uBG/kmrZuu5fqbhh5Qizm0HrLQopueT3XbsOiG0XnA3290qR8w13kc7np029ZbDtthph4i1Mh/VnDNd5T7SkkLmdWkcS1pxFGUPIlLalJDN1E0LSdY1RGsf6HeEV1r6yHKi2wBdRE3NxVNt7y2HneSNKyiKQpeTyAlpYdm4TBFkSiaRZ9lstRX+etGvkDKRCxl2FEzpwDZWnFnpD5o0AQXTIjABgoOhOhboEOA1xaoUAEPsVuILMJT2IYYnzr4iDHBpJBADrNEyKfI1RHt4LOF0VaGOhjz7IHQm1jPwttHpQJz5Bv5SA7IV/KJfCe/R+aKRQ7e1S5aI9VSrzHdv7r2a6zKRhtC+0h1jMLAyx4zVQg7cFdMw3A6TyB8TjOt0N17fbB2b3UunifvyQ+c8B3ZJ19wRqf70/xQo6tvRHYHNc/FftiiQwe/RYw439+WQHqYjyN/+3exFo99RJSM9+KQqeG+MowYcoNsgnE1eP8nq5EyT1Mj7Stl74k/ZXSdYe7pKvHuTlppkDtQCc+ROnhqhp31Slm9Xa7UFgtLy9mJmoJrcAOKeGruwBI8hBWogyldl5alqvRIbsp9+aX8KqVOSJnmCvy35Ld/ANUyH0M=</latexit> ௐ੔ͯ͠ɺྑͦ͞͏ͳ΋ͷΛબ୒
  18. ࢀߟจݙ    :VWBM5BTTB FUBM4ZOUIFTJTBOE4UBCJMJ[BUJPOPG$PNQMFY#FIBWJPSTUISPVHI0OMJOF 5SBKFDUPSZ0QUJNJ[BUJPO
 IUUQTJFFFYQMPSFJFFFPSHBCTUSBDUEPDVNFOU  

    8FJXFJ-J FUBM*UFSBUJWF-JOFBS2VBESBUJD3FHVMBUPS%FTJHOGPS/POMJOFBS#JPMPHJDBM .PWFNFOU4ZTUFNT
 IUUQTIPNFTDTXBTIJOHUPOFEVdUPEPSPWQBQFST-J*$*/$0QEG   $4%FFQ3FJOGPSDFNFOU-FBSOJOH
 IUUQSBJMFFDTCFSLFMFZFEVEFFQSMDPVSTF   3-Š-23J-23-JOFBS2VBESBUJD3FHVMBUPS
 IUUQTNFEJVNDPN!KPOBUIBO@IVJSMMRSJMRSMJOFBSRVBESBUJDSFHVMBUPSBEFD   5)&*5&3"5*7&-*/&"326"%3"5*$3&(6-"503"-(03*5).
 IUUQTTUVEZXPMGXPSEQSFTTDPNUIFJUFSBUJWFMJOFBSRVBESBUJDSFHVMBUPS NFUIPE