| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, SS (共催) |
2019-01-15 13:05 |
沖縄 | 沖縄県青年会館 | スーパバイザ制御のためのLTL[F]を用いた制御仕様記述の検討 ○榊原愛海・潮 俊光（阪大）  MSS2018-58 SS2018-29 |
LTL[$ mathcal{F} $]は線形時相論理を定量的に拡張した論理体系であり，システムの振舞いがどの程度仕様を満... [more] | MSS2018-58 SS2018-29 pp.25-28 |
| CAS, MSS (共催) IPSJ-AL (連催) [詳細] |
2017-11-16 17:00 |
東京 | 日立中央研究所 | ［招待講演］線形時相論理仕様に対するスーパバイザ制御 ○榊原愛海・潮 俊光（阪大） CAS2017-50 MSS2017-34 |
[more] | CAS2017-50 MSS2017-34 pp.63-66 |
| SS, MSS (共催) |
2016-01-26 09:40 |
石川 | しいのき迎賓館 セミナールームB | 重み付きオートマトンに対する線形時相論理制約の下での最適制御 榊原愛海・Sasinee Pruekprasert・○潮 俊光（阪大） MSS2015-54 SS2015-63 |
本報告では，遷移に重みが与えられた重み付きオートマトンを制御対象とする． 制御対象の事象には，可制御事象と不可制御事象... [more] |
MSS2015-54 SS2015-63 pp.109-112 |
[研究会発表申込システムのトップページに戻る]