形式的モデル化
離散事象/実時間/ハイブリッドシステムのモデル化と解析
平石 邦彦森北出版240ページISBN 9784627854215
コンピュータサイエンスタグで同率25位（64冊中）。Zenn・Qiitaなどの1記事で紹介（時点）。
- 紹介記事
- 1件
- 媒体別
- Qiita 1
- 初めての紹介
- 最新の紹介
この本を選ぶ前に
- 出版年
- （約8年前）
- タグ内の順位
- コンピュータサイエンスタグで同率25位（64冊中・紹介記事数の順）
紹介している記事（1件）
記事ごとの説明は、記事本文のうちこの本に触れた部分をAIが要約したもので、筆者の原文ではありません。
- クラウドが好きな大学生が読んで良さげだった本を紹介する Qiita · Ryota Yamada · · いいね 282
CTLとLTLにはじまり、決定性時間モデル、確率性時間モデルなど、システムのモデル化に関する内容が学問的に記されていると紹介している。記述にはかなり数学的な表現が使われており、大学で数学や情報工学を専攻していないと正直読みづらいという印象である。そのうえで、この分野を日本語で勉強するなら本書になるのかなと述べている。
この本について
本書は、システムを数学的なモデルで表し、その仕様や性質を解析・検証するための理論と手法を扱う。離散事象システム、実時間システム、確率システム、ハイブリッドシステムを対象に、オートマトン、形式言語、ペトリネット、プロセス代数によるモデル化から、時相論理や遷移システムによる性質・ふるまいの記述へ進む。後半では、時間や確率を含むモデルの解析、モデル検査、離散事象システムの制御を取り上げる。CTLやLTL、決定性・確率性をもつ時間モデルも扱い、数学的な記述を通じて、仕様を満たすかどうかを調べる形式検証の背景を学べる。
楽天ブックスの商品説明、版元ドットコムの目次と紹介記事をもとにAIが要約したものです。原文の転載ではありません。
目次（主な章）
出典: 出版社の書籍ページ （章の見出しのみ）
- 第1章 システムの概念
- 第2章 オートマトンと形式言語
- 第3章 ペトリネット
- 第4章 プロセス代数
- 第5章 時相論理によるシステムの性質の記述
- 第6章 遷移システム・ラベル付き遷移システム
- 第7章 時間・確率システムのモデル化
- 第8章 ハイブリッドシステムのモデル化
- 第9章 基本的解析問題
- 第10章 決定性時間システム・ハイブリッドシステムの解析
- 第11章 確率システムの解析
- 第12章 モデル検査
- 第13章 離散事象システムの制御
- 付録A 数学用語の解説
- 付録B 演習問題の解答例