| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev MSS Conf / Next MSS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Concurrent Systems Technology (CST) Chair: Naoshi Uchihira Vice Chair: Katsu Kii Secretary: Satoshi Taoka, Morikazu Nakamura Assistant: Shingo yamaguchi DATE: Thu, Jun 1, 2006 13:40 - 17:30 Fri, Jun 2, 2006 09:50 - 11:40 PLACE: Ishikawa High-Tech exchange center in Ishikawa Science Park(zip code: 923-1211, 2-1 Asahidai, Tatsunokuchi town, Noumi, Ishikawa Prefecture, JAPAN, Ishikawa High-Tech Exchange Center. http://www.ishikawa-sp.com/ispEng/access/index.html. Prof. Kunihiko HIRAISHI) TOPICS: Concurrent Systems, Discrete Event Systems and Hybrid Systems ---------------------------------------- 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) ----- 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.) ----- 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) ----- 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.) ----- 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.) # CONFERENCE SPONSORS: - This conference is co-sponsored by the SICE DES. # CONFERENCE ANNOUNCEMENT: - Please join us for an opening reception (after special invited speach). === Technical Committee on Concurrent Systems Technology (CST) === # SECRETARY: Satoshi TAOKA（Infomation Engineering, Graduate School of Engineering, Hiroshima University) TEL 082-424-7666, FAX 082-422-7028 E-mail:    info ts     -u Last modified: 2006-05-30 12:05:00 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
| Go Top | Go Back | Prev MSS Conf / Next MSS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]