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.) |
| |
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 |
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.) |
| |
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 |
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.) |
| |
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 |
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.) |
| |
14:15-14:25 |
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) |
: 
s
ii
isc
