形式的モデル化 : 離散事象/実時間/ハイブリッドシステムのモデル化と解析
著者
書誌事項
形式的モデル化 : 離散事象/実時間/ハイブリッドシステムのモデル化と解析
森北出版, 2019.1
- タイトル別名
-
形式的モデル化 : 離散事象実時間ハイブリッドシステムのモデル化と解析
- タイトル読み
-
ケイシキテキ モデルカ : リサン ジショウ ジツジカン ハイブリッド システム ノ モデルカ ト カイセキ
大学図書館所蔵 件 / 全86件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[222]-225
内容説明・目次
内容説明
複雑・多様化するシステムの形式検証のために。堅牢なシステム構築のための、システムの数理的なモデル化・解析手法の理論的背景を詳説。
目次
- 第1部 システムのモデル化(システムの概念;オートマトンと形式言語 ほか)
- 第2部 性質・ふるまいの記述(時相論理によるシステムの性質の記述;遷移システム・ラベル付き遷移システム)
- 第3部 拡張モデル(時間・確率システムのモデル化;ハイブリッドシステムのモデル化)
- 第4部 解析・検証・制御(基本的解析問題;決定性時間システム・ハイブリッドシステムの解析 ほか)
「BOOKデータベース」 より