Thu, Jun 28 PM 13:00 - 14:40 |
(1) |
13:00-13:25 |
Cooperation and Its Effect in Parallel Tabu Search |
Hidekazu Naka, Masashi Murayama, Morikazu Nakamura (Univ. of the Ryukyus) |
(2) |
13:25-13:50 |
Improvement of Dynamic Time Step Synchronization Method for Moving Object Simulation |
Masashi Shiraishi, Atsuo Ozaki, Shusuke Watanabe, Masakazu Furuichi (Mitsubishi Electric Corp.) |
(3) |
13:50-14:15 |
Application of Dynamic Time Step Synchronization Method to Road Traffic Simulation |
Atsuo Ozaki (Mitsubishi Electric Corp.), Kazutaka Matsushita (Mitsubishi Electric Information Systems Corp.), Masashi Shiraishi, Shusuke Watanabe, Masakazu Furuichi, Hiroyuki Sato (Mitsubishi Electric Corp.) |
(4) |
14:15-14:40 |
A Study on Intra-Shaft Operating Method for Multi-Car Elevators |
Hiromichi Suzuki (Fujitec) |
Thu, Jun 28 PM Invited Talk 17:00 - 17:50 |
(5) |
17:00-17:50 |
[Invited Talk]
Function and Performance Verification Methods for embedded systems |
Yuichi Nakamura (NEC) |
Fri, Jun 29 AM 09:00 - 11:05 |
(6) |
09:00-09:25 |
Introduction to control of discrete event systems based on a language measure |
Tatsushi Yamasaki (Setsunan Univ.) |
(7) |
09:25-09:50 |
Existence condition of priority based nondeterministic supervisory control |
Tasuku Inui, Toshimitsu Ushio (Osaka Univ.) |
(8) |
09:50-10:15 |
Analysis of a manufacturing system with stochastic demand |
Kenichi Nakashima (OIT), Takeshi Itoh (Tohoku Univ.) |
(9) |
10:15-10:40 |
An algorithm to enumerate all the elementary T-invariants of auto-generated Petri nets |
Ryo Yamaguchi, Ryosuke Murakami, Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
(10) |
10:40-11:05 |
Improving Firing Sequence Search for the Marking Construction Problem of Petri Net |
Toshihisa Ishii, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |