資料詳細

  • 1 件中、 1 件目

【図書】 形式的モデル化

離散事象／実時間／ハイブリッドシステムのモデル化と解析 --
平石邦彦 ／著   -- 森北出版 -- ２０１９．１ -- ２２ｃｍ -- ２２９ｐ

資料詳細

タイトル 形式的モデル化
副書名 離散事象／実時間／ハイブリッドシステムのモデル化と解析
著者名等 平石邦彦 ／著  
出版 森北出版 ２０１９．１
大きさ等 ２２ｃｍ ２２９ｐ
分類 007.61
件名 システム設計
注記 文献あり　索引あり
著者紹介 １９８３年東京工業大学工学部制御工学科卒業。１９８５年東京工業大学理工学研究科制御工学専攻修了。１９８５年富士通（株）国際情報社会科学研究所研究員。１９９３年北陸先端科学技術大学院大学情報科学研究科　助教授。２００３年同教授。２０１６年同大学情報社会基盤研究センター長。現在に至る。工学博士。（本データはこの書籍が刊行された当時に掲載されていたものです）
要旨 複雑・多様化するシステムの形式検証のために。堅牢なシステム構築のための、システムの数理的なモデル化・解析手法の理論的背景を詳説。
目次 第１部　システムのモデル化（システムの概念；オートマトンと形式言語　ほか）；第２部　性質・ふるまいの記述（時相論理によるシステムの性質の記述；遷移システム・ラベル付き遷移システム）；第３部　拡張モデル（時間・確率システムのモデル化；ハイブリッドシステムのモデル化）；第４部　解析・検証・制御（基本的解析問題；決定性時間システム・ハイブリッドシステムの解析　ほか）
ISBN(13)、ISBN 978-4-627-85421-5　　 4-627-85421-8
書誌番号 1113656124
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113656124

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 情報科学 007.6 一般書 利用可 - 2064095555 iLisvirtual

ページの先頭へ