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) |
: 
-n
pu-
