一種面向周期控制器的以模式為基礎(chǔ)的信物融合系統(tǒng)建模及驗(yàn)證方法
基本信息
| 申請(qǐng)?zhí)?/td> | CN202110607529.X | 申請(qǐng)日 | - |
| 公開(kāi)（公告）號(hào) | CN113434116A | 公開(kāi)（公告）日 | 2021-09-24 |
| 申請(qǐng)公布號(hào) | CN113434116A | 申請(qǐng)公布日 | 2021-09-24 |
| 分類號(hào) | G06F8/10（2018.01）I;G06F8/35（2018.01）I;G06F11/36（2006.01）I | 分類 | 計(jì)算；推算；計(jì)數(shù); |
| 發(fā)明人 | 趙涌鑫;胡指銘;蒲戈光;劉虹 | 申請(qǐng)（專利權(quán)）人 | 上海工業(yè)控制安全創(chuàng)新科技有限公司 |
| 代理機(jī)構(gòu) | 上海德禾翰通律師事務(wù)所 | 代理人 | 夏思秋 |
| 地址 | 200241上海市閔行區(qū)東川路500號(hào) | ||
| 法律狀態(tài) | - | ||
摘要
| 摘要 | 本發(fā)明公開(kāi)了一種面向周期控制器的以模式為基礎(chǔ)的信物融合系統(tǒng)建模及驗(yàn)證方法，所述方法包括：利用信物融合系統(tǒng)建模語(yǔ)言，分別構(gòu)建抽象層面上的離散模式和連續(xù)模式，及具體層面上的離散控制流和連續(xù)控制流；結(jié)合上述獲得的抽象層面和具體層面的建模模型，獲得完整的信物融合系統(tǒng)模型，并以圖形化方式表示；將上述獲得的完整的信物融合系統(tǒng)模型中的變量、離散模式、連續(xù)模式、離散模式控制流、連續(xù)模式控制流按照翻譯規(guī)則轉(zhuǎn)換成混合自動(dòng)機(jī)，進(jìn)行形式化驗(yàn)證和性質(zhì)分析。本發(fā)明方法能以圖形化展示界面，方便用戶的理解和建立模型，也為模型和高置信的形式化性質(zhì)驗(yàn)證工具間建立有效的橋梁，節(jié)約信物融合系統(tǒng)模型的開(kāi)發(fā)和高置信性質(zhì)驗(yàn)證的時(shí)間和成本。 |
