|
|
|
|
|
Technical Committee on Mathematical Systems Science and its Applications (MSS) (Searched in: 2006)
|
|
|
|
Search Results: Keywords 'from:2006-06-01 to:2006-06-01'
|
| [Go to Official MSS Homepage (Japanese)] |
| Search Results: Conference Papers |
| Conference Papers (Available on Advance Programs) (Sort by: Date Ascending) |
|
|
| Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
| MSS |
2006-06-01
13:40 |
Ishikawa |
Ishikawa Science Park |
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) |
[more] |
CST2006-1
pp.1-6 |
| MSS |
2006-06-01
14:05 |
Ishikawa |
Ishikawa Science Park |
An Improvement of Mixed Logical Dynamical System Representation
Sunseong Choe, Kunihiko Hiraishi (JAIST) |
[more] |
CST2006-2
pp.7-11 |
| MSS |
2006-06-01
14:40 |
Ishikawa |
Ishikawa Science Park |
Concurrent Production Engineering System by Discrete Simulation and CAD
Jaber E. Abu Qudeiri, Mohamed Anouar Jamali, Hidehiko Yamamoto (Gifu Univ.) |
in this paper we propose a Concurrent Production Engineering System (COPES) for the flexible transfer line (FTL) layout ... [more] |
CST2006-3
pp.13-18 |
| MSS |
2006-06-01
15:05 |
Ishikawa |
Ishikawa Science Park |
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.) |
As ubiquitous computing has progressed, systems are embedded in widespread environments. Then it is important to guarant... [more] |
CST2006-4
pp.19-24 |
| MSS |
2006-06-01
15:40 |
Ishikawa |
Ishikawa Science Park |
[Tutorial Lecture]
SICE Embedded and Hybrid Systems(EHS) Research Committee for Enhancing Contribution to Industrial Competitiveness
Motohisa Funabashi (Hitachi, Ltd.) |
Society of Instrument and Control Engineers (SICE) has chartered research activity which deals with embedded and hybrid ... [more] |
CST2006-5
pp.25-28 |
| MSS |
2006-06-01
16:20 |
Ishikawa |
Ishikawa Science Park |
[Invited Talk]
StarBED: The Aim of Emulating a Town
Yoichi Shinoda, Yasuo Tan (JAIST/NICT) |
[more] |
|
| MSS |
2006-06-02
09:50 |
Ishikawa |
Ishikawa Science Park |
Experiment-based Evaluation of Algorithms for the Legal Firing Sequence Problem of Petri Nets with Inhibitor Arcs
Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
[more] |
CST2006-6
pp.1-6 |
| MSS |
2006-06-02
10:15 |
Ishikawa |
Ishikawa Science Park |
Siphon-Trap-Based Algorithms for Computation of Petri Net Invariants with Supports Containing a Specified Place
Tomohiro Chikada, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
[more] |
CST2006-7
pp.7-12 |
| MSS |
2006-06-02
10:50 |
Ishikawa |
Ishikawa Science Park |
Reachability Problem of Marked Graphs with Batch Processing Arcs
Nami Mizuno (DENSOTECHNO), Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
[more] |
CST2006-8
pp.13-18 |
| MSS |
2006-06-02
11:15 |
Ishikawa |
Ishikawa Science Park |
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.) |
[more] |
CST2006-9
pp.19-24 |
|
|
|
|
|
[Return to Top Page]
[Return to IEICE Web Page]
|