| Technical Committee on Mathematical Systems Science and its applications (MSS) |
[schedule] [select]
|
|
| Chair |
|
Yuichi Nakamaura (NEC) |
| Vice Chair |
|
Satoshi Yamane (Kanazawa Univ.) |
| Secretary |
|
Shinnosuke Yamaguchi (Kyushu Inst. of Tech.), Mitsuru Nakata (Yamaguchi Univ.) |
| Assistant |
|
Daisuke Nishiwaki (NEC) |
|
| Conference Date |
Thu, Mar 6, 2014 13:30 - 18:00
Fri, Mar 7, 2014 09:30 - 16:05 |
| Topics |
|
| Conference Place |
Ehime Univ. |
| Transportation Guide |
http://www.ehime-u.ac.jp/access/johoku/eng_sci.html |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Thu, Mar 6 PM
13:30 - 15:10 |
| (1) |
13:30-13:55 |
Risk-sensitive optimal supervisory control of discrete event systems  MSS2013-75 |
Tatsushi Yamasaki, Taishi Irie, Shin Matsubara (Setsunan Univ.) |
| (2) |
13:55-14:20 |
A supervisory control based approach to protocol inheritance preserving soundization for workflow nets with TP-handles MSS2013-76 |
Soichiro Nagano, Shingo Yamaguchi (Yamaguchi Univ.) |
| (3) |
14:20-14:45 |
On Computation for Prestabilizing Controllers in Discrete Event Systems MSS2013-77 |
Sasinee Pruekprasert, Toshimitsu Ushio (Osaka Univ.) |
| (4) |
14:45-15:10 |
On Development and Test Capability of Eclair: Elevator Group Controller Model Checking System Based on S-ring and SPIN MSS2013-78 |
Kazuya Nagafuji, Shingo Yamaguchi (Yamaguchi Univ.) |
| |
15:10-15:20 |
Break ( 10 min. ) |
Thu, Mar 6 PM
15:20 - 16:35 |
| (5) |
15:20-15:45 |
Understanding of Transportation Process of Individual Passenger in Elevator based on Mark Flow Graph Model MSS2013-79 |
Yukina Akiyama, Koji Takahashi (Tokyo Inst. of Tech.) |
| (6) |
15:45-16:10 |
A CPN Tools Based Method of Solving Multi-Car Multi-Shaft Elevator Design Problem and Its Consideration MSS2013-81 |
Norihide Ishida, Shingo Yamaguchi (Yamaguchi Univ.) |
| (7) |
16:10-16:35 |
A Proposal of a Simplified Mathemetical Model to Evaluate Group Control Algorithms of Multi-Car Single-Shaft Elevators MSS2013-80 |
Syunya Ishimaru, Shingo Yamaguchi (Yamaguchi Univ.) |
| |
16:35-16:45 |
Break ( 10 min. ) |
Thu, Mar 6 PM
16:45 - 18:00 |
| (8) |
16:45-17:10 |
A Numerical Study on Optimality of Elevator Operations by a Zoning Technique MSS2013-82 |
Tsutomu Inamoto, Yoshinobu Higami, Shin-ya Kobayashi (Ehime Univ.) |
| (9) |
17:10-17:35 |
Controller Programing of Elevator Control Logic by Translating Mark Flow Graph into Sequential Function Chart MSS2013-83 |
Tatsuya Tsukamoto, Koji Takahashi (Tokyo Inst. of Tech.) |
| (10) |
17:35-18:00 |
A mathematical programming approach for the car operation problem in multi-car elevator systems MSS2013-84 |
Takayuki Tahara, Shunji Tanaka (Kyoto Univ.) |
Fri, Mar 7 AM
09:30 - 11:35 |
| (11) |
09:30-09:55 |
A Method to Reduce the Number of Channels by Placing Relay Stations in a Wireless Network MSS2013-85 |
Rirei Kuroshima, Hiroshi Matsuno (Yamaguchi Univ.) |
| (12) |
09:55-10:20 |
Circuit functionality analysis in a gene regulatory network using GINsim: a toy example MSS2013-86 |
Kaori Mitani, Hiroshi Matsuno, Adrien Faure (Yamaguchi Univ.) |
| (13) |
10:20-10:45 |
An image retrieval system for handwritten Japanese historical documents based on structural information of characters MSS2013-87 |
Yuichiro Iino, Ryo Arakawa, Hiroaki Nagaoka, Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
| (14) |
10:45-11:10 |
Logical analysis of the entrainment of the cell cycle by the circadian clock MSS2013-88 |
Wataru Mori, Hiroshi Matsuno, Adrien Faure (Yamaguchi Univ.) |
| (15) |
11:10-11:35 |
Properties of Dependent Subnets in a Retention-Free Petri Net MSS2013-89 |
Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) |
| |
11:35-13:00 |
Break ( 85 min. ) |
Fri, Mar 7 PM
13:00 - 16:05 |
| (16) |
13:00-13:25 |
Decision Support of Observation Areas by Bayesian Network MSS2013-90 |
Megumi Sawada, Atsuo Ozaki, Shusuke Watanabe (Mitsubishi Electric) |
| (17) |
13:25-13:50 |
Estimation of processing completion time and critical path in manufacturing systems with stochastic processing time MSS2013-91 |
Yuki Goto, Tomohiro Katsuno, Susumu Hashizume, Tomoyuki Yajima, Katsuaki Onogi (Nagoya Univ.) |
| (18) |
13:50-14:15 |
Elimination of Mutual Interference in Autonomous Deadlock Avoidance for Mixed Production System MSS2013-92 |
Yukihito Nishida, Koji Takahashi (Tokyo Inst. of Tech.) |
| |
14:15-14:25 |
Break ( 10 min. ) |
| (19) |
14:25-14:50 |
Distributed Energy Management Systems with Aggregator Agent MSS2013-93 |
Kodai Shibata, Toshiyuki Miyamoto (Osaka Univ.), Shoichi Kitamura, Kazuyuki Mori, Yoshio Izui (Mitsubishi Electric) |
| (20) |
14:50-15:15 |
On Properties and a Decision Method of Bridge-Less Workflow Nets MSS2013-94 |
Shinsuke Dohi, Shingo Yamaguchi (Yamaguchi Univ.) |
| (21) |
15:15-15:40 |
A Petri Net Model of Internal Organs Based on Yin-Yang and Five-Elements Theory of Oriental Medicine MSS2013-95 |
Eiji Nagata (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
| (22) |
15:40-16:05 |
On Resource Constrained Project Scheduling Problem with Resource Consumption Varying with Time MSS2013-96 |
Satoshi Yoshida, Toshiyuki Miyamoto (Osaka Univ.), Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui (Mitsubishi Electric) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| General Talk (WIP) | Each speech will have 10 minutes for presentation and 15 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| MSS |
Technical Committee on Mathematical Systems Science and its applications (MSS) [Latest Schedule]
|
| Contact Address |
Shin'nosuke Yamaguchi (Kyushu Institute of Technology)
Tel: 0948-29-7572
E- :   s ii   isck   |
Last modified: 2014-03-05 12:15:51
|