混合控制系統的穩定性、符號證實方法與設計研究

混合控制系統的穩定性、符號證實方法與設計研究

《混合控制系統的穩定性、符號證實方法與設計研究》是依託上海交通大學,由吳智銘擔任項目負責人的面上項目。

基本介紹

  • 中文名:混合控制系統的穩定性、符號證實方法與設計研究
  • 項目類別:面上項目
  • 項目負責人:吳智銘
  • 依託單位:上海交通大學
  • 批准號:60074011
  • 研究期限:2001-01-01 至 2003-12-31
  • 申請代碼:F0301
  • 支持經費:16(萬元)
  • 負責人職稱:教授
項目摘要
混合系統是由連續變數和離散事件互動組成的系統。混合系統研究源於近年對實時嵌入式計算課題研究混合控制系統的系統化設計和規範化證實方法。對帶決策適應機制的混合模型,引入新狀態測度和穩定分析方法。提出最佳化控制器設計規範。生成證實算法和動態修復算法,定量評估算法複雜度,以實例表明有效性。

相關詞條

熱門詞條

聯絡我們