| Technical Committee on Concurrent Systems Technology (CST) |
|
|
| Chair |
|
Qi-Wei Ge (Yamaguchi Univ.) |
| Vice Chair |
|
Toshimitsu Ushio (Osaka Univ.) |
| Secretary |
|
Morikazu Nakamura (Univ. of Ryukyus), Shingo yamaguchi (Yamaguchi Univ.) |
| Assistant |
|
Tatsushi Yamasaki (Setsunan Univ.) |
|
| Conference Date |
Mon, Aug 4, 2008 13:00 - 16:50
Tue, Aug 5, 2008 09:30 - 11:35 |
| Topics |
Concurrent Systems |
| Conference Place |
Shizuoka University (Hamamatsu Campus), Faculty of Engineering |
| Transportation Guide |
http://www.eng.shizuoka.ac.jp/english/access.html |
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) |
Mon, Aug 4 PM CST(1)
13:00 - 14:40 |
| (1) |
13:00-13:25 |
A Formula for Computing the Supremal Controllable and Opaque Sublanguage in Discrete Event Systems  CST2008-12 |
Shigemasa Takai (Kyoto Inst. of Tech.), Yusuke Oka (Kyoto Univ.) |
| (2) |
13:25-13:50 |
Conflict Resolution and Stabilization in Modular State Feedback Control of Discrete Event Systems CST2008-13 |
Tasuku Inui, Toshimitsu Ushio (Osaka Univ.) |
| (3) |
13:50-14:15 |
On Petri-Net Based Check for Activity Diagrams of Device Drivers CST2008-14 |
Taro Yamada, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.) |
| (4) |
14:15-14:40 |
The Resolution of Trade-off between Power Consumption and Task Performance Using Elastic Task Model CST2008-15 |
Sayuri Terada, Toshimitsu Ushio (Osaka Univ.) |
| |
14:40-15:05 |
Break ( 25 min. ) |
Mon, Aug 4 PM CST(2)
15:05 - 15:55 |
| (5) |
15:05-15:30 |
Analysis of Communication Protocol using Net Model CST2008-16 |
Masahiro Ueda (TTDC), Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
| (6) |
15:30-15:55 |
A Hybrid PSO and quasi-Newton Technique for Training of Feedforward Neural Networks CST2008-17 |
Hiroshi Ninomiya (Shonan Inst. of Tech.), Qi-Jun Zhang (Carleton Univ.) |
| |
15:55-16:00 |
Break ( 5 min. ) |
Mon, Aug 4 PM Invited Talk
16:00 - 16:50 |
| (7) |
16:00-16:50 |
[Invited Talk]
* |
Hideki Asai (Shizuoka Univ.) |
Tue, Aug 5 AM CST(3)
09:30 - 11:35 |
| (8) |
09:30-09:55 |
An Approach for Optimizing the Specifications of ΔΣ modulator Using Analog Behavioral Modeling CST2008-18 |
Yuji Okazaki (Shizuoka Univ.), Kohei Shinomiya (DENSO), Hideki Asai (Shizuoka Univ.) |
| (9) |
09:55-10:20 |
A Java/PNML Verification Framework for Concurrent System Design based on an Extended Petri Net. CST2008-19 |
Shin'nosuke Yamaguchi (KIT) |
| (10) |
10:20-10:45 |
A Parallel Simulated Annealing with Cooperative Group Searching CST2008-20 |
Masashi Murayama, Morikazu Nakamura (Univ. of the Ryukyus) |
| (11) |
10:45-11:10 |
On solution to the state equation for autonomous continuous Petri nets CST2008-21 |
Tadashi Matsumoto, Masahiro Osogami (Fukui Univ. of Tech.), Seiichiro Moro (Univ. of Fukui) |
| (12) |
11:10-11:35 |
Control Synthesis Problems for State Feedback in Discrete Event Systems CST2008-22 |
Qiying Hu (Fudan Univ.), Wuyi Yue (Konan Univ.), Chen Xu (Shenzhen 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 |
| Announcement |
Latest information will be presented on the homepage:
http://www.ieice.org/~cst/ |
Last modified: 2008-08-02 00:17:32
|