| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS, MSS (共催) |
2022-01-11 13:15 |
長崎 | 長崎県建設総合会館 （ハイブリッド開催，主：現地開催，副：オンライン開催） |
事象と状態の観測に基づく時間付き非決定離散事象システムの\双模倣制御 ○アウス ムヒーブ・高井重昌（阪大）  MSS2021-35 SS2021-22 |
本稿では，時間付き非決定離散事象システムとしてモデル化されたプラントと仕様に対するスーパバイザ制御問題を考える．まず，制... [more] | MSS2021-35 SS2021-22 pp.23-28 |
| MSS, SS (共催) |
2019-01-15 13:05 |
沖縄 | 沖縄県青年会館 | スーパバイザ制御のためのLTL[F]を用いた制御仕様記述の検討 ○榊原愛海・潮 俊光（阪大） MSS2018-58 SS2018-29 |
LTL[$ mathcal{F} $]は線形時相論理を定量的に拡張した論理体系であり，システムの振舞いがどの程度仕様を満... [more] | MSS2018-58 SS2018-29 pp.25-28 |
| SS, MSS (共催) |
2018-01-19 14:40 |
広島 | 広島市立大学サテライトキャンパス | オブザーバを用いた非決定離散事象システムの分散型模倣制御 ○大久保 樹・高井重昌（阪大） MSS2017-70 SS2017-57 |
本稿では，非決定離散事象システムとその制御仕様がともに複数のサブシステムの同期合成により構成される場合の模倣制御問題を考... [more] | MSS2017-70 SS2017-57 pp.133-138 |
| MSS | 2016-03-04 15:30 |
山口 | 海峡メッセ下関 | 離散事象システムにおける部分観測のもとでの状態アトラクション制御 ○沢崎遼馬・高井重昌（阪大） MSS2015-86 |
離散事象システムにおける部分観測のもとでの状態アトラクション制御に関する従来の研究では，不可観測事象は不可制御であるとい... [more] | MSS2015-86 pp.103-106 |
| SS, MSS (共催) |
2016-01-25 10:55 |
石川 | しいのき迎賓館 セミナールームB | 非決定離散事象システムの双模倣制御に関する一考察 ○串 直紀・高井重昌（阪大） MSS2015-38 SS2015-47 |
非決定離散事象システムの双模倣制御に関する従来研究においては，スーパバイザはその状態集合の部分集合であるマーク状態集合を... [more] | MSS2015-38 SS2015-47 pp.19-22 |
| SS, MSS (共催) |
2016-01-25 11:20 |
石川 | しいのき迎賓館 セミナールームB | 条件付き判断を用いた分散スーパバイザの許容性の改善 ○吉田 翔・高井重昌（阪大） MSS2015-39 SS2015-48 |
離散事象システムのスーパバイザ制御において，制御されたシステムの生成言語を制御仕様として与えられた言語に必ずしも一致させ... [more] | MSS2015-39 SS2015-48 pp.23-28 |
| MSS | 2015-03-05 13:25 |
石川 | ITビジネスプラザ武蔵 | 状態遷移モデルの学習に基づく最適LLPスーパバイザの構成 ○梅本 聖・山崎達志（摂南大） MSS2014-92 |
複数のサブシステムから構成される離散事象システムに対し，著者らは強化学習を用いた最適LLPスーパバイザ制御を提案している... [more] | MSS2014-92 pp.7-12 |
| MSS, SS (共催) |
2015-01-27 09:20 |
鳥取 | ブランナールみささ | 部分観測におけるMaxSATソルバを用いたスーパバイザ合成手法 ○廣田 樹・結縁祥治（名大）・東道徹也（デンソー） MSS2014-82 SS2014-46 |
部分観測のもとでの離散事象システムのスーパバイザ構成アルゴリズムは指数時間であることが知られて いる．部分観測のもとで... [more] |
MSS2014-82 SS2014-46 pp.79-84 |
| CAS, MSS (共催) IPSJ-AL (連催) [詳細] |
2014-11-20 16:50 |
沖縄 | 大濱信泉記念館(石垣島) | 事象と状態の観測に基づく非決定離散事象システムの分散型模倣制御 ○星野正法・高井重昌（阪大） CAS2014-98 MSS2014-62 |
本稿では，非決定オートマトンによりモデル化される制御対象と制御仕様に対して，分散スーパバイザを用いた模倣制御問題について... [more] | CAS2014-98 MSS2014-62 pp.85-90 |
| CAS, MSS (共催) IPSJ-AL (連催) [詳細] |
2014-11-21 13:30 |
沖縄 | 大濱信泉記念館(石垣島) | 強化学習を用いた離散事象システムの最適LLPスーパバイザ制御について ○梅本 聖・山崎達志（摂南大） CAS2014-102 MSS2014-66 |
大規模で時変する離散事象システムに対して，先読み戦略を用いて対処するLLP(Limited Lookahead Poli... [more] | CAS2014-102 MSS2014-66 pp.135-140 |
| SS | 2014-10-24 10:30 |
高知 | 高知市文化プラザかるぽーと | 離散事象システムにおけるMaxSATソルバを用いた最大可制御部分仕様の導出 ○廣田 樹・結縁祥治（名大）・東道徹也（デンソー） SS2014-31 |
離散事象システム（DES）とは，事象の離散的な生起により状態が遷移するシステムの総称である．離散事象システムでは，システ... [more] | SS2014-31 pp.35-40 |
| MSS | 2014-03-06 13:30 |
愛媛 | 愛媛大学工学部 | 離散事象システムのリスク考慮型最適スーパバイザ制御 ○山崎達志・入江太志・松原 伸（摂南大） MSS2013-75 |
離散事象システムの最適スーパバイザ制御においては，期待コストや最悪ケースにおけるコストを主な評価指標としてスーパバイザの... [more] | MSS2013-75 pp.1-6 |
| MSS | 2013-01-23 10:40 |
大阪 | 大阪国際会議場 | コンカレント同期合成でモデル化された離散事象システムの可観測性解析 ○王 龍江・高井重昌（阪大） MSS2012-52 |
本論文ではコンカレント同期合成でモデル化された離散事象システムのスーパバイザ制御について考察する．対象システムと制御仕様... [more] | MSS2012-52 pp.39-44 |
| VLD, CAS, MSS, SIP (共催) |
2012-07-03 16:10 |
京都 | 京都リサーチパーク | 時間付き離散事象システムにおける分散スーパバイザ構成のための部分言語の計算方法 ○野村雅司・高井重昌（阪大） CAS2012-28 VLD2012-38 SIP2012-60 MSS2012-28 |
本稿では，時間付き離散事象システムにおける分散スーパバイザ制御について考察する．ここで，可制御事象の許可に関するローカル... [more] | CAS2012-28 VLD2012-38 SIP2012-60 MSS2012-28 pp.149-154 |
| MSS | 2012-03-08 13:55 |
東京 | JAIST東京サテライト | 事象と状態の観測に基づく非決定離散事象システムの双模倣制御 ○木村克行・野村雅司・高井重昌（阪大） MSS2011-73 |
本稿では，非決定オートマトンでモデル化された制御対象と制御仕様に対して，スーパバイザ制御されたシステムと制御仕様が双模倣... [more] | MSS2011-73 pp.5-10 |
| CAS, MSS (共催) |
2011-11-18 12:05 |
山口 | 山口大学大学会館 | 強制可能事象集合の分割を用いた時間付き離散事象システムにおける分散スーパバイザ制御 ○野村雅司・高井重昌（阪大） CAS2011-80 MSS2011-49 |
時間付き離散事象システムの分散スーパバイザ制御において，各ローカルスーパバザは，与えられた制御仕様が満足されるように，自... [more] | CAS2011-80 MSS2011-49 pp.95-100 |
| MSS, CAS, VLD, SIP (共催) |
2011-07-01 10:20 |
沖縄 | 沖縄県青年会館 | リスクとコストを考慮した離散事象システムの最適スーパバイザ制御 ○梶原弘治・山崎達志（摂南大） CAS2011-21 VLD2011-28 SIP2011-50 MSS2011-21 |
本報告では，離散事象システムに対して新たにリスクという指標を導入し，リスクとコストを考慮したスーパバイザの設計手法を提案... [more] | CAS2011-21 VLD2011-28 SIP2011-50 MSS2011-21 pp.121-126 |
| MSS | 2011-01-21 10:20 |
山口 | 海峡メッセ下関 | 部分観測Mealyオートマトンのスーパバイザ制御の余代数による解析 ○神志那 純・潮 俊光（阪大）・木下佳樹（産総研） CST2010-71 |
余代数および余帰納的定義を用いて不可観測事象を出力事象にもつMealyオートマトンのスーパバイザ制御問題を定式化する．2... [more] | CST2010-71 pp.65-70 |
| MSS, CAS (共催) |
2010-11-19 16:35 |
大阪 | 関西大学 | 時間付き離散事象システムにおける分散スーパバイザ制御 ○野村雅司・高井重昌（阪大） CAS2010-83 CST2010-56 |
時間付き離散事象システムのスーパバイザ制御において，スーパバイザは，与えられた制御仕様が満足されるように，その生起を許可... [more] | CAS2010-83 CST2010-56 pp.101-106 |
| MSS | 2010-08-02 15:30 |
石川 | 金沢学院大 サテライト教室 | Mealyオートマトンのスーパバイザ制御の余代数による解析 ○神志那 純・潮 俊光（阪大）・木下佳樹（産総研） CST2010-35 |
本報告では，Mealy オートマトンでモデル化された離散事象システムのスーパバ イザ制御の余代数的解析について検討する... [more] |
CST2010-35 pp.19-24 |
[研究会発表申込システムのトップページに戻る]