| Technical Committee on Concurrent Systems Technology (CST) |
|
|
| Chair |
|
Toshimitsu Ushio (Osaka Univ.) |
| Vice Chair |
|
Kunihiko Hiraishi (JAIST) |
| Secretary |
|
Shingo yamaguchi (Yamaguchi Univ.), Masaki Nakamura (Kanazawa Univ.) |
| Assistant |
|
Tatsushi Yamasaki (Setsunan Univ.) |
|
| Conference Date |
Wed, Jun 3, 2009 10:40 - 17:40
Thu, Jun 4, 2009 09:00 - 16:05 |
| Topics |
Petri Net, Discrete Event System, etc. |
| Conference Place |
|
Contact
Person |
Dr. Tatsushi Yamasaki |
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) |
Wed, Jun 3 AM CST(1) DES(1)
10:40 - 11:55 |
| (1) |
10:40-11:05 |
Reinforcement Learning of the Supervisor based on the Worst-Case Behavior Under Partial Observation  CST2009-1 |
Kouji Kajiwara, Tatsushi Yamasaki (Setsunan Univ.) |
| |
- |
|
Wed, Jun 3 PM DES Invited Talk
13:00 - 13:50 |
| |
- |
|
Wed, Jun 3 PM CST(2)
14:00 - 15:15 |
| (2) |
14:00-14:25 |
Proposal of Priced probabilistic Timed Automaton with concept of Space, and its Application to Sensor Netwrok CST2009-2 |
Hiroshi Kamazawa, Satoshi Yamane (Kanazawa Univ.) |
| (3) |
14:25-14:50 |
Model checking of cooperated systems consisting of CPU and DRP CST2009-3 |
Shota Minami, Shingo Takinai, Satoshi Sekoguchi, Satoshi Yamane (Kanazawa Univ.) |
| (4) |
14:50-15:15 |
SAT and SMT Based Model Checking of Concurrent Systems CST2009-4 |
Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
Wed, Jun 3 PM DES(2)
15:25 - 16:40 |
| |
- |
|
Wed, Jun 3 PM Invited Talk
16:50 - 17:40 |
| (5) |
16:50-17:40 |
[Invited Talk]
Probabilic Timed CEGAR CST2009-5 |
Atsushi Morishita, Ryota Komagata, Satoshi Yamane (Kanazawa Univ.) |
Thu, Jun 4 AM DES(3)
09:00 - 10:15 |
| |
- |
|
Thu, Jun 4 AM CST(3)
10:25 - 11:40 |
| (6) |
10:25-10:50 |
On Reachability Analysis of Multi Agent Nets by Using Modular Petri Nets CST2009-6 |
Kyota Horiguchi, Toshiyuki Miyamoto (Osaka Univ.) |
| (7) |
10:50-11:15 |
Computation of the Supremal Controllable and Opaque Sublanguage for Discrete Event Systems with Observation Masks CST2009-7 |
Kozue Yorifuji (Kyoto Inst. of Tech.), Shigemasa Takai (Osaka Univ.) |
| (8) |
11:15-11:40 |
Design of Arbiter for Modular State Feedback Control of Discrete Event Systems CST2009-8 |
Tasuku Inui, Toshimitsu Ushio (Osaka Univ.), Masakazu Adachi, Noriyoshi Sano (Toyota CRDL) |
Thu, Jun 4 PM DES(4)
13:00 - 14:40 |
| |
- |
|
Thu, Jun 4 PM CST(4)
14:50 - 16:05 |
| (9) |
14:50-15:15 |
A Composition Rule under Behavioral Inheritance and Soundness for Workflow Nets Sharing Actions CST2009-9 |
Yuki Watanabe, Shingo Yamaguchi, Ryo Ikeda, Minoru Tanaka (Yamaguchi Univ.) |
| (10) |
15:15-15:40 |
Modeling and Analysis of Quantum Turing Machine by using Coloured Quantum Petri Nets CST2009-10 |
Shinsuke Ito (Graduate School, Aichi Pref. Univ.), Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
| (11) |
15:40-16:05 |
A Summary of CST Solution Competition 2007 and 2008 CST2009-11 |
Shingo Yamaguchi (Yamaguchi Univ.), Toshiyuki Miyamoto (Osaka Univ.), Naoshi Uchihira (Toshiba Co.), Qi-Wei Ge (Yamaguchi Univ.), Shinichi Honiden (NII) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| CST |
Technical Committee on Concurrent Systems Technology (CST) |
| Contact Address |
Shingo Yamaguchi（Graduate School of Science and Engineering, Yamaguchi University)
TEL: 0836-85-9510, FAX: 0836-85-9501
E- :  n    gu -u |
| Announcement |
Latest information will be presented on the homepage:
http://www.ieice.org/~cst/ |
Last modified: 2010-10-12 19:20:10
|