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

Author(s)

Bibliographic Information

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

平石邦彦著

森北出版, 2019.1

Other Title

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

Title Transcription

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

Available at  / 88 libraries

Note

参考文献: p[222]-225

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

  • NCID
    BB27542628
  • ISBN
    • 9784627854215
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    viii, 229p
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top