資料詳細

形式的モデル化貸出可

平石邦彦／著 -- 森北出版 -- 2019.1 -- 007.61

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	請求記号	資料番号	資料区分	帯出区分	状態
一般	一般資料室	007.6/2019/	00014501761	和書	帯出可	在庫

ページの先頭へ

資料詳細

タイトル	形式的モデル化 ,
書名ヨミ	ケイシキテキモデルカ
副書名	離散事象/実時間/ハイブリッドシステムのモデル化と解析
著者	平石邦彦／著
著者名ヨミ	ヒライシ,クニヒコ
出版者	森北出版
出版年	2019.1
ページ数, 大きさ	8,229p, 22cm
NDC１０版	007.61
NDC８版	007.61
一般件名	システム工学
ISBN	978-4-627-85421-5
著者紹介	東京工業大学理工学研究科制御工学専攻修了。北陸先端科学技術大学院大学情報科学研究科教授。同大学情報社会基盤研究センター長。工学博士。
内容紹介	離散状態をもつシステム、および離散状態と連続状態を併せもつハイブリッドシステムを形式的にモデル化するための手法を解説。モデルが与えられた仕様を満たしているかどうかを数理的に検証するための方法についても説明する。

ページの先頭へ