IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Concurrent Systems Technology

Workshop Date : 2008-08-04 - 2008-08-05 / Issue Date : 2008-07-28

CST2008-12
A Formula for Computing the Supremal Controllable and Opaque Sublanguage in Discrete Event Systems
Shigemasa Takai (Kyoto Inst. of Tech.), Yusuke Oka (Kyoto Univ.)
pp. 1 - 6

CST2008-13
Conflict Resolution and Stabilization in Modular State Feedback Control of Discrete Event Systems
Tasuku Inui, Toshimitsu Ushio (Osaka Univ.)
pp. 7 - 10

CST2008-14
On Petri-Net Based Check for Activity Diagrams of Device Drivers
Taro Yamada, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.)
pp. 11 - 16

CST2008-15
The Resolution of Trade-off between Power Consumption and Task Performance Using Elastic Task Model
Sayuri Terada, Toshimitsu Ushio (Osaka Univ.)
pp. 17 - 22

CST2008-16
Analysis of Communication Protocol using Net Model
Masahiro Ueda (TTDC), Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.)
pp. 23 - 28

CST2008-17
A Hybrid PSO and quasi-Newton Technique for Training of Feedforward Neural Networks
Hiroshi Ninomiya (Shonan Inst. of Tech.), Qi-Jun Zhang (Carleton Univ.)
pp. 29 - 34

CST2008-18
An Approach for Optimizing the Specifications of ΔΣ modulator Using Analog Behavioral Modeling
Yuji Okazaki (Shizuoka Univ.), Kohei Shinomiya (DENSO), Hideki Asai (Shizuoka Univ.)
pp. 35 - 40

CST2008-19
A Java/PNML Verification Framework for Concurrent System Design based on an Extended Petri Net.
Shin'nosuke Yamaguchi (KIT)
pp. 41 - 46

CST2008-20
A Parallel Simulated Annealing with Cooperative Group Searching
Masashi Murayama, Morikazu Nakamura (Univ. of the Ryukyus)
pp. 47 - 52

CST2008-21
On solution to the state equation for autonomous continuous Petri nets
Tadashi Matsumoto, Masahiro Osogami (Fukui Univ. of Tech.), Seiichiro Moro (Univ. of Fukui)
pp. 53 - 58

CST2008-22
Control Synthesis Problems for State Feedback in Discrete Event Systems
Qiying Hu (Fudan Univ.), Wuyi Yue (Konan Univ.), Chen Xu (Shenzhen Univ.)
pp. 59 - 64

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan