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) |
|
10:15-10:20 |
Break ( 5 min. ) |
(11) |
10:20-11:05 |
[Invited Talk]
Mathematics and Application of Biological Network Analaysis by Systematic Approach |
Katsuhisa Horimoto (AIST) |
|
11:05-11:10 |
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) |