IEICE Technical Report

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 113, Number 466

Mathematical Systems Science and its applications

Workshop Date : 2014-03-06 - 2014-03-07 / Issue Date : 2014-02-27

[PREV] [NEXT]

[TOP] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

MSS2013-75
Risk-sensitive optimal supervisory control of discrete event systems
Tatsushi Yamasaki, Taishi Irie, Shin Matsubara (Setsunan Univ.)
pp. 1 - 6

MSS2013-76
A supervisory control based approach to protocol inheritance preserving soundization for workflow nets with TP-handles
Soichiro Nagano, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 7 - 12

MSS2013-77
On Computation for Prestabilizing Controllers in Discrete Event Systems
Sasinee Pruekprasert, Toshimitsu Ushio (Osaka Univ.)
pp. 13 - 17

MSS2013-78
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.)
pp. 19 - 24

MSS2013-79
Understanding of Transportation Process of Individual Passenger in Elevator based on Mark Flow Graph Model
Yukina Akiyama, Koji Takahashi (Tokyo Inst. of Tech.)
pp. 25 - 30

MSS2013-80
A Proposal of a Simplified Mathemetical Model to Evaluate Group Control Algorithms of Multi-Car Single-Shaft Elevators
Syunya Ishimaru, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 31 - 36

MSS2013-81
A CPN Tools Based Method of Solving Multi-Car Multi-Shaft Elevator Design Problem and Its Consideration
Norihide Ishida, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 37 - 42

MSS2013-82
A Numerical Study on Optimality of Elevator Operations by a Zoning Technique
Tsutomu Inamoto, Yoshinobu Higami, Shin-ya Kobayashi (Ehime Univ.)
pp. 43 - 48

MSS2013-83
Controller Programing of Elevator Control Logic by Translating Mark Flow Graph into Sequential Function Chart
Tatsuya Tsukamoto, Koji Takahashi (Tokyo Inst. of Tech.)
pp. 49 - 54

MSS2013-84
A mathematical programming approach for the car operation problem in multi-car elevator systems
Takayuki Tahara, Shunji Tanaka (Kyoto Univ.)
pp. 55 - 60

MSS2013-85
A Method to Reduce the Number of Channels by Placing Relay Stations in a Wireless Network
Rirei Kuroshima, Hiroshi Matsuno (Yamaguchi Univ.)
pp. 61 - 64

MSS2013-86
Circuit functionality analysis in a gene regulatory network using GINsim: a toy example
Kaori Mitani, Hiroshi Matsuno, Adrien Faure (Yamaguchi Univ.)
pp. 65 - 68

MSS2013-87
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.)
pp. 69 - 72

MSS2013-88
Logical analysis of the entrainment of the cell cycle by the circadian clock
Wataru Mori, Hiroshi Matsuno, Adrien Faure (Yamaguchi Univ.)
pp. 73 - 76

MSS2013-89
Properties of Dependent Subnets in a Retention-Free Petri Net
Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.)
pp. 77 - 82

MSS2013-90
Decision Support of Observation Areas by Bayesian Network
Megumi Sawada, Atsuo Ozaki, Shusuke Watanabe (Mitsubishi Electric)
pp. 83 - 87

MSS2013-91
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.)
pp. 89 - 94

MSS2013-92
Elimination of Mutual Interference in Autonomous Deadlock Avoidance for Mixed Production System
Yukihito Nishida, Koji Takahashi (Tokyo Inst. of Tech.)
pp. 95 - 100

MSS2013-93
Distributed Energy Management Systems with Aggregator Agent
Kodai Shibata, Toshiyuki Miyamoto (Osaka Univ.), Shoichi Kitamura, Kazuyuki Mori, Yoshio Izui (Mitsubishi Electric)
pp. 101 - 106

MSS2013-94
On Properties and a Decision Method of Bridge-Less Workflow Nets
Shinsuke Dohi, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 107 - 111

MSS2013-95
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.)
pp. 113 - 118

MSS2013-96
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)
pp. 119 - 124

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.


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