Sadatoshi KUMAGAI


Routing Autonomous Vehicles in the Improving Initial Task Assignment and Avoiding Deadlock Method
Yusuke MORIHIRO Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/11/01
Vol. E91-A  No. 11  pp. 3229-3236
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
PDPTWvehicle routingautonomous distributed systemsintelligent manufacturing systemsmulti agent
 Summary | Full Text:PDF(456.8KB)

An Optimal Share Transfer Problem on Secret Sharing Storage Systems
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/11/01
Vol. E90-A  No. 11  pp. 2458-2464
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
distributed storage systemsecret sharing schemeSteiner treeNP-completedistributed algorithm
 Summary | Full Text:PDF(385KB)

An Initial Assignment Method for Tasks Assignment and Routing Problem of Autonomous Distributed AGVs
Yusuke MORIHIRO Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/11/01
Vol. E90-A  No. 11  pp. 2465-2471
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
PDPTWvehicle routingautonomous distributed systemsintelligent manufacturing systemsmulti agent
 Summary | Full Text:PDF(307KB)

On Reachability Analysis of Multi Agent Nets
Toshiyuki MIYAMOTO Masaki SAKAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2007/10/01
Vol. E90-A  No. 10  pp. 2257-2260
Type of Manuscript:  Special Section LETTER (Special Section on Nonlinear Theory and its Applications)
Category: Systems Theory and Control
Keyword: 
Petri netsmulti-agentobject-orientationreachability analysis
 Summary | Full Text:PDF(211.4KB)

Vertical Partitioning Method for Secret Sharing Distributed Database System
Toshiyuki MIYAMOTO Yasuhiro MORITA Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/11/01
Vol. E89-A  No. 11  pp. 3244-3249
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: Concurrent Systems
Keyword: 
distributed database systemmulti-agent systemssecret sharing schemevertical partitioning
 Summary | Full Text:PDF(330.3KB)

A Cooperative Algorithm for Autonomous Distributed Vehicle Systems with Finite Buffer Capacity
Toshiyuki MIYAMOTO Norihiro TSUJIMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11  pp. 3036-3044
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
PDPTWvehicle routingautonomous distributed systemsintelligent manufacturing systemsmulti agent
 Summary | Full Text:PDF(270.2KB)

A Survey of Object-Oriented Petri Nets and Analysis Methods
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/11/01
Vol. E88-A  No. 11  pp. 2964-2971
Type of Manuscript:  INVITED PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
Petri netsobject orientationmulti-agent systemsreachability problemdistributed systemsformal model
 Summary | Full Text:PDF(537.8KB)

Automatic Repair Mechanism of Secret Sharing Storage System
Daisuke HAYASHI Toshiyuki MIYAMOTO Shinji DOI Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/05/01
Vol. E88-D  No. 5  pp. 971-975
Type of Manuscript:  PAPER
Category: Database
Keyword: 
secret sharing schemestorage systemmulti-agent system
 Summary | Full Text:PDF(303.6KB)

Multi Criteria Real-Time Scheduling for Manufacturing Systems by Context-Dependent Agents
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/11/01
Vol. E86-A  No. 11  pp. 2775-2781
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent System Technology)
Category: 
Keyword: 
intelligent manufacturing systemsmulti agentsreal-time scheduling
 Summary | Full Text:PDF(412.1KB)

A Graph Based Approach for an Extended Resource Planning and Line Balancing Problem
Toshiyuki MIYAMOTO Syoji YAMASHITA Sadatoshi KUMAGAI Hideaki OHTA Koichi FUKUMOTO Yoichi NAGAO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/11/01
Vol. E86-A  No. 11  pp. 2739-2746
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent System Technology)
Category: 
Keyword: 
assembly line balancingresource planningconcurrent engineering
 Summary | Full Text:PDF(810.9KB)

