本書以拉格朗日力學理論與自動定理證明思想為指導，系統(tǒng)深入地研究了泛函變分、拉格朗日力學和機器人動力學之間的天然關(guān)系，從而構(gòu)建了以泛函變分的形式化為形式化數(shù)學基礎、以拉格朗日力學的形式化為中心、以機器人動力學形式化分析為應用依托的定理證明體系。內(nèi)容涵蓋了自動定理證明、泛函變分、拉格朗日力學、形式化驗證等領域。《BR》　　全書主要內(nèi)容包括：泛函變分、動力學與形式化驗證的進展；泛函變分、拉格朗日力學、機器人動力學與形式化驗證主要理論；泛函變分主要理論的形式化；拉格朗日力學主要理論的形式化；機器人動力學的形式化建模與分析；模塊化自組織機器人對接運動學和動力學驗證。作者長期系統(tǒng)形式化與自動定理證明進行深入研究并在機器人安全驗證等領域持續(xù)實踐迭代，本書是對該過程成果的高度凝練與系統(tǒng)總結(jié)。

更多科學出版社服務，請掃碼獲取。