| Technical Committee on Mathematical Systems Science and its applications (MSS) |
[schedule] [select]
|
|
| 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) |
|
| Conference Date |
Thu, Mar 8, 2012 13:30 - 17:45
Fri, Mar 9, 2012 09:30 - 14:40 |
| Topics |
|
| Conference Place |
JAIST Center for Advanced Education for Working Professionals |
| Address |
2-15-1 Konan, Minato-ku, Tokyo 108-6019 JAPAN |
Contact
Person |
Prof. K. Hiraishi |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Thu, Mar 8 PM
13:30 - 15:10 |
| (1) |
13:30-13:55 |
Self-triggered predictive control considering activation costs of controller  MSS2011-72 |
Shogo Nakao, Toshimitsu Ushio (Osaka Univ.) |
| (2) |
13:55-14:20 |
Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations MSS2011-73 |
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 MSS2011-74 |
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 MSS2011-75 |
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 MSS2011-76 |
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 MSS2011-77 |
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 MSS2011-78 |
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 MSS2011-79 |
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 MSS2011-80 |
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 MSS2011-81 |
Youji Kohda (JAIST) |
| |
10:15-10:20 |
Break ( 5 min. ) |
| (11) |
10:20-11:05 |
[Invited Talk]
Mathematics and Application of Biological Network Analaysis by Systematic Approach MSS2011-82 |
Katsuhisa Horimoto (AIST) |
| |
11:05-11:10 |
Break ( 5 min. ) |
| (12) |
11:10-11:55 |
[Invited Talk]
Fundamental Theory of Mathematical Systems Science MSS2011-83 |
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 MSS2011-84 |
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 MSS2011-85 |
Kenji Yamamura, Koji Takahashi (Tokyo Tech.) |
| (15) |
13:50-14:15 |
A Hybrid Approach to Cyclic Scheduling Problems based on PBILs and Exact Algorithms MSS2011-86 |
Shinji Aguni, Senlin Guan, Morikazu Nakamura (Univ. of the Ryukyus) |
| (16) |
14:15-14:40 |
Stable Matching Problem with Multicriteria Preference List MSS2011-87 |
Hideki Kinjo (Okinawa Univ.), Morikazu Nakamura (Univ. of the Ryukyus) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Invited Talk | Each speech will have 40 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| MSS |
Technical Committee on Mathematical Systems Science and its applications (MSS) [Latest Schedule]
|
| Contact Address |
NAKAMURA Masaki (Toyama Pref. Univ.)
Tel: 0766-56-7500 (ex 639)
E- :    -n pu-   |
Last modified: 2011-12-13 18:31:50
|