IEICE Trans

Toshiyuki MIYAMOTO

A Study on Re-Constructibility of Event Structures Marika IZAWA Toshiyuki MIYAMOTO
Publication: Publication Date: 2020/08/01 Vol. E103-D No. 8 pp. 1810-1813 Type of Manuscript: Special Section LETTER (Special Section on Formal Approaches) Category: Formal Approaches Keyword: SOA, model-based development, event structure, re-constructibility, choreography realization problem,
	Summary \| Full Text:PDF(323.6KB)

FOREWORD Toshiyuki MIYAMOTO
Publication: Publication Date: 2020/02/01 Vol. E103-A No. 2 pp. 389-389 Type of Manuscript: FOREWORD Category: Keyword:
	Summary \| Full Text:PDF(271.6KB)

Realizability of Choreography Given by Two Scenarios Toshiki KINOSHITA Toshiyuki MIYAMOTO
Publication: Publication Date: 2018/02/01 Vol. E101-A No. 2 pp. 345-356 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: SOA, model-based development, communication diagram, state machine, choreography realization problem,
	Summary \| Full Text:PDF(1.3MB)

Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram Toshiyuki MIYAMOTO
Publication: Publication Date: 2017/06/01 Vol. E100-D No. 6 pp. 1200-1209 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Formal tools Keyword: unified modeling language, choreography realization problem, Petri nets, automatic synthesis, service-oriented architecture,
	Summary \| Full Text:PDF(1.2MB)

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: SOA, model-based development, communication diagram, state machine, choreography 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 systems, resource constraint, cuckoo search, job scheduling, optimization,
	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 language, choreography realization problem, Petri nets, automatic synthesis, service-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 reuse, option-based learning, interference prevention, multi-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 learning, task allocation, interference prevention, performance evaluation, multi-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 framework, reinforcement learning, task allocation, conflict prevention, multi-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)

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(456.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: INVITED PAPER (Special Section on Concurrent/Real-time and Hybrid Systems: Theory and Applications) Category: Keyword: CST Solution Competition, multi-car elevator, group control, evaluation,
	Summary \| Full Text:PDF(510.2KB)

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(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: PDPTW, vehicle routing, autonomous distributed systems, intelligent manufacturing systems, multi 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 nets, multi-agent, object-orientation, reachability 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 system, multi-agent systems, secret sharing scheme, vertical 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 nets, object orientation, multi-agent systems, reachability problem, distributed systems, formal 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: PDPTW, vehicle routing, autonomous distributed systems, intelligent manufacturing systems, multi 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 scheme, storage system, multi-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 systems, multi agents, real-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 balancing, resource planning, concurrent 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 agent, manufacturing resource planning, learning, intelligent 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 systems, agent, real-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 net, unfoldings, reachability, avoidance 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 graph, occurrence net, asynchronous circuit, derive logic functions, state space explosion, speed 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 net, occurrence net, unfolding, reachability 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 graph, occurrence net, asynchronous circuit, derive logic functions, dvoidance 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 graph, occurrence net, asynchronous circuit, derive logic functions, state 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 system, Petri net, state space, net reduction, equivalent net,
	Summary \| Full Text:PDF(865.3KB)