大分県立図書館 蔵書検索
県立図書館ホームページへ
蔵書検索トップ
詳細検索
ブックリスト
Myライブラリ
レファレンス
機能紹介
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
本サイトではCookieを使用しています。ブラウザの設定でCookieを有効にしてください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
形式的モデル化
貸出可
平石 邦彦/著 -- 森北出版 -- 2019.1 -- 007.61
SDI
予約かごへ
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
一般
一般資料室
007.6/2019/
00014501761
和書
帯出可
在庫
ページの先頭へ
資料詳細
タイトル
形式的モデル化 ,
書名ヨミ
ケイシキテキ モデルカ
副書名
離散事象/実時間/ハイブリッドシステムのモデル化と解析
著者
平石 邦彦
/著
著者名ヨミ
ヒライシ,クニヒコ
出版者
森北出版
出版年
2019.1
ページ数, 大きさ
8,229p, 22cm
NDC10版
007.61
NDC8版
007.61
一般件名
システム工学
ISBN
978-4-627-85421-5
著者紹介
東京工業大学理工学研究科制御工学専攻修了。北陸先端科学技術大学院大学情報科学研究科教授。同大学情報社会基盤研究センター長。工学博士。
内容紹介
離散状態をもつシステム、および離散状態と連続状態を併せもつハイブリッドシステムを形式的にモデル化するための手法を解説。モデルが与えられた仕様を満たしているかどうかを数理的に検証するための方法についても説明する。
ページの先頭へ