| Technical Committee on Concurrent Systems Technology (CST) |
|
|
| Chair |
|
Katsu Kii |
| Vice Chair |
|
Toshimitsu Ushio |
| Secretary |
|
Morikazu Nakamura, Shingo yamaguchi |
| Assistant |
|
Tatsushi Yamasaki |
|
| Conference Date |
Thu, Jun 28, 2007 13:00 - 17:50
Fri, Jun 29, 2007 09:00 - 11:05 |
| Topics |
Concurrent Systems, Discrete Event Systems and Hybrid Systems |
| Conference Place |
|
| Address |
2-9-15, Minato-Machi, Naha-shi, Okinawa, 900-0001 Japan. |
| Transportation Guide |
http://www.fukushi.kampo.japanpost.jp/shisetsu/recreation/5472naha/index.html |
Contact
Person |
Morikazu NAKAMURA, Univ. of the Ryukyus
098-862-4740 |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Thu, Jun 28 PM
13:00 - 14:40 |
| (1) |
13:00-13:25 |
Cooperation and Its Effect in Parallel Tabu Search  CST2007-1 |
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 CST2007-2 |
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 CST2007-3 |
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 CST2007-4 |
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 CST2007-5 |
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 CST2007-6 |
Tatsushi Yamasaki (Setsunan Univ.) |
| (7) |
09:25-09:50 |
Existence condition of priority based nondeterministic supervisory control CST2007-7 |
Tasuku Inui, Toshimitsu Ushio (Osaka Univ.) |
| (8) |
09:50-10:15 |
Analysis of a manufacturing system with stochastic demand CST2007-8 |
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 CST2007-9 |
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 CST2007-10 |
Toshihisa Ishii, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
| Contact Address and Latest Schedule Information |
| CST |
Technical Committee on Concurrent Systems Technology (CST) |
| Contact Address |
Morikazu NAKAMURA（Dept. of Infomation Engineering, University of the Ryukyus)
TEL 098-895-8715, FAX 098-895-8727
E- :      ie u-r k |
Last modified: 2007-05-14 20:58:05
|