| Technical Committee on Concurrent Systems Technology (CST) |
|
|
| Chair |
|
Naoshi Uchihira |
| Vice Chair |
|
Katsu Kii |
| Secretary |
|
Satoshi Taoka, Morikazu Nakamura |
| Assistant |
|
Shingo yamaguchi |
|
| Conference Date |
Thu, Jun 1, 2006 13:40 - 17:30
Fri, Jun 2, 2006 09:50 - 11:40 |
| Topics |
Concurrent Systems, Discrete Event Systems and Hybrid Systems |
| Conference Place |
Ishikawa High-Tech exchange center in Ishikawa Science Park |
| Address |
zip code: 923-1211, 2-1 Asahidai, Tatsunokuchi town, Noumi, Ishikawa Prefecture, JAPAN, Ishikawa High-Tech Exchange Center |
| Transportation Guide |
http://www.ishikawa-sp.com/ispEng/access/index.html |
Contact
Person |
Prof. Kunihiko HIRAISHI |
| Sponsors |
This conference is co-sponsored by the SICE DES.
|
| Announcement |
Please join us for an opening reception (after special invited speach). |
Thu, Jun 1 PM
13:40 - 17:30 |
| (1) |
13:40-14:05 |
The market-oriented programmming for distributed energy management system in consideration of CO2 emissions |
Koji Yakire, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.), Kazuyuki Mori, Shoichi Kitamura, Takaya Yamamoto (Mitubishi Electric) |
| (2) |
14:05-14:30 |
An Improvement of Mixed Logical Dynamical System Representation |
Sunseong Choe, Kunihiko Hiraishi (JAIST) |
| |
14:30-14:40 |
Break ( 10 min. ) |
| (3) |
14:40-15:05 |
Concurrent Production Engineering System by Discrete Simulation and CAD |
Jaber E. Abu Qudeiri, Mohamed Anouar Jamali, Hidehiko Yamamoto (Gifu Univ.) |
| (4) |
15:05-15:30 |
Reachability analysis of probabilistic linear hybrid automaton based on predicate abstraction and its refinement |
Takaaki Kato (Kanazawa Univ.), Yosuke Mutsuda (NEC), Satoshi Yamane (Kanazawa Univ.) |
| |
15:30-15:40 |
Break ( 10 min. ) |
| (5) |
15:40-16:20 |
[Tutorial Lecture]
SICE Embedded and Hybrid Systems(EHS) Research Committee for Enhancing Contribution to Industrial Competitiveness |
Motohisa Funabashi (Hitachi, Ltd.) |
| (6) |
16:20-16:50 |
[Invited Talk]
StarBED: The Aim of Emulating a Town |
Yoichi Shinoda, Yasuo Tan (JAIST/NICT) |
| |
16:50-17:00 |
Movement time ( 10 min. ) |
| (7) |
17:00-17:30 |
A tour of Hokuriku IT Open Laboratory |
Fri, Jun 2 AM
09:50 - 11:40 |
| (8) |
09:50-10:15 |
Experiment-based Evaluation of Algorithms for the Legal Firing Sequence Problem of Petri Nets with Inhibitor Arcs |
Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
| (9) |
10:15-10:40 |
Siphon-Trap-Based Algorithms for Computation of Petri Net Invariants with Supports Containing a Specified Place |
Tomohiro Chikada, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
| |
10:40-10:50 |
Break ( 10 min. ) |
| (10) |
10:50-11:15 |
Reachability Problem of Marked Graphs with Batch Processing Arcs |
Nami Mizuno (DENSOTECHNO), Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
| (11) |
11:15-11:40 |
A Java/PNML Verification Framework for Concurrent System Design based on an Extended Petri Net |
Shin'nosuke Yamaguchi (KIT), Katsumi Wasaki, Yasunari Shidama (Shinshu 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:05:00
|