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

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

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