IEICE SEARCH SYSTEM

Toshiyuki MIYAMOTO

Knowledge Reuse Method to Improve the Learning of Interference-Preventive Allocation Policies in Multi-Car Elevators Alex VALDIVIELSO CHIAN Toshiyuki MIYAMOTO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/05/01 Vol. E95-A No. 5 pp. 990-995 Type of Manuscript: LETTER Category: Concurrent Systems Keyword: knowledge reuse, option-based learning, interference prevention, multi-car elevators,
	Summary \| Full Text:PDF (86.2KB)

Performance Evaluation of an Option-Based Learning Algorithm in Multi-Car Elevator Systems Alex VALDIVIELSO CHIAN Toshiyuki MIYAMOTO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/04/01 Vol. E95-A No. 4 pp. 835-839 Type of Manuscript: LETTER Category: Concurrent Systems Keyword: option-based learning, task allocation, interference prevention, performance evaluation, multi-car elevators,
	Summary \| Full Text:PDF (179.7KB)

Option-Based Monte Carlo Algorithm with Conditioned Updating to Learn Conflict-Free Task Allocation in Transport Applications Alex VALDIVIELSO Toshiyuki MIYAMOTO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2011/12/01 Vol. E94-A No. 12 pp. 2810-2820 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: option framework, reinforcement learning, task allocation, conflict prevention, multi-car elevators,
	Summary \| Full Text:PDF (961.4KB)

FOREWORD Toshiyuki MIYAMOTO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/11/01 Vol. E92-A No. 11 pp. 2706-2706 Type of Manuscript: FOREWORD Category: Keyword:
	Summary \| Full Text:PDF (56.8KB)

MceSim: A Multi-Car Elevator Simulator Toshiyuki MIYAMOTO Shingo YAMAGUCHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/11/01 Vol. E91-A No. 11 pp. 3207-3214 Type of Manuscript: Special Section PAPER (Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications) Category: INVITED Keyword: CST Solution Competition, multi-car elevator, group control, evaluation,
	Summary \| Full Text:PDF (509.3KB)

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)

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)

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 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)

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)

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)