SCI '22

第66回 システム制御情報学会 研究発表講演会
TS07
社会システムの制御・計画・検証 (1)
5月20日(金) 9:15-10:30 @第1室
(セッション番号 311)
司会
  1. 小島 千昭 (富山県立大学)
招待講演 (講演番号 311-1) (講演登録番号 3007)
9:15
- 10:00
脱炭素社会におけるグリーンプロシューマーモデルの構築
  1. 牛房 義明 (北九州市立大学),
  2. 山本 周平 (九州工業大学)
(講演番号 311-2) (講演登録番号 3058)
10:00
- 10:15
混雑緩和のためのインセンティブ/ナッジによる制御
  1. 浅中 莉子 ,
  2. 井上 正樹 ,
  3. 本間 俊貴 (慶應義塾大学)
(講演番号 311-3) (講演登録番号 3168)
10:15
- 10:30
カルマンフィルタに基づく状態推定を用いた人とロボットによる協調運搬システムのアシスト制御について
  1. 影山 侑輝 ,
  2. 大倉 裕貴 ,
  3. 小島 千昭 (富山県立大学)
TS07
社会システムの制御・計画・検証 (2)
5月20日(金) 11:00-12:15 @第1室
(セッション番号 321)
司会
  1. 榊原 一紀 (富山県立大学)
(講演番号 321-1) (講演登録番号 3189)
11:00
- 11:15
非線形ODEモデルに基づく地中配電線を用いたロードヒーティングシステムのモデリング
  1. 武藤 佑弥 ,
  2. 小島 千昭 ,
  3. 大倉 裕貴 (富山県立大学)
(講演番号 321-2) (講演登録番号 3032)
11:15
- 11:30
信号時相論理仕様付きクープマン・モデル予測制御の温水供給システムへの適用
  1. 宮下 凌 ,
  2. 薄 良彦 ,
  3. 石亀 篤司 (大阪府立大学)
(講演番号 321-3) (講演登録番号 3027)
11:30
- 11:45
到達可能性解析と定理証明を用いたハイブリッドシステムの形式的検証の検討
  1. 浅井 智也 ,
  2. 中村 正樹 ,
  3. 榊原 一紀 (富山県立大学)
(講演番号 321-4) (講演登録番号 3038)
11:45
- 12:00
自動運転システムのSimulinkによるモデル化とSpaceExによる形式的検証
  1. 甲斐 雅也 ,
  2. 中村 正樹 ,
  3. 榊原 一紀 (富山県立大学)
(講演番号 321-5) (講演登録番号 3167)
12:00
- 12:15
変動する電気価格に対応する運搬経路問題の研究
  1. 前田 千尋 ,
  2. 植田 和樹 ,
  3. 森田 浩 (大阪大学)
「TS07 社会システムの制御・計画・検証」 の情報を共有
→