形式的モデル化 : 離散事象/実時間/ハイブリッドシステムのモデル化と解析

著者

• 平石, 邦彦 ヒライシ, クニヒコ

書誌事項

形式的モデル化 : 離散事象/実時間/ハイブリッドシステムのモデル化と解析

平石邦彦著

森北出版, 2019.1

タイトル別名

形式的モデル化 : 離散事象実時間ハイブリッドシステムのモデル化と解析

タイトル読み

ケイシキテキ モデルカ : リサン ジショウ ジツジカン ハイブリッド システム ノ モデルカ ト カイセキ

注記

参考文献: p[222]-225

内容説明・目次

内容説明

複雑・多様化するシステムの形式検証のために。堅牢なシステム構築のための、システムの数理的なモデル化・解析手法の理論的背景を詳説。

目次

• 第１部　システムのモデル化（システムの概念；オートマトンと形式言語　ほか）
• 第２部　性質・ふるまいの記述（時相論理によるシステムの性質の記述；遷移システム・ラベル付き遷移システム）
• 第３部　拡張モデル（時間・確率システムのモデル化；ハイブリッドシステムのモデル化）
• 第４部　解析・検証・制御（基本的解析問題；決定性時間システム・ハイブリッドシステムの解析　ほか）

「BOOKデータベース」 より

• NII書誌ID(NCID): BB27542628
• ISBN:
  • 9784627854215
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: viii, 229p
• 大きさ: 22cm
• 分類:
  • NDC10 : 007.61
• 件名:
  • BSH : システム工学
  • NDLSH : システム設計