本書系統(tǒng)深入地研究了辛幾何理論、哈密頓動力學的公理化體系，并以四自由度串聯(lián)機器人為例，研究了基于哈密頓動力學系統(tǒng)的形式化分析與驗證方法的應用，為機器人動力學的安全設計提供了形式化驗證理論和技術手段。全書主要內容包括：哈密頓模型的幾何基礎——辛流形空間的形式化、哈密頓模型和拉格朗日模型的勒讓德映射關系的形式化、哈密頓方程的形式化和機器人動力學的形式化建模與分析。內容涉及交互式定理證明、機器人、形式化驗證等人工智能領域。

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