Paper Abstract and Keywords |
Presentation |
2017-07-19 10:45
Deadlock Detection in Scheduling of Last-Mile Transportation by Using Model Checking Mitsuaki Tsuji, Koji Hasebe, Kazuhiko Kato (Univ. of Tsukuba) SS2017-2 KBSE2017-2 |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
The authors are developing a last-mile transportation system with autonomous vehicles. The greatest feature is that passengers do not have to transfer by means of the way of rearrangement of fleets. On the other hand, due to the rules for rearranging fleets and the traveling route of vehicles, any vehicle may fall into a deadlock situation where it cannot proceed to the next stop. To address this problem, in this paper we propose a method to detect the possibility of deadlock in a given operation schedule. For this objective, we use a model checking method to search all possible states of the system. We also demonstrate the usefulness of the proposed method by using some examples. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
Deadlock / Formal Method / Model Checking / Last-Mile Transportation / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 117, no. 136, SS2017-2, pp. 7-12, July 2017. |
Paper # |
SS2017-2 |
Date of Issue |
2017-07-12 (SS, KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Download PDF |
SS2017-2 KBSE2017-2 |
Conference Information |
Committee |
SS KBSE IPSJ-SE |
Conference Date |
2017-07-19 - 2017-07-21 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
|
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
|
Paper Information |
Registration To |
SS |
Conference Code |
2017-07-SS-KBSE-SE |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Deadlock Detection in Scheduling of Last-Mile Transportation by Using Model Checking |
Sub Title (in English) |
|
Keyword(1) |
Deadlock |
Keyword(2) |
Formal Method |
Keyword(3) |
Model Checking |
Keyword(4) |
Last-Mile Transportation |
Keyword(5) |
|
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Mitsuaki Tsuji |
1st Author's Affiliation |
University of Tsukuba (Univ. of Tsukuba) |
2nd Author's Name |
Koji Hasebe |
2nd Author's Affiliation |
University of Tsukuba (Univ. of Tsukuba) |
3rd Author's Name |
Kazuhiko Kato |
3rd Author's Affiliation |
University of Tsukuba (Univ. of Tsukuba) |
4th Author's Name |
|
4th Author's Affiliation |
() |
5th Author's Name |
|
5th Author's Affiliation |
() |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2017-07-19 10:45:00 |
Presentation Time |
25 minutes |
Registration for |
SS |
Paper # |
SS2017-2, KBSE2017-2 |
Volume (vol) |
vol.117 |
Number (no) |
no.136(SS), no.137(KBSE) |
Page |
pp.7-12 |
#Pages |
6 |
Date of Issue |
2017-07-12 (SS, KBSE) |
|