検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます

書誌情報サマリ

書名

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

著者名 平石 邦彦／著
著者名ヨミ ヒライシ クニヒコ
出版者 森北出版
出版年月 2019.1

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

マイ本棚へ追加ログインするとマイ本棚を利用できます。

書誌詳細

この資料の書誌詳細情報です。

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



目次


内容細目

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館資料番号請求記号資料種別配架場所帯出区分状態 貸出
1 中央　0114639973007.61//図書一般自動化書庫貸出可在庫　  ○

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2019
かいけつゾロリスターたんじょう かいけつゾロリスターたんじょう
原 ゆたか／さく… かいけつゾロリうちゅう大さくせん かいけつゾロリうちゅう大さくせん
原 ゆたか／さく… アンパンマンとだだんだん アンパンマンとだだんだん
やなせ たかし／… ぼくはイエローでホワイトで、…[1] ぼくはイエローでホワイトで、…[1]
ブレイディみかこ… 牛乳のひみつ 牛乳のひみつ
深草 あざみ／ま… わたしのわごむはわたさない わたしのわごむはわたさない
ヨシタケ シンス… FACTFULNESS　：　10の… FACTFULNESS　：　10の…
ハンス・ロスリン… サイダーのひみつ サイダーのひみつ
海野 そら太／ま… お肉のひみつ お肉のひみつ
大岩 ピュン／ま… 危険なビーナス 危険なビーナス
東野 圭吾／[著… 女子野球のひみつ 女子野球のひみつ
マンガデザイナー… 老人初心者の覚悟 老人初心者の覚悟
阿川 佐和子／著 くぬぎのもりのりすのがっこう くぬぎのもりのりすのがっこう
ふくざわ ゆみこ… ながーい5ふん みじかい5ふん ながーい5ふん みじかい5ふん
リズ・ガートン・… こどもかいぎ こどもかいぎ
北村 裕花／作・… こんどこそは名探偵 こんどこそは名探偵
杉山 亮／作,中… ゲーム&クリエイター パソコンのひ… ゲーム&クリエイター パソコンのひ…
マンガデザイナー… くまくまパン いちにちパンやさん くまくまパン いちにちパンやさん
西村 敏雄／作 みんなのおばけずかん　：　みはりん… みんなのおばけずかん　：　みはりん…
斉藤 洋／作,宮… にんじんかりかりかじったら にんじんかりかりかじったら
石津 ちひろ／文… おばけのばあ おばけのばあ
せな けいこ／さ… 瞬間的シックスセンス 瞬間的シックスセンス
あいみょん／Ｖ 10ぴきのおばけのたんじょうび 10ぴきのおばけのたんじょうび
にしかわ おさむ… おんぶおんぶのももんちゃん おんぶおんぶのももんちゃん
とよた かずひこ… 58歳から日々を大切に小さく暮らす 58歳から日々を大切に小さく暮らす
ショコラ／著 わたしの美しい庭 わたしの美しい庭
凪良 ゆう／著 チャレンジミッケ!10 チャレンジミッケ!10
ウォルター・ウィ… 苦しかったときの話をしようか　：　… 苦しかったときの話をしようか　：　…
森岡 毅／著 運転者　：　未来を変える過去からの… 運転者　：　未来を変える過去からの…
喜多川 泰／[著… 恐竜トリケラトプスとゴルゴサウルス… 恐竜トリケラトプスとゴルゴサウルス…
黒川 みつひろ／… しゅつどう!しょうぼうたい しゅつどう!しょうぼうたい
鎌田 歩／作・絵 おばけのアッチ スパゲッティ・ノッ… おばけのアッチ スパゲッティ・ノッ…
角野 栄子／さく… わんぱくだんのてんぐのすむやま わんぱくだんのてんぐのすむやま
ゆきの ゆみこ／… ないしょのオリンピック ないしょのオリンピック
もとした いづみ… おにぎりにはいりたいやつよっといで おにぎりにはいりたいやつよっといで
岡田 よしたか／… ざんねんないきもの事典　：　…もっと ざんねんないきもの事典　：　…もっと
今泉 忠明／監修… 鉄のひみつ 鉄のひみつ
水木 繁／まんが やきいもとおにぎり やきいもとおにぎり
みやにし たつや… ズボラ習慣をリセットしたらやる気な… ズボラ習慣をリセットしたらやる気な…
わたなべ ぽん／… みんなのおすし みんなのおすし
はらぺこめがね／… 薬屋のひとりごと8 薬屋のひとりごと8
日向 夏／[著] 巨大空港 巨大空港
鎌田 歩／さく あなあなはてな あなあなはてな
はらぺこめがね／… 絶唱 絶唱
湊 かなえ／著 ゆげゆげ〜 ゆげゆげ〜
さいとう しのぶ… グレッグのダメ日記 ぶっこわしちゃ… グレッグのダメ日記 ぶっこわしちゃ…
ジェフ・キニー／… 安倍晴明 安倍晴明
加来 耕三／企画… ルルとララのおまじないクッキー ルルとララのおまじないクッキー
あんびる やすこ… おばけひめがやってきた! おばけひめがやってきた!
むらい かよ／著 ふみきりくん ふみきりくん
えのもと えつこ…
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。