文献

J-GLOBAL ID：201702255682342256   整理番号：17A1395936

微分不変量に基づくハイブリッド事象Bの証明証明義務へのアプローチ【Powered by NICT】

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants

著者 (7件)： Liu Jie ,  Liu Jing ,  Zhang Miaomiao ,  Sun Haiying ,  Chen Xiaohong ,  Du Dehui ,  Chen Mingsong
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： COMPSAC  ページ： 138-143  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： モデリングハイブリッドシステムのために,微分事象とそのフレームワークに基づくB事象を拡張した。示差事象は微分方程式と進化制約によるハイブリッド系の連続挙動,その証明義務はモデルの動的特性を提供するについて述べた。モデルの安全性と信頼性を確保するために,証明義務を証明すべきである。状態空間における証明義務を証明することが困難である,数学の分野で微分方程式を解くために完全な方法である。微分不変量に基づく証明義務を証明する方法を提案した。微分方程式を解くことに及ぼす制御不可能な計算を避けることである。主な結果は,詳細化計算の枠内で微分事象を含む証明義務を証明するためのいくつかの定理を証明することである。最後に,列車制御システムの事例を通して,著者らはさらにアプローチが適していることを示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 微分方程式 ,  信頼性 ,  ハイブリッド系 ,  *微分 ,  モデル ,  精密化 ,  *不変量 ,  安全性 ,  列車制御
準シソーラス用語： 状態空間 , 【Automatic Indexing@JST】

分類 (2件)： 信頼性  (KB04040H) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： 微分 ,  不変量 ,  事象 ,  証明 ,  義務