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

個数:
電子版価格
¥5,060
  • 電書あり

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

  • ウェブストアに1冊在庫がございます。(2024年03月28日 22時16分現在)
    通常、ご注文翌日~2日後に出荷されます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆画像の表紙や帯等は実物とは異なる場合があります。
    ◆特に表記のない限り特典はありません。
    ◆別冊解答などの付属品はお付けできない場合がございます。
  • ●店舗受取サービス(送料無料)もご利用いただけます。
    ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら
  • サイズ A5判/ページ数 237p/高さ 22cm
  • 商品コード 9784627854215
  • NDC分類 007.61
  • Cコード C3004

出版社内容情報

ソフトウェアの形式検証を理解し,使いこなすための理論を詳説.様々なシステムに対する形式的モデル化・解析手法を網羅.ソフトウェアが正しく設計されているかを保証するための手法として,システムを数学的に厳密なモデルで記述し,仕様が満たされているかどうかを数理的に調べる,「形式検証」が注目されている.

本書では,モデル検査に代表されるように,現実のシステムにも適用可能になってきた形式検証を理解し,使いこなすための理論的背景について解説する.

離散事象システム,実時間システム,ハイブリッドシステムなど,さまざまなシステムに対する形式的モデル化手法と,その解析方法が網羅された1冊.

◆第?部 システムのモデル化
第1章 システムの概念
第2章 オートマトンと形式言語
第3章 ペトリネット
第4章 プロセス代数

◆第?部 性質・ふるまいの記述
第5章 時相論理によるシステムの性質の記述
第6章 遷移システム・ラベル付き遷移システム

◆第?部 拡張モデル
第7章 時間・確率システムのモデル化
第8章 ハイブリッドシステムのモデル化

◆第?部 解析・検証・制御
第9章 基本的解析問題
第10章 決定性時間システム・ハイブリッドシステムの解析
第11章 確率システムの解析
第12章 モデル検査
第13章 離散事象システムの制御

付録A 数学用語の解説
付録B 演習問題の解答例

平石 邦彦[ヒライシ クニヒコ]
著・文・その他

内容説明

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

目次

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

著者等紹介

平石邦彦[ヒライシクニヒコ]
1983年東京工業大学工学部制御工学科卒業。1985年東京工業大学理工学研究科制御工学専攻修了。富士通(株)国際情報社会科学研究所研究員。1993年北陸先端科学技術大学院大学情報科学研究科助教授。2003年同教授。2016年同大学情報社会基盤研究センター長。工学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

kamocyc

0
ハイブリッドシステムのモデル検査はまだニッチな分野だろうし,発展途上でもあると思うが,この本でなんとなく概観はつかんだように思う. ペトリネットやプロセス代数,時相論理など学んだ.2020/03/07

外部のウェブサイトに移動します

よろしければ下記URLをクリックしてください。

https://bookmeter.com/books/13390620
  • ご注意事項

    ご注意
    リンク先のウェブサイトは、株式会社ブックウォーカーの提供する「読書メーター」のページで、紀伊國屋書店のウェブサイトではなく、紀伊國屋書店の管理下にはないものです。
    この告知で掲載しているウェブサイトのアドレスについては、当ページ作成時点のものです。ウェブサイトのアドレスについては廃止や変更されることがあります。
    最新のアドレスについては、お客様ご自身でご確認ください。
    リンク先のウェブサイトについては、「株式会社ブックウォーカー」にご確認ください。