第41回「離散事象システム研究会」

主催:計測自動制御学会 システム・情報部門 企画:離散事象システム部会
併催:電子情報通信学会 コンカレント工学研究会


開催案内

下記のとおり研究会を企画いたしました。多数のご参加をお待ちしております。

テ ー マ:
*離散事象システム,ハイブリッドシステムの 解析・設計・制御に関する理論・応用 
*生産システム・情報システム・通信システム・シーケンス制御など における、システムの記述・論理の検証・性能評価・スケジューリング・シミュレーション・ソフトウエアツールなど
期  日:
2007年6月28日(木)14:50-16:55、29日(金)11:15-15:35
会  場:
那覇簡易保険レクセンター
[〒900-0001 沖縄県那覇市港町2-9-15 TEL 098-862-4740, FAX 098-862-4742]
(交通:那覇空港より系統番号120番、または124番へ乗車し『安謝橋』にて下車
バス停より那覇新港方面へ徒歩で約15分・タクシーにて約3分(約1.2キロ)『那覇バスターミナル前』
より系統番号101番に乗車し『ふ頭入口』にて下車 徒歩で約3分, 交通案内, バス時刻表(平和台安謝線)
参 加 費:
資料代(1500円(会員)、2000円(非会員))
参加申し込み:
会場へ直接お越しください。
お知らせ:
電子情報通信学会コンカレント工学研究会(CST)との併催になります。
CSTとDESの講演時間は重なりません。
    CSTのプログラムはこちらです。
28日のCSTの講演開始時刻は13:00となります。
プログラム:
6月28日(木)
14:50 - 15:15 拡張されたバッチ処理アーク付きペトリネットの解析について
○太田淳・辻孝吉(愛知県立大学)
15:15 - 15:40 Software Component Verification for Infinite State Models by means of Assumption Generation
○Petr Kucera・Kunihiko Hiraishi(Japan Advanced Institute of Science and Technology)
15:40 - 16:05連続鋼板処理プロセスのハイブリッドペトリネットによるモデル化とモデル予測制御
○小中英嗣・浅野高志・鈴木達也(名古屋大学)
16:05 - 16:30 内部バッファを考慮したmax-plus代数に基づく生産システムのモデリングと制御
○増田 士朗(首都大学東京)
16:30 - 16:55 ハイブリッドシステムに基づく人間行動モデルを用いた人間−機械協調システムの制御系設計
○奥田裕之・早川聡一郎・稲垣伸吉・鈴木達也(名古屋大学)
6月29日(金)
11:15 - 11:40 分権協調的生産ネットワークシステムの挙動表現モデルとその運用戦略の検証法
○高塚佳代子・児玉源光・冨田重幸(宮崎大学)
11:40 - 12:05 離散・連続ハイブリッドシミュレーションのための場面遷移ネットGUIシミュレータ の改良
○舘山武史・川田誠一・下村芳樹(首都大学東京)
12:05 - 12:30異常伝播情報を利用した離散事象システムの異常診断
○鍬下 優貴子・矢嶌智之・橋爪進・小野木克明(名古屋大学)
12:30 - 13:30 昼休憩
13:30 - 13:55事象駆動型制御系の分散型故障診断
〇小川英之・齋藤光生・稲垣伸吉・鈴木達也(名古屋大学)
13:55 - 14:20分散連携制御系のモデリングに関する考察
〇高橋宏治(東京工業大学)
14:20 - 14:45単脚ロボットの跳躍運動制御
成清辰生・川西通裕・渡邉裕樹(豊田工業大学)
14:45 - 15:10 シミュレーションを利用したネットワーク型生産システムのスケジューリング
〇太田剛・矢嶌智之・橋爪進・小野木克明(名古屋大学)
15:10 - 15:35 ラグランジュ緩和を用いたペトリネットの分解によるスケジューリング問題の解法
〇西竜志・島谷謙一・乾口雅弘(大阪大学)
問合せ先:
〒565-8531 大阪府豊中市待兼山町1-3
大阪大学 大学院基礎工学研究科 システム創成専攻 西竜志
電話(06)6850-6351,FAX(06)6850-6351
E-mail: nishi(at)sys.es.osaka-u.ac.jp

戻る