戻る
主催：計測自動制御学会 システム・情報部門 企画：離散事象システム部会
併催：電子情報通信学会 コンカレント工学研究会
下記のとおり研究会を企画いたしました。多数のご参加をお待ちしております。
| 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 | ラグランジュ緩和を用いたペトリネットの分解によるスケジューリング問題の解法 |
| 〇西竜志・島谷謙一・乾口雅弘（大阪大学） |