IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev MSS Conf / Next MSS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

===============================================
Technical Committee on Mathematical Systems Science and its applications (MSS)
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)

DATE:
Thu, Mar 6, 2014 13:30 - 18:00
Fri, Mar 7, 2014 09:30 - 16:05

PLACE:
Ehime Univ.(http://www.ehime-u.ac.jp/access/johoku/eng_sci.html)

TOPICS:


----------------------------------------
Thu, Mar 6 PM (13:30 - 15:10)
----------------------------------------

(1) 13:30 - 13:55
Risk-sensitive optimal supervisory control of discrete event systems
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
Soichiro Nagano, Shingo Yamaguchi (Yamaguchi Univ.)

(3) 14:20 - 14:45
On Computation for Prestabilizing Controllers in Discrete Event Systems
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
Kazuya Nagafuji, Shingo Yamaguchi (Yamaguchi Univ.)

----- 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
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
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
Syunya Ishimaru, Shingo Yamaguchi (Yamaguchi Univ.)

----- 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
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
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
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
Rirei Kuroshima, Hiroshi Matsuno (Yamaguchi Univ.)

(12) 09:55 - 10:20
Circuit functionality analysis in a gene regulatory network using GINsim: a toy example
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
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
Wataru Mori, Hiroshi Matsuno, Adrien Faure (Yamaguchi Univ.)

(15) 11:10 - 11:35
Properties of Dependent Subnets in a Retention-Free Petri Net
Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.)

----- Break ( 85 min. ) -----

----------------------------------------
Fri, Mar 7 PM (13:00 - 16:05)
----------------------------------------

(16) 13:00 - 13:25
Decision Support of Observation Areas by Bayesian Network
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
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
Yukihito Nishida, Koji Takahashi (Tokyo Inst. of Tech.)

----- Break ( 10 min. ) -----

(19) 14:25 - 14:50
Distributed Energy Management Systems with Aggregator Agent
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
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
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
Satoshi Yoshida, Toshiyuki Miyamoto (Osaka Univ.), Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui (Mitsubishi Electric)

# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.
General Talk (WIP) will have 10 minutes for presentation and 15 minutes for discussion.


=== Technical Committee on Mathematical Systems Science and its applications (MSS) ===

# SECRETARY:
Shin'nosuke Yamaguchi (Kyushu Institute of Technology)
Tel: 0948-29-7572
E-mail: siiisck


Last modified: 2014-03-05 12:15:51


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 

[Return to MSS Schedule Page]   /  
 
 Go Top  Go Back   Prev MSS Conf / Next MSS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan