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