| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Mathematical Systems Science and its Applications (MSS) (Searched in: 2013)
Search Results: Keywords 'from:2014-03-06 to:2014-03-06'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| MSS | 2014-03-06 13:30 |
Ehime | Ehime Univ. | Risk-sensitive optimal supervisory control of discrete event systems Tatsushi Yamasaki, Taishi Irie, Shin Matsubara (Setsunan Univ.)  MSS2013-75 |
In the optimal supervisory control of discrete event systems, the worst case cost and the expectation cost are mainly us... [more] | MSS2013-75 pp.1-6 |
| MSS | 2014-03-06 13:55 |
Ehime | Ehime Univ. | A supervisory control based approach to protocol inheritance preserving soundization for workflow nets with TP-handles Soichiro Nagano, Shingo Yamaguchi (Yamaguchi Univ.) MSS2013-76 |
In this paper, we propose how to soundize free-choice workflow nets having TP-handles. Such a workflow net usually has ... [more] |
MSS2013-76 pp.7-12 |
| MSS | 2014-03-06 14:20 |
Ehime | Ehime Univ. | On Computation for Prestabilizing Controllers in Discrete Event Systems Sasinee Pruekprasert, Toshimitsu Ushio (Osaka Univ.) MSS2013-77 |
[more] | MSS2013-77 pp.13-17 |
| MSS | 2014-03-06 14:45 |
Ehime | Ehime Univ. | 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.) MSS2013-78 |
In this paper, we show an elevator group controller model checking system developed by us, named Éclair, and its test ca... [more] | MSS2013-78 pp.19-24 |
| MSS | 2014-03-06 15:20 |
Ehime | Ehime Univ. | Understanding of Transportation Process of Individual Passenger in Elevator based on Mark Flow Graph Model Yukina Akiyama, Koji Takahashi (Tokyo Inst. of Tech.) MSS2013-79 |
The control method of elevators has been proposed, which satisfies both peak power cut and service performance. Even if ... [more] | MSS2013-79 pp.25-30 |
| MSS | 2014-03-06 15:45 |
Ehime | Ehime Univ. | A CPN Tools Based Method of Solving Multi-Car Multi-Shaft Elevator Design Problem and Its Consideration Norihide Ishida, Shingo Yamaguchi (Yamaguchi Univ.) MSS2013-81 |
A large building has many elevators. It is more important to study elevator design problem. The transportation capabilit... [more] | MSS2013-81 pp.37-42 |
| MSS | 2014-03-06 16:10 |
Ehime | Ehime Univ. | A Proposal of a Simplified Mathemetical Model to Evaluate Group Control Algorithms of Multi-Car Single-Shaft Elevators Syunya Ishimaru, Shingo Yamaguchi (Yamaguchi Univ.) MSS2013-80 |
In this paper, we proposed a simpli ed mathematical model to evaluate group controll algorithms for multi-car single-sha... [more] | MSS2013-80 pp.31-36 |
| MSS | 2014-03-06 16:45 |
Ehime | Ehime Univ. | A Numerical Study on Optimality of Elevator Operations by a Zoning Technique Tsutomu Inamoto, Yoshinobu Higami, Shin-ya Kobayashi (Ehime Univ.) MSS2013-82 |
In this study, some preliminary results on optimality of elevator operations by a zoning technique are displayed. Thi... [more] |
MSS2013-82 pp.43-48 |
| MSS | 2014-03-06 17:10 |
Ehime | Ehime Univ. | Controller Programing of Elevator Control Logic by Translating Mark Flow Graph into Sequential Function Chart Tatsuya Tsukamoto, Koji Takahashi (Tokyo Inst. of Tech.) MSS2013-83 |
[more] | MSS2013-83 pp.49-54 |
| MSS | 2014-03-06 17:35 |
Ehime | Ehime Univ. | A mathematical programming approach for the car operation problem in multi-car elevator systems Takayuki Tahara, Shunji Tanaka (Kyoto Univ.) MSS2013-84 |
[more] | MSS2013-84 pp.55-60 |
| MSS | 2014-03-07 09:30 |
Ehime | Ehime Univ. | A Method to Reduce the Number of Channels by Placing Relay Stations in a Wireless Network Rirei Kuroshima, Hiroshi Matsuno (Yamaguchi Univ.) MSS2013-85 |
Hidden terminals decline the performance of wireless network. We have proposed an algorithm for constructing wireless ne... [more] | MSS2013-85 pp.61-64 |
| MSS | 2014-03-07 09:55 |
Ehime | Ehime Univ. | Circuit functionality analysis in a gene regulatory network using GINsim: a toy example Kaori Mitani, Hiroshi Matsuno, Adrien Faure (Yamaguchi Univ.) MSS2013-86 |
[more] | MSS2013-86 pp.65-68 |
| MSS | 2014-03-07 10:20 |
Ehime | Ehime Univ. | 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.) MSS2013-87 |
In this paper, we propose an image retrieval system for handwritten Japanese historical documents. In this system, ima... [more] |
MSS2013-87 pp.69-72 |
| MSS | 2014-03-07 10:45 |
Ehime | Ehime Univ. | Logical analysis of the entrainment of the cell cycle by the circadian clock Wataru Mori, Hiroshi Matsuno, Adrien Faure (Yamaguchi Univ.) MSS2013-88 |
[more] | MSS2013-88 pp.73-76 |
| MSS | 2014-03-07 11:10 |
Ehime | Ehime Univ. | Properties of Dependent Subnets in a Retention-Free Petri Net Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) MSS2013-89 |
(To be available after the conference date) [more] | MSS2013-89 pp.77-82 |
| MSS | 2014-03-07 13:00 |
Ehime | Ehime Univ. | Decision Support of Observation Areas by Bayesian Network Megumi Sawada, Atsuo Ozaki, Shusuke Watanabe (Mitsubishi Electric) MSS2013-90 |
Bayesian network is desired as an effective approach for the decision support of the observation areas in a situational ... [more] | MSS2013-90 pp.83-87 |
| MSS | 2014-03-07 13:25 |
Ehime | Ehime Univ. | 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.) MSS2013-91 |
Most of manufacturing systems are systems consisting of many interacting sequential and/or concurrent tasks with duratio... [more] | MSS2013-91 pp.89-94 |
| MSS | 2014-03-07 13:50 |
Ehime | Ehime Univ. | Elimination of Mutual Interference in Autonomous Deadlock Avoidance for Mixed Production System Yukihito Nishida, Koji Takahashi (Tokyo Inst. of Tech.) MSS2013-92 |
In the mixed production system, deadlock avoidance is important. But system control to prevent deadlock become difficult... [more] | MSS2013-92 pp.95-100 |
| MSS | 2014-03-07 14:25 |
Ehime | Ehime Univ. | Distributed Energy Management Systems with Aggregator Agent Kodai Shibata, Toshiyuki Miyamoto (Osaka Univ.), Shoichi Kitamura, Kazuyuki Mori, Yoshio Izui (Mitsubishi Electric) MSS2013-93 |
Suppose a special district (group) that is composed of multiple companies (agents) imposed energy demand. We have propos... [more] | MSS2013-93 pp.101-106 |
| MSS | 2014-03-07 14:50 |
Ehime | Ehime Univ. | On Properties and a Decision Method of Bridge-Less Workflow Nets Shinsuke Dohi, Shingo Yamaguchi (Yamaguchi Univ.) MSS2013-94 |
[more] | MSS2013-94 pp.107-111 |
[Return to Top Page]