検索結果書誌詳細

内容紹介

離散状態をもつシステム、および離散状態と連続状態を併せもつハイブリッドシステムを形式的にモデル化するための手法を解説。モデルが与えられた仕様を満たしているかどうかを数理的に検証するための方法についても説明する。

＋ 追加情報を見る

タイトルコード

1000050193715

書誌種別

図書

著者名

平石 邦彦／著

著者名ヨミ

ヒライシ クニヒコ

出版者

森北出版

出版年月

2019.1

ページ数・枚数

8,229p

大きさ・形態

22cm

ISBN

4-627-85421-5

分類記号

007.61

書名

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

書名ヨミ

ケイシキテキ モデルカ リサン ジショウ ジツジカン ハイブリッド システム ノ モデルカ ト カイセキ

副書名

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

副書名ヨミ

リサン ジショウ ジツジカン ハイブリッド システム ノ モデルカ ト カイセキ

著者紹介

東京工業大学理工学研究科制御工学専攻修了。北陸先端科学技術大学院大学情報科学研究科教授。同大学情報社会基盤研究センター長。工学博士。

件名1

システム工学