Information and Systems-Software Science(Date:2014/02/27)

Presentation
表紙

,  

[Date]2014/2/27
[Paper #]
目次

,  

[Date]2014/2/27
[Paper #]
Risk-sensitive Optimal Supervisory Control of Discrete Event Systems

Tatsushi YAMASAKI,  Taishi IRIE,  Shin MATSUBARA,  

[Date]2014/2/27
[Paper #]MSS2013-75
A Supervisory Control Based Approach to Protocol Inheritance Preserving Soundization for Workflow Nets with TP-Handles

Soichiro NAGANO,  Shingo YAMAGUCHI,  

[Date]2014/2/27
[Paper #]MSS2013-76
On Computation for Prestabilizing Controllers in Discrete Event Systems

Sasinee PRUEKPRASERI,  Toshimitsu USHIO,  

[Date]2014/2/27
[Paper #]MSS2013-77
On Development and Test Capability of Eclair : Elevator Group Controller Model Checking System Based on S-ring and SPIN

Kazuya NAGAFUJI,  Shingo YAMAGUCHI,  

[Date]2014/2/27
[Paper #]MSS2013-78
Understanding of Transportation Process of Individual Passenger in Elevator based on Mark Flow Graph Model

Yukina AKIYAMA,  Koji TAKAHASHI,  

[Date]2014/2/27
[Paper #]MSS2013-79
A Proposal of a Simplified Mathemetical Model to Evaluate Group Controll Algorithms of Multi-Car Single-Shaft Elevators

Shunya ISHIMARU,  Shingo YAMAGUCHI,  

[Date]2014/2/27
[Paper #]MSS2013-80
A CPN Tools Based Method of Solving Multi-Car Multi-Shaft Elevator Design Problem and Its Consideration

Norihide ISHIDA,  Shingo YAMAGUCHI,  

[Date]2014/2/27
[Paper #]MSS2013-81
A Numerical Study on Optimality of Elevator Operations by a Zoning Technique

Tsutomu INAMOTO,  Yoshinobu HIGAMI,  Shin-ya KOBAYASHI,  

[Date]2014/2/27
[Paper #]MSS2013-82
Controller Programing of Elevator Control Logic by Translating Mark Flow Graph into Sequential Function Chart

Tatsuya TSUKAMOTO,  Koji TAKAHASHI,  

[Date]2014/2/27
[Paper #]MSS2013-83
A Mathematical Programming Approach for the Online Car Operation Problem in Multi-car Elevator Systems

Takayuki TAHARA,  Shunji TANAKA,  

[Date]2014/2/27
[Paper #]MSS2013-84
A Method to Reduce the Number of Channels by Placing Relay Stations in a Wireless Network

Rirei KUROSHIMA,  Hiroshi MATSUNO,  

[Date]2014/2/27
[Paper #]MSS2013-85
Circuit functionality analysis in a gene regulatory network using GINsim : A toy example

Kaori MITANI,  Hiroshi MATSUNO,  Adrien FAURE,  

[Date]2014/2/27
[Paper #]MSS2013-86
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,  

[Date]2014/2/27
[Paper #]MSS2013-87
Logical analysis of the entrainment of the cell cycle by the circadian clock

Wataru MORI,  Adrien FAURE,  

[Date]2014/2/27
[Paper #]MSS2013-88
Properties of Dependent Subnets in a Retention-Free Petri Net

Atsushi MIZUTA,  Qi-Wei GE,  Hiroshi MATSUNO,  

[Date]2014/2/27
[Paper #]MSS2013-89
Decision Support of Observation Areas by Bayesian Network

Megumi SAWADA,  Atsuo OZAKI,  Shusuke WATANABE,  

[Date]2014/2/27
[Paper #]MSS2013-90
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,  

[Date]2014/2/27
[Paper #]MSS2013-91
Elimination of Mutual Interference in Autonomous Deadlock Avoidance for Mixed Production System

Yukihito NISHIDA,  Koji Takahashi,  

[Date]2014/2/27
[Paper #]MSS2013-92
12>> 1-20hit(28hit)