《基於驗證的區間型離散事件系統的魯棒分析與控制》是依託清華大學，由趙千川擔任項目負責人的面上項目。
基本介紹
- 中文名：基於驗證的區間型離散事件系統的魯棒分析與控制
- 依託單位：清華大學
- 項目負責人：趙千川
- 項目類別：面上項目
- 批准號：60274011
- 項目名稱：基於驗證的區間型離散事件系統的魯棒分析與控制
- 申請代碼：F0301
- 負責人職稱：教授
- 研究期限：2003-01-01 至 2005-12-31
- 支持經費：22（萬元）
項目摘要
區間型DEDS是研究製造系統的攝動行為，異步電路實現工作過程，網路化嵌入控制設備的接口時序邏輯等新技術的需要推動下出現的一類重要系統，並可擴展用於研究某些混合動態系統的離散服務過程。本項目基於有效的驗證手段，系統研究此類系統的魯棒分析（結構性質和進程行為，時序有限檢測判據等）和控制綜合（邏輯控制和最佳化控制）。
