Demo Data from SIGIR 2026 / reviewers in the wild / expert
Akio Inaba
dblp:03/6804
· DBLP profile ↗
6ranked-venue papers
1as first author
0since 2021 · last 2004
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 6 · 1 first-authorSystems, architecture and hardware · 6 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
2 papers |
Planning, search and constraint satisfaction · 95% Robot manipulation · 5% | |
| Theoretical computer science
2 papers |
Automated reasoning and model checking · 100% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › scheduling › production scheduling
flexible manufacturing system scheduling |
0.0 | 1 | 2001 | FMS Scheduling Based on Timed Petri Net Model and RTA* Algorithm · ICRA 2001 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › scheduling
production scheduling |
0.0 | 1 | 2001 | FMS Scheduling Based on Timed Petri Net Model and RTA* Algorithm · ICRA 2001 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
scheduling |
0.0 | 1 | 2001 | FMS Scheduling Based on Timed Petri Net Model and RTA* Algorithm · ICRA 2001 |
Automated reasoning and model checking › discrete event systems
supervisory control |
0.0 | 1 | 1996 | Learning control of disassembly Petri net-an approach with discrete event system theory · ICRA 1996 |
Automated reasoning and model checking
petri net analysis |
0.0 | 1 | 2001 | FMS Scheduling Based on Timed Petri Net Model and RTA* Algorithm · ICRA 2001 |
Robotics › Robot manipulation
assembly |
0.0 | 1 | 1996 | Learning control of disassembly Petri net-an approach with discrete event system theory · ICRA 1996 |
Methods — techniques the papers use, named apart from their topics
rule-based supervisor · 0.1RTA* · 0.1learning automata · 0.0petri nets · 0.0petri net · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2004 | Development of a transformational mobile robot to search victims under debris and rubblesabstractMobile robots are expected to support relief activities, after a great scale disaster. These robots need ability to move on/in rubble in order to gather information related to victims and conditions. However, there is no mobile robot which has enough movement ability. Mobile robots need big bodies in order to traverse on unstructured terrain composed of big rubbles, but they need small bodies in order to enter in narrow space. In this paper, we proposed novel concept of a transformational mobile robot in order to solve this inconsistency, and manufactured the proposed mechanism and evaluated its fundamental movement ability. Katsuhiko Tabata, Akio Inaba, Hisanori Amano |
IROS | 2 |
| 2003 | Realization of fault tolerant manufacturing system and its scheduling based on hierarchical petri net modelingabstractThis paper presents a new hierarchical scheduling method for a large-scale production system based on a hierarchical Petri net model, which consists of FOHPN and TPN. The automobile production system equipped with 2 stand-by lines is focused as one of a typical large-scale system and these stand-by lines are controlled by binary signal. In a high level, the FOHPN model is used to represent continuous flow in production of an entire system, and MLD description is used to control the net dynamics of FOHPN. Also in a low level, TPN is used to represent production environment of each sub-line in a decentralized manner, and MCT algorithm is applied to find a feasible semi-optimal process sequences for each sub-line. YojungWoo Kim, Akio Inaba, Tatsuya Suzuki 0001, Shigeru Okuma |
ICRA | 2 |
| 2001 | FMS Scheduling Based on Timed Petri Net Model and RTA* AlgorithmabstractPresents a scheduling method for a manufacturing system based on a timed Petri net model and a reactive fast search algorithm. The following two typical problems are addressed in the paper. (1) Minimize the maximum completion time. (2) Minimize the total deadline over-time. As for problem (1), a search algorithm which combines RTA* and a rule-based supervisor is proposed. Since both RTA* and the rule-based supervisor can be executed in a reactive manner, machines and AGVs allocations can be scheduled reactively, and simultaneously. As for problem (2), the original Petri net model is converted to its reverse model and the algorithm developed in problem (1) is applied with regard to the due time as a starting time in the reverse model. Akio Inaba, Tatsuya Suzuki 0001, Shigeru Okuma |
ICRA | 2 |
| 1996 | Learning control of disassembly Petri net-an approach with discrete event system theoryabstractThis paper studies the learning control problem of disassembly task sequence. The proposed learning control system has two sub systems. One of them is a supervisory control system which can realize the implicit specifications such as equipment-related or task-independent specifications. The other one is a learning automata system which can realize the explicit specifications such as task-dependent specifications. This approach allows the flexible design to accommodate frequently changing manufacturing requirements. Some simulation results to verify the effectiveness of the proposed system are shown. Tatsuya Suzuki 0001, Tadanao Zanma, Akio Inaba, Shigeru Okuma |
ICRA | 3 |
| 1994 | Feasibility study of disassembly task based on topological operations-consideration in 2-dimensional spaceabstractAn automatic generation of assembly or disassembly sequence is a significant problem for an automatic assembly using robotic manipulators. This problem can be separated into following three stages. 1. Extraction of all feasible assembly/disassembly tasks. 2. Generation of all assembly/disassembly sequence. 3. Decision of optimal sequence. As for the stages 2 and 3, one of the efficient strategy based in the AND/OR graph has been proposed. However, as for 1, previous researches are not efficient. In this paper we propose a new technique for the examination of the feasibility of each assembly/disassembly task by using topological operations. The presented method is expected to execute with smaller computational amount compared with the previous methods, because a separating path of a mechanical part without collision with other parts is obtained without search of all space. A mapping, which maps shape of a subassembly to a feasible path of the other subassembly around the first subassembly, keeping contact, is introduced. An area of feasible translational motion of the second subassembly without interaction with the first is calculated. Criteria of feasibility of disassembly task are presented. Finally, we show a simple example to verify the proposed algorithm.> Akio Inaba, Tatsuya Suzuki 0001, Shigeru Okuma |
IROS | 1 |
| 1993 | On algebraic and graph structural properties of assembly Petri net - Searching by linear programmingabstractAn assembly planning method using Petri nets is presented. First, the assembly network is modeled using the conventional AND/OR net. Second, the state shift equation of the Petri net, which is its mathematical model, is analyzed. This analysis shows that the basis solution the of a state shift matrix is identical to the set of a solution which corresponds to an actual assembly sequence. This means that in considering an optimization problem which minimizes a summation of a weight value of all tasks included in the assembly sequence, a linear programming technique can be used. Some numerical examples are given to certify the validity of the analysis. Takahide Kanehara, Tatsuya Suzuki 0001, Akio Inaba, Shigeru Okuma |
IROS | 3 |