分?jǐn)?shù)階系統(tǒng)高階邏輯形式化驗證

　　本書是分?jǐn)?shù)階系統(tǒng)與高階邏輯形式化驗證的基礎(chǔ)理論研究著作。分?jǐn)?shù)階系統(tǒng)是建立在分?jǐn)?shù)階微積分方程理論上實際系統(tǒng)的數(shù)學(xué)模型。分?jǐn)?shù)階微積分方程是擴(kuò)展傳統(tǒng)微積分學(xué)的一種直接方式，即允許微積分方程中對函數(shù)的階次選擇分?jǐn)?shù)，而不僅是現(xiàn)有的整數(shù)。分?jǐn)?shù)階微積分不僅為系統(tǒng)科學(xué)提供了一個新的數(shù)學(xué)工具，它的廣泛應(yīng)用也表明了實際系統(tǒng)動態(tài)過程本質(zhì)上是分?jǐn)?shù)階的。高階邏輯形式化驗證是形式化驗證方法的一種，它是一種人機(jī)交互的定理證明方法。本書以分?jǐn)?shù)階微積分和高階邏輯形式化驗證為切入點，系統(tǒng)性研究了分?jǐn)?shù)階系統(tǒng)的求解、近似化、控制器設(shè)計與高階邏輯形式化分析驗證等內(nèi)容。

暫缺《分?jǐn)?shù)階系統(tǒng)高階邏輯形式化驗證》作者簡介