IEICE Technical Report

Print edition: ISSN 0913-5685

Concurrent Systems Technology

Workshop Date : 2006-06-01 / Issue Date : 2006-05-25

CST2006-1
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)
pp. 1 - 6

CST2006-2
An Improvement of Mixed Logical Dynamical System Representation
Sunseong Choe, Kunihiko Hiraishi (JAIST)
pp. 7 - 11

CST2006-3
Concurrent Production Engineering System by Discrete Simulation and CAD
Jaber E. Abu Qudeiri, Mohamed Anouar Jamali, Hidehiko Yamamoto (Gifu Univ.)
pp. 13 - 18

CST2006-4
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.)
pp. 19 - 24

CST2006-5
[Tutorial Lecture] SICE Embedded and Hybrid Systems(EHS) Research Committee for Enhancing Contribution to Industrial Competitiveness
Motohisa Funabashi (Hitachi, Ltd.)
pp. 25 - 28

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