離散與混雜控制的代數理論(英文版)
控制理論通常處理過程的動態行為,由微分方程來進行刻畫。隨著計算機控制的快速普及,出現了離散事件過程和混雜過程。離散事件過程可能是展現離散行為的最簡單的過程。在離散事件系統中,狀態是離散的,而且狀態的轉移僅僅是對離散事件的響應。在離散事件過程和計算過程之間存在微小的差異,即并行與并發,也就是說,對于多數的計算性質,如順序、不確定性、遞歸和抽象等,它們是相同的。混雜理論是系統理論和計算機科學的結合體。在系統理論中,系統行為通常由微分方程來刻畫,而在計算機科學中,系統行為通常由離散的原子動作及其之間的計算邏輯來刻畫。在本書中,我們在真并發進程代數中引入離散事件系統和混雜系統,介紹了離散事件過程的公理化、分布式離散事件過程的公理化、混雜進程代數及其在神經網絡建模中的應用以及具有位置的混雜進程代數及其在分布式/聯邦神經網絡建模中的應用等。
·7.2萬字