IEICE SEARCH SYSTEM

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: PDPTW, vehicle routing, autonomous distributed systems, intelligent manufacturing systems, multi agent,
	Summary \| Full Text:PDF (455.7KB)

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 system, secret sharing scheme, Steiner tree, NP-complete, distributed algorithm,
	Summary \| Full Text:PDF (385.9KB)

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: PDPTW, vehicle routing, autonomous distributed systems, intelligent manufacturing systems, multi agent,
	Summary \| Full Text:PDF (307.8KB)

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 nets, multi-agent, object-orientation, reachability analysis,
	Summary \| Full Text:PDF (212.1KB)

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 system, multi-agent systems, secret sharing scheme, vertical partitioning,
	Summary \| Full Text:PDF (331KB)

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: Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications) Category: INVITED Keyword: Petri nets, object orientation, multi-agent systems, reachability problem, distributed systems, formal model,
	Summary \| Full Text:PDF (539.4KB)

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: PDPTW, vehicle routing, autonomous distributed systems, intelligent manufacturing systems, multi agent,
	Summary \| Full Text:PDF (272KB)

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 scheme, storage system, multi-agent system,
	Summary \| Full Text:PDF (304.9KB)

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 systems, multi agents, real-time scheduling,
	Summary \| Full Text:PDF (415.3KB)

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 balancing, resource planning, concurrent engineering,
	Summary \| Full Text:PDF (814.4KB)

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 agent, manufacturing resource planning, learning, intelligent manufacturing systems,
	Summary \| Full Text:PDF (404.3KB)

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 systems, agent, real-time scheduling,
	Summary \| Full Text:PDF (460.7KB)

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/20 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 net, unfoldings, reachability, avoidance of state space explosion,
	Summary \| Full Text:PDF (208.5KB)

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/20 Vol. E81-A No. 4 pp. 524-531 Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology) Category: Keyword: Petri nets, SMA nets, LSFC nets, LBFC nets, handles, composition,
	Summary \| Full Text:PDF (718.1KB)

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/20 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 graph, occurrence net, asynchronous circuit, derive logic functions, state space explosion, speed independence,
	Summary \| Full Text:PDF (620.7KB)

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/20 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 systems, stabilization, state feedback, farcible event,
	Summary \| Full Text:PDF (200.7KB)

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/20 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 net, occurrence net, unfolding, reachability problem,
	Summary \| Full Text:PDF (718KB)

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/20 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 graph, occurrence net, asynchronous circuit, derive logic functions, dvoidance of state space explosion,
	Summary \| Full Text:PDF (609.9KB)

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/20 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 system, Petri net, state space, net reduction, equivalent net,
	Summary \| Full Text:PDF (865.2KB)

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/20 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 graph, occurrence net, asynchronous circuit, derive logic functions, state space explosion,
	Summary \| Full Text:PDF (618.4KB)

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/20 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 system, complementary-places Petri net, forbidden marking problem, maximally permissive control law,
	Summary \| Full Text:PDF (646.5KB)

Activities on Net Theory in Japan Sadatoshi KUMAGAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1994/07/20 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 net, net theory, discrete event systems, concurrent systems,
	Summary \| Full Text:PDF (723.3KB)

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/20 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 net, sequence control, graphical programming, programmable controller, ladder diagram,
	Summary \| Full Text:PDF (637.2KB)

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/20 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 nets, SMA nets, S-decomposition, S-component, liveness, safeness, algorithm,
	Summary \| Full Text:PDF (840.5KB)

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

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/20 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 net, scheduling, strongly connected marked graph, FMS, production system, utilization factor, set-up times, repetitive process,
	Summary \| Full Text:PDF (637.7KB)

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/20 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 net, sequence control, graphical programming, simulation, flexible manufacturing system,
	Summary \| Full Text:PDF (728.6KB)

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/20 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 (667.4KB)

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/20 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 (762.5KB)

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/20 Vol. E74-A No. 2 pp. 259-269 Type of Manuscript: INVITED PAPER Category: Keyword:
	Summary \| Full Text:PDF (670.7KB)

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

On the Liveness of Extended Marked Graphs Kohkichi TSUJI Sadatoshi KUMAGAI Shinzo KODAMA
Publication: IEICE TRANSACTIONS (1976-1990) Publication Date: 1986/12/20 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/20 Vol. E67-E No. 7 pp. 373-378 Type of Manuscript: PAPER Category: General Keyword:
	Summary \| Full Text:PDF (454.2KB)