Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS |
2012-03-08 13:30 |
Tokyo |
JAIST Tokyo Satellite |
Self-triggered predictive control considering activation costs of controller Shogo Nakao, Toshimitsu Ushio (Osaka Univ.) MSS2011-72 |
Recently, controllers are implemented on digital platforms as time-triggered tasks due to development of microprocessor ... [more] |
MSS2011-72 pp.1-4 |
MSS |
2012-03-08 13:55 |
Tokyo |
JAIST Tokyo Satellite |
Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations Katsuyuki Kimura, Masashi Nomura, Shigemasa Takai (Osaka Univ.) MSS2011-73 |
In this paper, we study a supervisory control problem for plants and specifications modeled by nondeterministic automata... [more] |
MSS2011-73 pp.5-10 |
MSS |
2012-03-08 14:20 |
Tokyo |
JAIST Tokyo Satellite |
Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Using the AND Rule Takashi Yamamoto, Shigemasa Takai (Osaka Univ.) MSS2011-74 |
In this paper, we study decentralized diagnosis of discrete event systems where diagnosis decisions of local diagnosers ... [more] |
MSS2011-74 pp.11-16 |
MSS |
2012-03-08 14:45 |
Tokyo |
JAIST Tokyo Satellite |
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) MSS2011-75 |
We have been developing a stress-free information assisting system based on smart voice messaging. In this paper, we rep... [more] |
MSS2011-75 pp.17-22 |
MSS |
2012-03-08 15:15 |
Tokyo |
JAIST Tokyo Satellite |
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.) MSS2011-76 |
Recent increase of spam mails is a serious problem in the Internet. bsfilter is one of the most well-used spam filters i... [more] |
MSS2011-76 pp.23-28 |
MSS |
2012-03-08 15:40 |
Tokyo |
JAIST Tokyo Satellite |
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.) MSS2011-77 |
Retention-free Petri net is a timed Petri net such that total input and
total output token flows are equivalent at any ... [more] |
MSS2011-77 pp.29-34 |
MSS |
2012-03-08 16:05 |
Tokyo |
JAIST Tokyo Satellite |
A Translator of C to Petri Net Markup Language C2PNML and Its Application Examples Hiroaki Taniguchi, Shingo Yamaguchi, Takeshi Susaki (Yamaguchi Univ.) MSS2011-78 |
Petri net based analysis technique has been utilized for behavioral analysis of programs.A program to be analyzed needs ... [more] |
MSS2011-78 pp.35-40 |
MSS |
2012-03-08 16:30 |
Tokyo |
JAIST Tokyo Satellite |
A Modeling Method of Single-Car Multi-Shaft Elevator Systems on CPN Tools and Its Application Norihide Ishida, Shingo Yamaguchi, Ryohei Ueda (Yamaguchi Univ.) MSS2011-79 |
With the diversication of market needs for elevator systems, model-based research on the operation is becoming more and... [more] |
MSS2011-79 pp.41-46 |
MSS |
2012-03-08 17:00 |
Tokyo |
JAIST Tokyo Satellite |
[Invited Talk]
GPGPU for the Industry Kimikazu Kato (Nihon Unisys) MSS2011-80 |
GPGPU (General Purpose GPU) is known as an idea to compute a general problem in the GPU, and has been applied mainly to ... [more] |
MSS2011-80 pp.47-48 |
MSS |
2012-03-09 09:30 |
Tokyo |
JAIST Tokyo Satellite |
[Invited Talk]
Some expectations to Mathematical Approach from the Standpoint of Service Science Youji Kohda (JAIST) MSS2011-81 |
This paper describes my own inquiry in respect to mathematical models in the principles of service. The mathematical mod... [more] |
MSS2011-81 pp.49-54 |
MSS |
2012-03-09 10:20 |
Tokyo |
JAIST Tokyo Satellite |
[Invited Talk]
Mathematics and Application of Biological Network Analaysis by Systematic Approach Katsuhisa Horimoto (AIST) MSS2011-82 |
[more] |
MSS2011-82 pp.55-56 |
MSS |
2012-03-09 11:10 |
Tokyo |
JAIST Tokyo Satellite |
[Invited Talk]
Fundamental Theory of Mathematical Systems Science Kohkichi Tsuji (Aichi Prefectural Univ.) MSS2011-83 |
In this paper, we look back on the history under the theme of continuation and growth from ``Technical Committee on Conc... [more] |
MSS2011-83 pp.57-59 |
MSS |
2012-03-09 13:00 |
Tokyo |
JAIST Tokyo Satellite |
Formal Verification of a Telephone System with a Concierge Server Keito Kurono, Aya Maeda, Yoshinobu Kawabe (Aichi Inst. Tech.) MSS2011-84 |
To avoid becoming a victim of phone fraud, it is important to check whether a caller is a scammer or not.
Yamamoto et.a... [more] |
MSS2011-84 pp.61-66 |
MSS |
2012-03-09 13:25 |
Tokyo |
JAIST Tokyo Satellite |
MFG Model of Transfer and Process for FA System with Multiple AGVs Kenji Yamamura, Koji Takahashi (Tokyo Tech.) MSS2011-85 |
[more] |
MSS2011-85 pp.67-72 |
MSS |
2012-03-09 13:50 |
Tokyo |
JAIST Tokyo Satellite |
A Hybrid Approach to Cyclic Scheduling Problems based on PBILs and Exact Algorithms Shinji Aguni, Senlin Guan, Morikazu Nakamura (Univ. of the Ryukyus) MSS2011-86 |
[more] |
MSS2011-86 pp.73-78 |
MSS |
2012-03-09 14:15 |
Tokyo |
JAIST Tokyo Satellite |
Stable Matching Problem with Multicriteria Preference List Hideki Kinjo (Okinawa Univ.), Morikazu Nakamura (Univ. of the Ryukyus) MSS2011-87 |
In the stable matching problem, we are given a set of men and women, and each member's preference list that orders membe... [more] |
MSS2011-87 pp.79-83 |