このブラウザは、JavaScript が無効になっています。JavaScriptを有効にして再度、お越しください。
ログイン
トップページ
検索
コンテンツ募集中
オープンアクセス
より詳しく
カテゴリごと
日本語 |
English
UTokyo Repository
トップ
ランキング
詳細検索
全文検索
キーワード検索
タイトル
著者名 OR 著者ID
資源タイプ
出版年
インデックス
WEKO著者ID
AND
タイトル
著者名 OR 著者ID
資源タイプ
出版年
インデックス
WEKO著者ID
AND
タイトル
著者名 OR 著者ID
資源タイプ
出版年
インデックス
WEKO著者ID
AND
タイトル
著者名 OR 著者ID
資源タイプ
出版年
インデックス
WEKO著者ID
AND
タイトル
著者名 OR 著者ID
資源タイプ
出版年
インデックス
WEKO著者ID
AND
タイトル
著者名 OR 著者ID
資源タイプ
出版年
インデックス
WEKO著者ID
検索条件を追加
検索条件を追加
NIIsubject
NDC
NDLC
BSH
NDLSH
MeSH
DDC
LCC
UDC
LCSH
テスト
学術雑誌論文 / Journal Article
会議発表論文 / Conference Paper
紀要論文 / Departmental Bulletin Paper
その他 / Others
一般雑誌記事 / Article
学位論文 / Thesis or Dissertation
テクニカルレポート / Technical Report
研究報告書 / Research Paper
会議発表用資料 / Presentation
図書 / Book
プレプリント / Preprint
教材 / Learning Material
データ・データベース / Data or Dataset
_図書 / Book_02
学術雑誌論文 / Journal Article_02
_学術雑誌論文 / Journal Article
_紀要論文 / Departmental Bulletin Paper
_会議発表論文 / Conference Paper
_一般雑誌記事 / Article
_会議発表用資料 / Presentation
_学位論文 / Thesis or Dissertation
_報告書 / Research Paper
_図書 / Book
_図書の一部 / Book
_その他 / Others
DublinCore
Journal Article
Thesis or Dissertation
Departmental Bulletin Paper
Conference Paper
Presentation
Book
Technical Report
Research Paper
Article
Preprint
Learning Material
Data or Dataset
Software
Others
Learning Object Metadata
LIDO
Journal Article
Thesis or Dissertation
Departmental Bulletin Paper
Conference Paper
Presentation
Book
Technical Report
Research Paper
Article
Preprint
Learning Material
Data or Dataset
Software
Others
identifier
URI
fullTextURL
selfDOI
ISBN
ISSN
NCID
pmid
doi
NAID
ichushi
日本語
英語
フランス語
イタリア語
ドイツ語
スペイン語
中国語
ロシア語
ラテン語
マレー語
エスペラント語
アラビア語
ギリシャ語
朝鮮語
その他の言語
CC BY
CC BY-SA
CC BY-ND
CC BY-NC
CC BY-NC-SA
CC BY-NC-ND
自由記述
author
publisher
ETD
none
Language
日本語
English
インデックスツリー
インデックス
0 資料タイプ別
20 学位論文
021 博士論文
124 情報理工学系研究科
10 コンピュータ科学専攻
1241020 博士論文（コンピュータ科学専攻）
Permalink : http://doi.org/10.15083/00078502
Reachability Analysis of Hybrid Systems via Predicate and Relational Abstraction
利用統計を見る
File / Name
License
A35204.pdf
A35204.pdf (1.12MB)
[ 43 downloads ]
A35204_abstract.pdf
A35204_abstract.pdf (69.35KB)
[ 4 downloads ]
A35204_review.pdf
A35204_review.pdf (148.89KB)
[ 11 downloads ]
JaLC DOI
info:doi/10.15083/00078502
アイテムタイプ
学位論文 / Thesis or Dissertation
言語
英語
その他のタイトル
述語と関係を用いた抽象化によるハイブリッドシステムの到達可能性解析
著者
木戸 肩吾
著者別名
Kido Kengo
著者所属
情報理工学系研究科コンピュータ科学専攻
内容記述
学位の種別: 課程博士
審査委員会委員 : （主査）東京大学教授 萩谷 昌己, 東京大学教授 須田 礼仁, 東京大学准教授 吉本 芳英, 東京大学准教授 加藤 真平, 名古屋大学教授 結縁 祥治
発行年
2018-03-22
著者版フラグ
ETD
学位名
博士(情報理工学)
学位
doctoral
学位授与機関
University of Tokyo(東京大学)
研究科・専攻
Department of Computer Science, Graduate School of Information Science and Technology (情報理工学系研究科コンピュータ科学専攻)
学位授与年月日
2018-03-22
学位授与番号
12601甲第35204号
学位記番号
博情第635号
アイテムへのリンクの際はタイトル右肩にある「Permalink」をご利用ください！
Please use "Permalink" at the top right of the title when linking to items!
コンテンツ募集中！
デジタルライブラリ担当
ir-support[at]lib.u-tokyo.ac.jp
カテゴリごと
Powered by
WEKO
Reachability Analysis of Hybrid Systems via Predicate and Relational Abstraction
A35204.pdf
(1.12MB)
