Thu, Jan 20 AM 09:30 - 11:45 |
(1) |
09:30-09:35 |
|
(2) |
09:35-09:45 |
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.) |
(3) |
09:45-10:00 |
On Controlling MCE by Optimization of Shaft Controllers |
Yasuwo Hasegawa, Hayato Niimura (Osaka Univ.) |
(4) |
10:00-10:15 |
Application of Mark Flow Graph to Multi Car Elevator System |
Kentaro Nakayama, Nguyen Quang Hung, Koji Takahashi (Tokyo Tech.) |
(5) |
10:15-10:30 |
Generation of Performance Evaluation Function of MCE Group Controller by Grammatical Evolution |
Yoshiya Ito, Hideyuki Sugiura, Tomoaki Takase, Hiroki Kato, Eisuke Kita (Nagoya Univ.) |
|
10:30-10:40 |
Break ( 10 min. ) |
(6) |
10:40-10:55 |
A Control of Multi-Car Elevators by Multiple Algorithms |
Tsuyoshi Izumida, Kenji Inoue, Ryotaro Hayashi (JAIST) |
(7) |
10:55-11:10 |
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.) |
(8) |
11:10-11:25 |
Algorithm of a Controller for Multi-Car Elevators with High Transpotation Flexibility |
Takeshi Fujimura, Shohei Ueno, Hiroshi Tsuji, Hiroyoshi Miwa (Kwansei Gakuin Univ.) |
(9) |
11:25-11:40 |
|
(10) |
11:40-11:45 |
|
Thu, Jan 20 PM 13:00 - 14:00 |
(11) |
13:00-13:20 |
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.) |
(12) |
13:20-13:40 |
Reinforcement Learning with Conditioned Rule Updating to Prevent Conflicts during the Allocation of Tasks |
Alex Valdivielso, Toshiyuki Miyamoto (Osaka Univ.) |
(13) |
13:40-14:00 |
title |
Yukinori Tonosaki (Toshiba) |
Thu, Jan 20 PM 14:10 - 15:40 |
(14) |
14:10-14:40 |
|
(15) |
14:40-15:40 |
[Invited Talk]
Two Approaches to Elevator Operation Problems for Optimality and Practicality |
Tsutomu Inamoto (Kobe Univ.) |
Thu, Jan 20 PM 16:00 - 18:00 |
(16) |
16:00-18:00 |
[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.) |
|
- |
|
Fri, Jan 21 AM 09:10 - 10:10 |
(17) |
09:10-09:30 |
Multipopulation Replicator Dynamics with Nonuniform Interaction Rate |
Tadasuke Ichiba, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.) |
(18) |
09:30-09:50 |
An Implementation of an Optimum-Time Firing Squad Synchronization Algorithm on Two-Dimensional Cellular Automaton |
Kinuo Nishide, Takuya Yamawaki, Hiroshi Umeo (OECU) |
(19) |
09:50-10:10 |
On Polynomial Time Soundness-Based Verification of Behavioral Inheritance for Parallel Synchronized Interworkflows |
Tomohiro Hirakawa, Shingo Yamaguchi (Yamaguchi Univ.) |
Fri, Jan 21 AM 10:20 - 11:40 |
(20) |
10:20-10:40 |
Coalgebraic analysis of supervisory control of partially observed Mealy automata |
Jun Kohjina, Toshimitsu Ushio (Osaka Univ.), Yoshiki Kinoshita (AIST) |
(21) |
10:40-11:00 |
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) |
(22) |
11:00-11:20 |
Improvement of Recognition Method for Consecutive Handwritten Characters by Feature Graph |
Ryuzo Fukuda, Naoko Matsuda, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.) |
(23) |
11:20-11:40 |
Similarity Verification of C Language Program by Using Similarity Degree of Syntax Tree |
Bou konisa, Tsuyoshi Morita, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi University) |
Fri, Jan 21 PM 13:30 - 14:55 |
|
- |
|
(24) |
13:35-13:55 |
Proposal of an Improved Algorithm for Finding Kernel Set and a New Method |
Yuki Ikeda, Yasuto Aihara, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.) |
(25) |
13:55-14:15 |
Consistency Verification of Delay Times of Petri Net Based Signaling Pathways |
Yuki Murakami, Qi-Wei Ge, Shingo Yamaguchi, Hiroshi Matsuno (Yamaguchi Univ.) |
(26) |
14:15-14:35 |
Self-triggered Receding Horizon Control of Linear Discrete-time System using MLD Model |
Shogo Nakao, Toshimitsu Ushio (Osaka Univ.) |
(27) |
14:35-14:55 |
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.) |
Fri, Jan 21 PM 15:00 - 16:20 |
(28) |
15:00-15:20 |
Verification of Existence of Decentralized Predictive Diagnosers with Safety Constraints for Discrete Event Systems |
Hiroki Harada, Shigemasa Takai (Osaka Univ.) |
(29) |
15:20-15:40 |
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) |
(30) |
15:40-16:00 |
On Associativity of Composition Rules of Workflow Nets and Its Application |
Manato Hondo, Yuki Watanabe, Shingo Yamaguchi (Yamaguchi Univ.) |
(31) |
16:00-16:20 |
Heuristic Algorithms for the Vertex Capacity Assignment Problem of a Stochastic-flow Network |
Hideaki Yamato, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |