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 -- CST2010-57	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 CST2010-58	Yasuwo Hasegawa, Hayato Niimura (Osaka Univ.)
(4)	10:00-10:15	Application of Mark Flow Graph to Multi Car Elevator System CST2010-59	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 CST2010-60	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 CST2010-61	Tsuyoshi Izumida, Kenji Inoue, Ryotaro Hayashi (JAIST)
(7)	10:55-11:10	Suggestion for Control of Multi-Car Elevators Intending Rolls between shafts CST2010-62	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 CST2010-64	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 CST2010-65	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 CST2010-66	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 -- CST2010-67	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 CST2010-68	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 CST2010-69	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 CST2010-70	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 CST2010-71	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 CST2010-72	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 CST2010-73	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 CST2010-74	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 CST2010-75	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 CST2010-76	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 CST2010-77	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 CST2010-78	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 CST2010-79	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 CST2010-80	Gen Kobayashi, Masashi Hagiwara, Koji Takahashi (Tokyo Tech)
(30)	15:40-16:00	On Associativity of Composition Rules of Workflow Nets and Its Application CST2010-81	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 CST2010-82	Hideaki Yamato, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)

Contact Address and Latest Schedule Information
CST	Technical Committee on Concurrent Systems Technology (CST)
	Contact Address	Shingo Yamaguchi（Graduate School of Science and Engineering, Yamaguchi University) TEL: 0836-85-9510, FAX: 0836-85-9501 E-: ngu-u
	Announcement	Latest information will be presented on the homepage: http://www.ieice.org/~cst/

Last modified: 2011-01-05 16:56:56