平石邦彦

人物・団体ページへ

本

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

平石邦彦

☆
☆
☆
☆
☆
レビューを書く 

基本情報

ジャンル
：
物理・科学・医学
ISBN/カタログNo
：
ISBN 13 : 9784627854215
ISBN 10 : 4627854218
フォーマット
：
本
出版社
：
森北出版
発行年月
：
2019年01月
発売国
：
日本
追加情報
:
２３７ｐ；22

内容詳細

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

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

【著者紹介】
平石邦彦 : １９８３年東京工業大学工学部制御工学科卒業。１９８５年東京工業大学理工学研究科制御工学専攻修了。富士通（株）国際情報社会科学研究所研究員。１９９３年北陸先端科学技術大学院大学情報科学研究科助教授。２００３年同教授。２０１６年同大学情報社会基盤研究センター長。工学博士（本データはこの書籍が刊行された当時に掲載されていたものです）

（「BOOK」データベースより）

ユーザーレビュー

総合評価

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
レビューを書く

読書メーターレビュー

こちらは読書メーターで書かれたレビューとなります。

powered by

  • kamocyc さん

    読了日：2020/03/07

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

レビューをもっと見る

(外部サイト)に移動します

人物・団体紹介

人物・団体ページへ

平石邦彦

１９８３年東京工業大学工学部制御工学科卒業。１９８５年東京工業大学理工学研究科制御工学専攻修了。富士通（株）国際情報社会科学研究所研究員。１９９３年北陸先端科学技術大学院大学情報科学研究科助教授。２００３年同教授。２０１６年同大学情報社会基盤研究センター長。工学博士（本データはこの書籍が刊行された当

プロフィール詳細へ

物理・科学・医学 に関連する商品情報

おすすめの商品

CD・DVD・レコード・本・ゲームを売るなら
HMV宅配買取