| Technical Committee on Concurrent Systems Technology (CST) |
|
|
| Chair |
|
Naoshi Uchihira |
| Vice Chair |
|
Katsu Kii |
| Secretary |
|
Satoshi Taoka, Morikazu Nakamura |
| Assistant |
|
Shingo yamaguchi |
|
| Conference Date |
Tue, Jul 25, 2006 15:00 - 16:50
Wed, Jul 26, 2006 10:00 - 14:40 |
| Topics |
Concurrent Systems, Discrete Event Systems and Hybrid Systems |
| Conference Place |
Kyoto Institute of Technology |
| Address |
Kyouto-shi, Kyoto, Japan |
| Transportation Guide |
http://www.kit.ac.jp/english/09/09_030000.html |
Contact
Person |
Prof. Shigemasa Takai
075-724-7447 |
| Sponsors |
This conference is co-sponsored by the SICE DES.
|
| Announcement |
Please join us for an opening reception (after special invited speach). |
Tue, Jul 25 PM Special Invited Speach
15:00 - 16:50 |
| (1) |
15:00-15:50 |
[Invited Talk]
Compositional modeling and structured supervisory control of a bottling plant（口頭発表） |
Florian Wenck (Ruhr-Univ. Bochum) |
| |
15:50-16:00 |
Break ( 10 min. ) |
| (2) |
16:00-16:50 |
[Invited Talk]
Diagnosis of quantized systems by means of stochastic automata（口頭発表） |
Jan Lunze (Ruhr-Univ. Bochum) |
Wed, Jul 26 AM
10:00 - 14:40 |
| (3) |
10:00-10:25 |
An Initial Task Assignment Method for the Task Assignment ant Routing Problem |
Yusuke Morihiro, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.) |
| (4) |
10:25-10:50 |
An Optimal Share Transfer Problem on Secret Sharing Storage Systems |
Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.) |
| (5) |
10:50-11:15 |
Dynamic Scheduling for Multiprocessor Systems with Static Priority Lists |
Hironori Youhata, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.), Hirotoshi Tonou (Fujitsu TEN) |
| (6) |
11:15-11:40 |
A Study for classification of human behavior , using walking track data |
Ichiro Toyoshima, Toyokazu Itakura, Kanako Hattori, Takufumi Yoshida, Takashi Koiso (TOSHIBA) |
| |
11:40-13:00 |
Lunch Break ( 80 min. ) |
| (7) |
13:00-13:25 |
Cooperation based on Searching History in Parallel Tabu Search |
Hidekazu Naka, Morikazu Nakamura (Univ. of the Ryukyus) |
| (8) |
13:25-13:50 |
Development of strong probabilistic timed simulation verifier of probabilistic timed automata |
Satoshi Yamane, Hiroshi Kodera, Tsuneo Arai (Kanazawa Univ.) |
| (9) |
13:50-14:15 |
Decomposition of Timed Petri Nets for Optimal Firing Sequence Problems |
Ryota Maeno (Okayama Univ.), Tatsushi Nishi (Osaka Univ.), Masami Konishi (Okayama Univ.) |
| (10) |
14:15-14:40 |
On Computation Complexity of Worst Change Time and Performance Analysis for Abort Dynamic Changes of State Machine Workflow Nets |
Katsuaki Miyauchi, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) |
| Contact Address and Latest Schedule Information |
| CST |
Technical Committee on Concurrent Systems Technology (CST) |
| Contact Address |
Satoshi TAOKA（Infomation Engineering, Graduate School of Engineering, Hiroshima University)
TEL 082-424-7666, FAX 082-422-7028
E- :   info ts     -u |
Last modified: 2006-05-30 12:06:53
|