Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS |
2007-06-28 13:00 |
Okinawa |
|
Cooperation and Its Effect in Parallel Tabu Search Hidekazu Naka, Masashi Murayama, Morikazu Nakamura (Univ. of the Ryukyus) CST2007-1 |
This paper presents a new cooperation method in parallel tabu search.
In our parallel tabu search, multiple tabu proce... [more] |
CST2007-1 pp.1-6 |
MSS |
2007-06-28 13:25 |
Okinawa |
|
Improvement of Dynamic Time Step Synchronization Method for Moving Object Simulation Masashi Shiraishi, Atsuo Ozaki, Shusuke Watanabe, Masakazu Furuichi (Mitsubishi Electric Corp.) CST2007-2 |
We have already proposed DTSS (event aware Dynamic Time Step Synchronization method) for speeding up moving objects (MOs... [more] |
CST2007-2 pp.7-12 |
MSS |
2007-06-28 13:50 |
Okinawa |
|
Application of Dynamic Time Step Synchronization Method to Road Traffic Simulation Atsuo Ozaki (Mitsubishi Electric Corp.), Kazutaka Matsushita (Mitsubishi Electric Information Systems Corp.), Masashi Shiraishi, Shusuke Watanabe, Masakazu Furuichi, Hiroyuki Sato (Mitsubishi Electric Corp.) CST2007-3 |
In this paper, we propose DTSS-RT (event aware Dynamic Time Step Synchronization method for Road Traffic simulation), wh... [more] |
CST2007-3 pp.13-18 |
MSS |
2007-06-28 14:15 |
Okinawa |
|
A Study on Intra-Shaft Operating Method for Multi-Car Elevators Hiromichi Suzuki (Fujitec) CST2007-4 |
Multi-car elevators (MCE) in which plural cars can run
in a single shaft separately
are expected to meet increasing t... [more] |
CST2007-4 pp.19-24 |
MSS |
2007-06-28 17:00 |
Okinawa |
|
[Invited Talk]
Function and Performance Verification Methods for embedded systems Yuichi Nakamura (NEC) CST2007-5 |
Recently, The complexity of the embedded system which is used for digital TVs or mobile phones, is increasing. According... [more] |
CST2007-5 pp.25-30 |
MSS |
2007-06-29 09:00 |
Okinawa |
|
Introduction to control of discrete event systems based on a language measure Tatsushi Yamasaki (Setsunan Univ.) CST2007-6 |
Recently, Ray {\it et al.} introduced a concept of a measure, called a language measure for formal languages, and they p... [more] |
CST2007-6 pp.1-6 |
MSS |
2007-06-29 09:25 |
Okinawa |
|
Existence condition of priority based nondeterministic supervisory control Tasuku Inui, Toshimitsu Ushio (Osaka Univ.) CST2007-7 |
Supervisory control provides a general framework of logical control of discrete event systems. A supervisor assigns a s... [more] |
CST2007-7 pp.7-12 |
MSS |
2007-06-29 09:50 |
Okinawa |
|
Analysis of a manufacturing system with stochastic demand Kenichi Nakashima (OIT), Takeshi Itoh (Tohoku Univ.) CST2007-8 |
[more] |
CST2007-8 pp.13-14 |
MSS |
2007-06-29 10:15 |
Okinawa |
|
An algorithm to enumerate all the elementary T-invariants of auto-generated Petri nets Ryo Yamaguchi, Ryosuke Murakami, Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) CST2007-9 |
In this paper, we propose an algorithm to enumerate all the elementary
T-invariants of auto-generated Petri nets that ... [more] |
CST2007-9 pp.15-20 |
MSS |
2007-06-29 10:40 |
Okinawa |
|
Improving Firing Sequence Search for the Marking Construction Problem of Petri Net Toshihisa Ishii, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) CST2007-10 |
The marking construction probelm (MCP) of Petri nets is defined as
follows.
``Given a Petri net $N$, an initial marki... [more] |
CST2007-10 pp.21-26 |