A Multi-Agent Based Manufacturing Resource Planning and Task Allocation System
Toshiyuki MIYAMOTO Daijiroh ICHIMURA Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2003/04/01
Vol. E86-A  No. 4  pp. 806-812
Type of Manuscript:  Special Section PAPER (Special Section of Selected Papers from the 15th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
multi agentmanufacturing resource planninglearningintelligent manufacturing systems
 Summary | Full Text:PDF(400.9KB)

Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems
Toshiyuki MIYAMOTO Bruce H. KROGH Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/11/01
Vol. E85-A  No. 11  pp. 2407-2413
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
Category: 
Keyword: 
intelligent manufacturing systemsagentreal-time scheduling
 Summary | Full Text:PDF(457.4KB)

An Algorithm for Petri Nets Reachability by Unfoldings
Toshiyuki MIYAMOTO Shun-ichiro NAKANO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1999/03/25
Vol. E82-A  No. 3  pp. 500-503
Type of Manuscript:  Special Section LETTER (Special Section on Selected Papers from the 11th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
Petri netunfoldingsreachabilityavoidance of state space explosion
 Summary | Full Text:PDF(206KB)

A Basic Theorem for Modular Synthesis of State Machine Allocatable Nets
Young-Han CHOE Dong-Ik LEE Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/04/25
Vol. E81-A  No. 4  pp. 524-531
Type of Manuscript:  Special Section PAPER (Special Section on Concurrent Systems Technology)
Category: 
Keyword: 
Petri netsSMA netsLSFC netsLBFC netshandlescomposition
 Summary | Full Text:PDF(716.3KB)

On Deriving Logic Functions of Asynchronous Circuits by STG Unfoldings
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/03/25
Vol. E80-D  No. 3  pp. 336-343
Type of Manuscript:  Special Section PAPER (Special Issue on Asynchronous Circuit and System Design)
Category: Synthesis
Keyword: 
signal transition graphoccurrence netasynchronous circuitderive logic functionsstate space explosionspeed independence
 Summary | Full Text:PDF(619.5KB)

Stabilization of Timed Discrete Event Systems with Forcible Events
Jae-won YANG Shigemasa TAKAI Toshimitsu USHIO Sadatoshi KUMAGAI Shinzo KODAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1997/03/25
Vol. E80-A  No. 3  pp. 571-573
Type of Manuscript:  Special Section LETTER (Special Section of Selected Papers from the 9th Karuizawa Workshop on Circuits and Systems)
Category: 
Keyword: 
timed descrete event systemsstabilizationstate feedbackfarcible event
 Summary | Full Text:PDF(199.8KB)

A Graph Theoretic Approach to Reachability Problem with Petri Net Unfoldings
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/11/25
Vol. E79-A  No. 11  pp. 1809-1816
Type of Manuscript:  Special Section PAPER (Special Section on Description Models for Concurrent Systems and Their Applications)
Category: 
Keyword: 
Petri netoccurrence netunfoldingreachability problem
 Summary | Full Text:PDF(716KB)

An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits
Toshiyuki MIYAMOTO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/06/25
Vol. E79-A  No. 6  pp. 818-824
Type of Manuscript:  Special Section PAPER (Special Section of Papers Selected from 1995 Joint Technical Conference on Circuits/Systems, Computers and Communications (JTC-CSCC '95))
Category: 
Keyword: 
signal transition graphoccurrence netasynchronous circuitderive logic functionsdvoidance of state space explosion
 Summary | Full Text:PDF(608.1KB)

An Efficient State Space Search for the Synthesis of Asynchronous Circuits by Subspace Construction
Toshiyuki MIYAMOTO Dong-Ik LEE Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11  pp. 1504-1510
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
signal transition graphoccurrence netasynchronous circuitderive logic functionsstate space explosion
 Summary | Full Text:PDF(618.3KB)

Equivalent Net Reduction for Firing Sequence
Masato NAKAGAWA Sadatoshi KUMAGAI Toshiyuki MIYAMOTO Dong-Ik S. LEE 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11  pp. 1447-1457
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
discrete event systemPetri netstate spacenet reductionequivalent net
 Summary | Full Text:PDF(865.3KB)

A Forbidden Marking Problem in Controlled Complementary-Places Petri Nets
Wooi Voon CHANG Toshimitsu USHIO Shigemasa TAKAI Sadatoshi KUMAGAI Shinzo KODAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/03/25
Vol. E78-A  No. 3  pp. 382-388
Type of Manuscript:  Special Section PAPER (Special Section of Selected Papers from the 7th Karuizawa Workshop on Circuits and Systems)
Category: Graphs and Networks
Keyword: 
discrete event systemcomplementary-places Petri netforbidden marking problemmaximally permissive control law
 Summary | Full Text:PDF(646.4KB)

Activities on Net Theory in Japan
Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/07/25
Vol. E77-A  No. 7  pp. 1125-1131
Type of Manuscript:  Special Section PAPER (Special Section on Surveys of Researches in CAS Fields in the Last Two Decades, )
Category: 
Keyword: 
Petri netnet theorydiscrete event systemsconcurrent systems
 Summary | Full Text:PDF(723.2KB)

Application of Petri Nets to Sequence Control
Yoichi NAGAO Hironobu URABE Shinichi NAKANO Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/25
Vol. E76-A  No. 10  pp. 1598-1606
Type of Manuscript:  Special Section PAPER (Special Section on Nets-Oriented Software Specification and Design)
Category: 
Keyword: 
Petri netsequence controlgraphical programmingprogrammable controllerladder diagram
 Summary | Full Text:PDF(635.6KB)

Structural and Behavioral Analysis of State Machine Allocatable Nets Based on Net Decomposition
Dong-Ik LEE Tadaaki NISHIMURA Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/03/25
Vol. E76-A  No. 3  pp. 399-408
Type of Manuscript:  Special Section PAPER (Special Section on the 5th Karuizawa Workshop on Circuits and Systems)
Category: 
Keyword: 
Petri netsSMA netsS-decompositionS-componentlivenesssafenessalgorithm
 Summary | Full Text:PDF(838.8KB)

Petri Net Based Programming System for FMS
Yoichi NAGAO Hideaki OHTA Hironobu URABE Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10  pp. 1326-1334
Type of Manuscript:  INVITED PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
Category: 
Keyword: 
Petri netsequence controlgraphical programmingsimulationflexible manufacturing system
 Summary | Full Text:PDF(727KB)

Optimal Cycle Time and Facility Utilization of Production Systems Including Repetitive Process with Set-up Time Modelled by Timed Marked Graphs
Masaki AKAZA Dong-Ik LEE Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10  pp. 1385-1393
Type of Manuscript:  Special Section PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
Category: 
Keyword: 
Petri netschedulingstrongly connected marked graphFMSproduction systemutilization factorset-up timesrepetitive process
 Summary | Full Text:PDF(636.1KB)

FOREWORD
Sadatoshi KUMAGAI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10  pp. 1315-1316
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(138.2KB)

Reachability Theorem for a Class of Live and Safe Free Choice Nets
Dong-Ik LEE Sadatoshi KUMAGAI Shinzo KODAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/10/25
Vol. E74-A  No. 10  pp. 3133-3143
Type of Manuscript:  Special Section PAPER (Special Issue on Petri Nets and Discrete Event Systems)
Category: 
Keyword: 
 Summary | Full Text:PDF(760.7KB)

Complete Structural Characterization of State Machine Allocatable Nets
Dong-Ik LEE Sadatoshi KUMAGAI Shinzo KODAMA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/10/25
Vol. E74-A  No. 10  pp. 3115-3123
Type of Manuscript:  Special Section PAPER (Special Issue on Petri Nets and Discrete Event Systems)
Category: 
Keyword: 
 Summary | Full Text:PDF(665.8KB)

Power System Transient Stability Analysis: A Hamiltonian Approach
Sadatoshi KUMAGAI Felix F. WU 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1991/02/25
Vol. E74-A  No. 2  pp. 259-269
Type of Manuscript:  INVITED PAPER
Category: 
Keyword: 
 Summary | Full Text:PDF(668.9KB)

FOREWORD
Sadatoshi KUMAGAI Yoji KAJITANI 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1989/12/25
Vol. E72-E  No. 12  pp. 1277-1278
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(121.2KB)

On the Liveness of Extended Marked Graphs
Kohkichi TSUJI Sadatoshi KUMAGAI Shinzo KODAMA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1986/12/25
Vol. E69-E  No. 12  pp. 1279-1288
Type of Manuscript:  PAPER
Category: Mathematics, Combinatorics and Graph Theory
Keyword: 
 Summary | Full Text:PDF(723.4KB)

Submarking Reachability of Marked Graphs with Token Capacity Constraints
Sadatoshi KUMAGAI Shinzo KODAMA Mitsuhiro KITAGAWA 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1984/07/25
Vol. E67-E  No. 7  pp. 373-378
Type of Manuscript:  PAPER
Category: General
Keyword: 
 Summary | Full Text:PDF(454KB)