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