《混成系統的描述與驗證理論研究》是依託北京大學，由王捍貧擔任負責人的面上項目。
《混成系統的描述與驗證理論研究》是依託北京大學，由王捍貧擔任負責人的面上項目。項目摘要本項目擬先建立關於時段演算表達能力的譜系圖，後據此研究時段演算對混成系統行為的描述能力。再研究它對混成系統內諸多可觀察行為的描述方法，...
在基金委的資助下，本項目從理論層混成自動機的多種性質模型檢驗技術、套用層信息物理融合系統的線上驗證技術以及信息物理融合系統底層無線感測網路的驗證、設計等技術進行了系統研究。提出了包括多技術深度融合的有界模型檢驗技術、基於不可行...
. 本課題將在已有成果上深入研究非線性混成系統自動驗證理論及其套用。我們希望在抽象精化、模型檢查及Lyapunov穩定下，通過採用安全性和穩定性的代數分析理論和方法，並結合符號計算，在程式化驗證混成系統安全性和穩定性的理論與方法等...
《面向複雜行為場景的實時和混成系統模型檢驗技術研究》是依託南京大學，由卜磊擔任項目負責人的面上項目。項目摘要 針對安全攸關套用領域中的實時和混成系統，採用模型檢驗技術驗證其是否滿足需求、擺脫缺陷十分重要和必要。然而實際套用中，...
本項研究將採用時段演算作為說明語言，以時間自動機、時間自動機網路、混成自動機作為模型語言，圍繞實時和混成系統的模型驗證中的狀態爆炸問題展開研究工作，這在提高實時和混成系統的正確性和可靠性、將理論研究成果轉換為實際套用技術、...
混成動態系統理論是當今控制科學和計算機科學前沿領域的熱門研究內容。本書從剖析混成動態系統的基本特徵，闡釋其時空行為演進規律，發掘其表達模式，開發其仿真工具等方面人手，通過一系列有代表性的典型範例，以深入淺出的方式，透徹而清楚...
《基於UTP的混成建模語言的理論研究》是依託華東師範大學，由趙涌鑫擔任項目負責人的青年科學基金項目。項目摘要 信息物理融合系統Cyber-Physical System（簡稱CPS）是近些年來學術研究的熱點領域之一。其主要特徵表現為物理進程和計算進程的深度...
本項目旨在建立一套完整的針對CPS的軟體規約、建模與驗證理論和方法。研究過程中還結合智慧型交通系統等實際CPS，對其關鍵屬性、算法和協定進行深入的形式驗證、實證分析和評估。結題摘要 （1）為解決微分時態動態邏輯（dTL）表達能力弱以及...
混合程式設計理論 進入20 世紀90年代，對控制系統的研究，例如對自動導航及核電站監測等控制系統的研究，引起了程式理論界的關注。這些系統的特點是: 它們都使用計算機進行實時控制; 對控制系統的安全性和可靠性要求高，控制系統的微小錯誤...
本課題將進一步分析混成系統穩定性的代數特徵並構造相應理論下的半代數系統；結合計算機代數與正定問題求解上的現有理論與方法，提出新的高效算法來機械化地實現多重Lyapunov函式與吸引域的計算，並進行實例研究。
研究內容：以投影時序邏輯（PTL）、Petri 網和SOFL 為基礎，採用驗證、測試和模擬分析相結合的方法，研究構造可信、高效軟體系統的理論和方法。擴展PTL 的可執行子集MSVL，使之具有描述異步通信的功能，並研究基於MSVL 的模型檢測、定理...
針對基於模型的設計、並發理論、分散式算法、規約和驗證的形式化方法、控制理論、實時系統和混成系統等分支學科，從不同側面對信息物理融合系統進行描述。本書採用數學化的建模、基於模型的設計，以及規約與分析等概念，並配以案例研究圖解來...
