IEICE Technical Report

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

Mathematical Systems Science and its applications

Workshop Date : 2012-01-26 - 2012-01-27 / Issue Date : 2012-01-19

MSS2011-54
Temporal-Spatial Communication by Smart Voice Messaging in Nursing and Caregiving -- Proposal of Information Supervisory Control --
Naoshi Uchihira, Kentaro Torii (Toshiba), Kunihiko Hiraishi, Sunseong Choe, Tetsuro Chino (JAIST), Yuji Hirabayashi (Shimizu Corp.), Taro Sugihara (JAIST)
p. 1

MSS2011-55
A smartphone-based programming environment for a physical computing platform
Yuka Kamimura, Yoshiaki Takata (KUT)
pp. 3 - 8

MSS2011-56
Evaluation of Identification of Variables to Transform into Logarithmic in Cost Prediction
Kenta Miyoshi (Kagawa NCT), Katsuma Ubukata (NRI), Takeshi Kakimoto (Kagawa NCT), Shinji Kusumoto (Osaka Univ.)
pp. 9 - 14

MSS2011-57
Architectual Point Mapping for Bidirectional Traceability between Design and Code
Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.)
pp. 15 - 20

MSS2011-58
A Study for Bounded Model Checking of UML State Machines Using SMT Solvers
Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.)
pp. 21 - 26

MSS2011-59
On Transforming Communication Diagrams to State Machines of cbUML and Their Formal Semantics
Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.)
pp. 27 - 32

MSS2011-60
On Polynomial Time Verification of Protocol Inheritance between Extended Free Choice Workflow Nets and Their Subnets
Tomohiro Hirakawa, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 33 - 38

MSS2011-61
Automatic Generation of Non-linear Loop Invariants for Programs with Function Calls
Eiichi Suzuki, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
pp. 39 - 44

MSS2011-62
On class of equation sets whose word problems are reducible to those of ground equation sets
Toshimitsu Sakai, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida, Keiichirou Kusakari (Nagoya Univ.)
pp. 45 - 49

MSS2011-63
On Rewriting Induction for Simply-typed Term Rewriting Systems
Akira Ozeki, Keiichirou Kusakari, Tsubasa Sakata, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ.)
pp. 51 - 56

MSS2011-64
On Usable Rules under Argument Filterings in Higher-Order Rewrite Systems
Kazuhiro Ooi, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.)
pp. 57 - 62

MSS2011-65
A Decomposition Approach to the Bi-Objective Traveling Salesman Problem and Its Evaluation
Hiroya Inamoto, Satoru Hashizume, Tomoyuki Yajima, Susumu Hashizume, Katsuaki Onogi (Nagoya Univ.)
pp. 63 - 68

MSS2011-66
[Invited Talk] Towards Mathematical Foundation of Cyber-Physical Systems
Yuichi Tazaki (Nagoya Univ)
pp. 69 - 72

MSS2011-67
[Invited Talk] Research Cases on Interval Constraint Programming -- A Projection Method for Under-Constrained Problems and a Precise Simulation Method for Hybrid Systems --
Daisuke Ishii (NII)
pp. 73 - 77

MSS2011-68
Group Control of 2 Elevators for Peak Power Cut and Service Perforamance
Koji Takahashi (Tokyo Tech.)
pp. 79 - 84

MSS2011-69
Control of Uncertain Networked Systems with Multiple Random Delays
Koichi Kobayashi, Kunihiko Hiraishi (JAIST)
pp. 85 - 88

MSS2011-70
A Framework for Creating Automatically Software Requirements Specification to Meet Elicited User's Requirements
Shuhei Murayama, Hiroaki Iizuka, Fuminori Hirose (SIT), Takatoshi Yamanaka (FUJITSU LABORATORIES), Seiichi Komiya (SIT)
pp. 89 - 94

MSS2011-71
Analysis of Redundancy for Decentralized Failure Diagnosis of Discrete Event Systems
Shuhei Nakata, Shigemasa Takai (Osaka Univ.)
pp. 95 - 100

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