===============================================
Technical Committee on Mathematical Systems Science and its applications (MSS)
Chair: Kunihiko Hiraishi (JAIST) Vice Chair: Yuichi Nakamaura (NEC)
Secretary: Masaki Nakamura (Toyama Pref. Univ.), Shinnosuke Yamaguchi (Kyushu Inst. of Tech.)
Assistant: Daisuke Nishiwaki (NEC)
DATE:
Thu, Mar 8, 2012 13:30 - 17:45
Fri, Mar 9, 2012 09:30 - 14:40
PLACE:
JAIST Center for Advanced Education for Working Professionals(2-15-1 Konan, Minato-ku, Tokyo 108-6019 JAPAN. Prof. K. Hiraishi)
TOPICS:
----------------------------------------
Thu, Mar 8 PM (13:30 - 15:10)
----------------------------------------
(1) 13:30 - 13:55
Self-triggered predictive control considering activation costs of controller
Shogo Nakao, Toshimitsu Ushio (Osaka Univ.)
(2) 13:55 - 14:20
Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
Katsuyuki Kimura, Masashi Nomura, Shigemasa Takai (Osaka Univ.)
(3) 14:20 - 14:45
Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Using the AND Rule
Takashi Yamamoto, Shigemasa Takai (Osaka Univ.)
(4) 14:45 - 15:10
Experimental Evaluation of Smart Voice Messaging in Nursing and Caregiving Services Using Virtual Field
Sunseong Choe, Kunihiko Hiraishi (JAIST), Naoshi Uchihira, Kentaro Torii, Toshiaki Tanaka (Toshiba), Yuji Hirabayashi (Shimizu)
----------------------------------------
Thu, Mar 8 PM (15:15 - 16:55)
----------------------------------------
(5) 15:15 - 15:40
Effect of the improvement on classification performance of the filtering system based on Baysian and decision tree methods
Hiroyuki Yamaguchi, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ.)
(6) 15:40 - 16:05
Consideration on the token retention-free in timed Petri net model based on the signaling pathway characteristics
Yuki Murakami, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.)
(7) 16:05 - 16:30
A Translator of C to Petri Net Markup Language C2PNML and Its Application Examples
Hiroaki Taniguchi, Shingo Yamaguchi, Takeshi Susaki (Yamaguchi Univ.)
(8) 16:30 - 16:55
A Modeling Method of Single-Car Multi-Shaft Elevator Systems on CPN Tools and Its Application
Norihide Ishida, Shingo Yamaguchi, Ryohei Ueda (Yamaguchi Univ.)
----------------------------------------
Thu, Mar 8 PM (17:00 - 17:45)
----------------------------------------
(9) 17:00 - 17:45
[Invited Talk]
GPGPU for the Industry
Kimikazu Kato (Nihon Unisys)
----------------------------------------
Fri, Mar 9 AM (09:30 - 11:55)
----------------------------------------
(10) 09:30 - 10:15
[Invited Talk]
Some expectations to Mathematical Approach from the Standpoint of Service Science
Youji Kohda (JAIST)
----- Break ( 5 min. ) -----
(11) 10:20 - 11:05
[Invited Talk]
Mathematics and Application of Biological Network Analaysis by Systematic Approach
Katsuhisa Horimoto (AIST)
----- Break ( 5 min. ) -----
(12) 11:10 - 11:55
[Invited Talk]
Fundamental Theory of Mathematical Systems Science
Kohkichi Tsuji (Aichi Prefectural Univ.)
----------------------------------------
Fri, Mar 9 PM (13:00 - 14:40)
----------------------------------------
(13) 13:00 - 13:25
Formal Verification of a Telephone System with a Concierge Server
Keito Kurono, Aya Maeda, Yoshinobu Kawabe (Aichi Inst. Tech.)
(14) 13:25 - 13:50
MFG Model of Transfer and Process for FA System with Multiple AGVs
Kenji Yamamura, Koji Takahashi (Tokyo Tech.)
(15) 13:50 - 14:15
A Hybrid Approach to Cyclic Scheduling Problems based on PBILs and Exact Algorithms
Shinji Aguni, Senlin Guan, Morikazu Nakamura (Univ. of the Ryukyus)
(16) 14:15 - 14:40
Stable Matching Problem with Multicriteria Preference List
Hideki Kinjo (Okinawa Univ.), Morikazu Nakamura (Univ. of the Ryukyus)
# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.
Invited Talk will have 40 minutes for presentation and 5 minutes for discussion.
=== Technical Committee on Mathematical Systems Science and its applications (MSS) ===
# SECRETARY:
NAKAMURA Masaki (Toyama Pref. Univ.)
Tel: 0766-56-7500 (ex 639)
E-mail: -npu-
Last modified: 2011-12-13 18:31:50
|
Notification: Mail addresses are partially hidden against SPAM.
|