Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]
CST2010-57
CST solution competition 2010
-- Optimization of Multi-Car Elevator Controllers --
Masaki Nakamura (Kanazawa Univ.), Tatsushi Yamasaki (Setsunan Univ.), Shingo Yamaguchi (Yamaguchi Univ.), Toshiyuki Miyamoto (Osaka Univ.), Naoshi Uchihira (Toshiba Corp.)
pp. 1 - 4
CST2010-58
On Controlling MCE by Optimization of Shaft Controllers
Yasuwo Hasegawa, Hayato Niimura (Osaka Univ.)
pp. 5 - 8
CST2010-59
Application of Mark Flow Graph to Multi Car Elevator System
Kentaro Nakayama, Nguyen Quang Hung, Koji Takahashi (Tokyo Tech.)
pp. 9 - 12
CST2010-60
Generation of Performance Evaluation Function of MCE Group Controller by Grammatical Evolution
Yoshiya Ito, Hideyuki Sugiura, Tomoaki Takase, Hiroki Kato, Eisuke Kita (Nagoya Univ.)
pp. 13 - 16
CST2010-61
A Control of Multi-Car Elevators by Multiple Algorithms
Tsuyoshi Izumida, Kenji Inoue, Ryotaro Hayashi (JAIST)
pp. 17 - 20
CST2010-62
Suggestion for Control of Multi-Car Elevators Intending Rolls between shafts
Hidetomo Suzuki, Daiichi Sugiyama (Aichi Prefectural Grad.), Atsushi Ohta, Kohkichi Tsuji (Aichi Prefectural Univ.)
pp. 21 - 24
CST2010-63
Algorithm of a Controller for Multi-Car Elevators with High Transpotation Flexibility
Takeshi Fujimura, Shohei Ueno, Hiroshi Tsuji, Hiroyoshi Miwa (Kwansei Gakuin Univ.)
pp. 25 - 26
CST2010-64
On the Ant Colony Optimization Approach to the Bi-Objective Traveling Salesman Problem
Tomoyuki Yajima, Naoto Yamabe, Satoru Hashizume, Susumu Hashizume, Katsuaki Onogi (Nagoya Univ.)
pp. 27 - 32
CST2010-65
Reinforcement Learning with Conditioned Rule Updating to Prevent Conflicts during the Allocation of Tasks
Alex Valdivielso, Toshiyuki Miyamoto (Osaka Univ.)
pp. 33 - 38
CST2010-66
[Invited Talk]
Two Approaches to Elevator Operation Problems for Optimality and Practicality
Tsutomu Inamoto (Kobe Univ.)
pp. 39 - 44
CST2010-67
[Panel Discussion]
Activity of Technical Committee of Concurrent Systems Technology
-- Messages from Successive Chairpersons --
Kenji Onaga (The Univ. of Ryukyus), Tadashi Matsumoto (Fukui Univ.), Masaru Naniwada (Shizuoka Sangyo Univ.), Toshimasa Watanabe (Hiroshima Univ.), Yoichi Nagao (Kawasaki Heavy Industries), Haruo Hasegawa (Oki Consulting Solutions), Hisao Shiizuka (Kogakuin Univ.), Kohkichi Tsuji (Aichi Prefecture Univ.), Naoshi Uchihira (Toshiba), Qi-Wei Ge (Yamaguchi Univ.), Toshimitsu Ushio (Osaka Univ.)
pp. 45 - 48
CST2010-68
Multipopulation Replicator Dynamics with Nonuniform Interaction Rate
Tadasuke Ichiba, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.)
pp. 49 - 54
CST2010-69
An Implementation of an Optimum-Time Firing Squad Synchronization Algorithm on Two-Dimensional Cellular Automaton
Kinuo Nishide, Takuya Yamawaki, Hiroshi Umeo (OECU)
pp. 55 - 58
CST2010-70
On Polynomial Time Soundness-Based Verification of Behavioral Inheritance for Parallel Synchronized Interworkflows
Tomohiro Hirakawa, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 59 - 64
CST2010-71
Coalgebraic analysis of supervisory control of partially observed Mealy automata
Jun Kohjina, Toshimitsu Ushio (Osaka Univ.), Yoshiki Kinoshita (AIST)
pp. 65 - 70
CST2010-72
A New Proposal for Block Division of Task Graph and Its Evaluation
Lin Chen, Mina Kawabuchi, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.), Hirotoshi Tonou, Naoya Kamiyama, Kazuyuki Shimata (Fujitsu TEN)
pp. 71 - 76
CST2010-73
Improvement of Recognition Method for Consecutive Handwritten Characters by Feature Graph
Ryuzo Fukuda, Naoko Matsuda, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.)
pp. 77 - 82
CST2010-74
Similarity Verification of C Language Program by Using Similarity Degree of Syntax Tree
Bou konisa, Tsuyoshi Morita, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi University)
pp. 83 - 86
CST2010-75
Proposal of an Improved Algorithm for Finding Kernel Set and a New Method
Yuki Ikeda, Yasuto Aihara, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.)
pp. 87 - 92
CST2010-76
Consistency Verification of Delay Times of Petri Net Based Signaling Pathways
Yuki Murakami, Qi-Wei Ge, Shingo Yamaguchi, Hiroshi Matsuno (Yamaguchi Univ.)
pp. 93 - 98
CST2010-77
Self-triggered Receding Horizon Control of Linear Discrete-time System using MLD Model
Shogo Nakao, Toshimitsu Ushio (Osaka Univ.)
pp. 99 - 102
CST2010-78
Enhanced Algorithms for the Marking Construction Problem of Petri Nets based on Improvement of Finding Firing Sequeunces
Atsuhito Yoshioka, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
pp. 103 - 108
CST2010-79
Verification of Existence of Decentralized Predictive Diagnosers with Safety Constraints for Discrete Event Systems
Hiroki Harada, Shigemasa Takai (Osaka Univ.)
pp. 109 - 114
CST2010-80
Mark Flow Graph Based Conveyance Control for Dense Condition of Factory Automation System including Various Kinds of Process using Automated Guided Vehicle
Gen Kobayashi, Masashi Hagiwara, Koji Takahashi (Tokyo Tech)
pp. 115 - 120
CST2010-81
On Associativity of Composition Rules of Workflow Nets and Its Application
Manato Hondo, Yuki Watanabe, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 121 - 126
CST2010-82
Heuristic Algorithms for the Vertex Capacity Assignment Problem of a Stochastic-flow Network
Hideaki Yamato, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
pp. 127 - 132
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.