講演名	2017-11-16 ［招待講演］線形時相論理仕様に対するスーパバイザ制御 榊原 愛海(阪大), 潮 俊光(阪大),
PDFダウンロードページ	PDFダウンロードページへ
抄録(和)
抄録(英)
キーワード(和)
キーワード(英)
資料番号	CAS2017-50,MSS2017-34
発行日	2017-11-09 (CAS, MSS)

研究会情報
研究会	CAS / MSS / IPSJ-AL
開催期間	2017/11/16(から2日開催)
開催地（和）	日立中央研究所
開催地（英）
テーマ（和）	システムのモデリングと制御・検証・最適化の手法，機械学習的アプローチ及び一般
テーマ（英）
委員長氏名（和）	平木 充(ルネサス エレクトロニクス) / 名嘉村 盛和(琉球大) / 堀山 貴史(埼玉大学)
委員長氏名（英）	Mitsuru Hiraki(Renesas) / Morikazu Nakamura(Univ. of Ryukyus) / Takashi Horiyama(Saitama University)
副委員長氏名（和）	岡崎 秀晃(湘南工科大) / 髙井 重昌(阪大)
副委員長氏名（英）	Hideaki Okazaki(Shonan Inst. of Tech.) / Shigemasa Takai(Osaka Univ.)
幹事氏名（和）	山口 基(ルネサス エレクトロニクス) / 橘 俊宏(湘南工科大) / 豊嶋 伊知郎(東芝) / 金澤 尚史(阪大) / 岡本 吉央(電気通信大学) / 川原 純(奈良先端科学技術大学院大学) / 河村 彰星(東京大学)
幹事氏名（英）	Motoi Yamaguchi(Renesas) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Ichiro Toyoshima(Toshiba) / Takahumi Kanazawa(Osaka Univ.) / Yoshio Okamoto(The University of Electro-Communications) / Jun Kawahara(Nara Institute of Science and Technology) / Akitoshi Kawamura(University of Tokyo)
幹事補佐氏名（和）	中村 洋平(日立) / 金城 秀樹(沖縄大)
幹事補佐氏名（英）	Yohei Nakamura(Hitachi) / Hideki Kinjo(Okinawa Univ.)

講演論文情報詳細
申込み研究会	Technical Committee on Circuits and Systems / Technical Committee on Mathematical Systems Science and its applications / Special Interest Group on Algorithms
本文の言語	JPN
タイトル（和）	［招待講演］線形時相論理仕様に対するスーパバイザ制御
サブタイトル（和）
タイトル（英）	[Invited Talk] Supervisory Control with Linear Temporal Logic Specifications
サブタイトル（和）
キーワード(1)（和/英）
第 1 著者 氏名（和/英）	榊原 愛海 / Ami Sakakibara
第 1 著者 所属（和/英）	大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.)
第 2 著者 氏名（和/英）	潮 俊光 / Toshimitsu Ushio
第 2 著者 所属（和/英）	大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.)
発表年月日	2017-11-16
資料番号	CAS2017-50,MSS2017-34
巻番号（vol）	vol.117
号番号（no）	CAS-300,MSS-301
ページ範囲	pp.63-66(CAS), pp.63-66(MSS),
ページ数	4
発行日	2017-11-09 (CAS, MSS)