Toshiyuki MIYAMOTO


Choreography Realization by Re-Constructible Decomposition of Acyclic Relations
Toshiyuki MIYAMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/06/01
Vol. E99-D  No. 6  pp. 1420-1427
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Methods
Keyword: 
SOAmodel-based developmentcommunication diagramstate machinechoreography realization problem
 Summary | Full Text:PDF(1MB)

Cuckoo Search Algorithm for Job Scheduling in Cloud Systems
Supacheep AMTADE Toshiyuki MIYAMOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2015/02/01
Vol. E98-A  No. 2  pp. 645-649
Type of Manuscript:  Special Section LETTER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
Cloud systemsresource constraintcuckoo searchjob schedulingoptimization
 Summary | Full Text:PDF(92.4KB)

An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets
Toshiyuki MIYAMOTO Yasuwo HASEGAWA Hiroyuki OIMURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D  No. 5  pp. 1171-1180
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal Construction
Keyword: 
unified modeling languagechoreography realization problemPetri netsautomatic synthesisservice-oriented architecture
 Summary | Full Text:PDF(1.3MB)

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 reuseoption-based learninginterference preventionmulti-car elevators
 Summary | Full Text:PDF(85.5KB)

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 learningtask allocationinterference preventionperformance evaluationmulti-car elevators
 Summary | Full Text:PDF(179.1KB)

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 frameworkreinforcement learningtask allocationconflict preventionmulti-car elevators
 Summary | Full Text:PDF(960.7KB)

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(57KB)

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:  INVITED PAPER (Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications)
Category: 
Keyword: 
CST Solution Competitionmulti-car elevatorgroup controlevaluation
 Summary | Full Text:PDF(510.2KB)

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

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)

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

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)

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)

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)

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)