IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Mathematical Systems Science and its applications

Workshop Date : 2012-03-08 - 2012-03-09 / Issue Date : 2012-03-01

MSS2011-72
Self-triggered predictive control considering activation costs of controller
Shogo Nakao, Toshimitsu Ushio (Osaka Univ.)
pp. 1 - 4

MSS2011-73
Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
Katsuyuki Kimura, Masashi Nomura, Shigemasa Takai (Osaka Univ.)
pp. 5 - 10

MSS2011-74
Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Using the AND Rule
Takashi Yamamoto, Shigemasa Takai (Osaka Univ.)
pp. 11 - 16

MSS2011-75
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)
pp. 17 - 22

MSS2011-76
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.)
pp. 23 - 28

MSS2011-77
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.)
pp. 29 - 34

MSS2011-78
A Translator of C to Petri Net Markup Language C2PNML and Its Application Examples
Hiroaki Taniguchi, Shingo Yamaguchi, Takeshi Susaki (Yamaguchi Univ.)
pp. 35 - 40

MSS2011-79
A Modeling Method of Single-Car Multi-Shaft Elevator Systems on CPN Tools and Its Application
Norihide Ishida, Shingo Yamaguchi, Ryohei Ueda (Yamaguchi Univ.)
pp. 41 - 46

MSS2011-80
[Invited Talk] GPGPU for the Industry
Kimikazu Kato (Nihon Unisys)
pp. 47 - 48

MSS2011-81
[Invited Talk] Some expectations to Mathematical Approach from the Standpoint of Service Science
Youji Kohda (JAIST)
pp. 49 - 54

MSS2011-82
[Invited Talk] Mathematics and Application of Biological Network Analaysis by Systematic Approach
Katsuhisa Horimoto (AIST)
pp. 55 - 56

MSS2011-83
[Invited Talk] Fundamental Theory of Mathematical Systems Science
Kohkichi Tsuji (Aichi Prefectural Univ.)
pp. 57 - 59

MSS2011-84
Formal Verification of a Telephone System with a Concierge Server
Keito Kurono, Aya Maeda, Yoshinobu Kawabe (Aichi Inst. Tech.)
pp. 61 - 66

MSS2011-85
MFG Model of Transfer and Process for FA System with Multiple AGVs
Kenji Yamamura, Koji Takahashi (Tokyo Tech.)
pp. 67 - 72

MSS2011-86
A Hybrid Approach to Cyclic Scheduling Problems based on PBILs and Exact Algorithms
Shinji Aguni, Senlin Guan, Morikazu Nakamura (Univ. of the Ryukyus)
pp. 73 - 78

MSS2011-87
Stable Matching Problem with Multicriteria Preference List
Hideki Kinjo (Okinawa Univ.), Morikazu Nakamura (Univ. of the Ryukyus)
pp. 79 - 83

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan