Toshiyuki Miyamoto

According to our database, Toshiyuki Miyamoto authored at least 62 papers between 1996 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Generating Event Structure from Set of Acyclic Relations in Choreography Realization.

Toshiyuki Miyamoto, Hiroki Akamatsu

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2025

2023

Conflict Reduction of Acyclic Flow Event Structures.

Toshiyuki Miyamoto, Marika Izawa

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., May, 2023

2022

Distributed Scheme for Unit Commitment Problem Using Constraint Programming and ADMM.

Yuta Inoue, Toshiyuki Miyamoto

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022

2021

Computational Evaluation of Greedy Heuristic Methods for 2-objective MMSCP.

Qiwei Sun, Toshiyuki Miyamoto, Shoichi Kitamura, Ayako Taniguchi-Matsuoka, Kento Naito, Kazuyuki Mori, Yoshio Izui

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

A Case Study of Choreography Realizability Checking on Smart Home Application.

Marika Izawa, Toshiyuki Miyamoto

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

2020

A Study on Re-Constructibility of Event Structures.

Marika Izawa, Toshiyuki Miyamoto

IEICE Trans. Inf. Syst., 2020

Foreword.

Toshiyuki Miyamoto

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

2019

An ADMM Approach to Distributed Optimization in Distribution System Considering Fairness among Consumers.

Naoki Hidaka, Toshiyuki Miyamoto, Hideharu Sugihara

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

2018

Realizability of Choreography Given by Two Scenarios.

Toshiki Kinoshita, Toshiyuki Miyamoto

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018

CSCB Tools: Tool for Supporting Synthesizing Hierarchical State Machines from Two Scenarios.

Toshiyuki Miyamoto

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Modified Model of Radiographer Scheduling Problem for Sequential Optimization.

Toshiyuki Miyamoto, Kuniyuki Hidaka

Proceedings of the 2018 IEEE International Conference on Industrial Engineering and Engineering Management, 2018

2017

Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram.

Toshiyuki Miyamoto

IEICE Trans. Inf. Syst., 2017

Synthesizing state machines from two scenarios and a case study on business process management.

Toshiki Kinoshita, Toshiyuki Miyamoto

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

2016

Solving Distributed Unit Commitment Problem With Walrasian Auction.

Toshiyuki Miyamoto, Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui

IEEE Trans. Syst. Man Cybern. Syst., 2016

Choreography Realization by Re-Constructible Decomposition of Acyclic Relations.

Toshiyuki Miyamoto

IEICE Trans. Inf. Syst., 2016

Local and random searches for dispatch and conflict-free routing problem of capacitated AGV systems.

Toshiyuki Miyamoto, Kensuke Inoue

Comput. Ind. Eng., 2016

Multi-objective embarrassingly parallel search with upper bound constraints.

Toshiyuki Miyamoto, M. Yasuhara, Kazuyuki Mori, Shoichi Kitamura, Y. Izui

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets.

Toshiyuki Miyamoto

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015

Cuckoo Search Algorithm for Job Scheduling in Cloud Systems.

Supacheep Amtade, Toshiyuki Miyamoto

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015

Project scheduling under partially renewable resources and resource consumption during setup operations.

Hironori Okubo, Toshiyuki Miyamoto, Satoshi Yoshida, Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui

Comput. Ind. Eng., 2015

Multi-objective embarrassingly parallel search for constraint programming.

Masato Yasuhara, Toshiyuki Miyamoto, Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui

Proceedings of the 2015 IEEE International Conference on Industrial Engineering and Engineering Management, 2015

CSCB tools: Tool for supporting the design of systems based on SOA.

Toshiyuki Miyamoto

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

2014

An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets.

Toshiyuki Miyamoto, Yasuwo Hasegawa, Hiroyuki Oimura

IEICE Trans. Inf. Syst., 2014

Computational evaluation of hybrid method for car control and assignment problem in MCE systems.

Tatsuya Minegishi, Toshiyuki Miyamoto

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

2013

Modular Reachability Analysis of Petri Nets for Multiagent Systems.

Toshiyuki Miyamoto, Kyota Horiguchi

IEEE Trans. Syst. Man Cybern. Syst., 2013

Random Search for Dispatch and Conflict-Free Routing Problem of Capacitated AGV Systems.

Toshiyuki Miyamoto, Kensuke Inoue

Proceedings of the IEEE International Conference on Systems, 2013

A study of car control and assignment problem in MCE systems using hybrid method.

Tatsuya Minegishi, Toshiyuki Miyamoto

Proceedings of the IEEE 2nd Global Conference on Consumer Electronics, 2013

Introduction to special sessions and the SS chairs/co-chairs.

Masahiro Inoue, Ryozo Kiyohara, Tomochika Ozaki, Kazuyuki Kojima, Takahiro Okumura, Shingo Yamaguchi, Toshiyuki Miyamoto, Akiko Yoshida, Tomio Goto, Toshiaki Fujii, Masaru Sakurai, Daisuke Sakamoto, Yoshinari Takegawa, Hitomi Tsujita, Takuji Narumi, Makio Fukuda, Klaus P. Jantke, Tomoyuki Takami, Toshihiro Hayashi, Kazuhiko Kawahara, Akira Nishimura, Kazuma Hoshi, Eunmi L. Oh, Yoshihiro Saito, Tohru Nakanishi

Proceedings of the IEEE 2nd Global Conference on Consumer Electronics, 2013

A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets.

Toshiyuki Miyamoto, Hiroyuki Oimura

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012

Knowledge Reuse Method to Improve the Learning of Interference-Preventive Allocation Policies in Multi-Car Elevators.

Alex Valdivielso Chian, Toshiyuki Miyamoto

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Performance Evaluation of an Option-Based Learning Algorithm in Multi-Car Elevator Systems.

Alex Valdivielso Chian, Toshiyuki Miyamoto

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography.

Toshiyuki Miyamoto, Yasuwo Hasegawa

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2011

Multicar-Elevator Group Control Algorithm for Interference Prevention and Optimal Call Allocation.

Alex Valdivielso, Toshiyuki Miyamoto

IEEE Trans. Syst. Man Cybern. Part A, 2011

Option-Based Monte Carlo Algorithm with Conditioned Updating to Learn Conflict-Free Task Allocation in Transport Applications.

Alex Valdivielso, Toshiyuki Miyamoto

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011

2010

Subquery Allocation Problem and Heuristics for Secret Sharing Distributed Database System.

Toshiyuki Miyamoto, Takeshi Ikemura

J. Comput. Networks Commun., 2010

Synthesis of state machine diagrams from communication diagrams using Petri nets.

Toshiyuki Miyamoto, Hiroyuki Kurahata, Taku Fujii, Ryoji Hosokawa

Innov. Syst. Softw. Eng., 2010

Multicar Elevator Group Control: Average Reward Learning Method for Service Completion Time Reduction and Interference Prevention.

Alex Valdivielso, Toshiyuki Miyamoto

Proceedings of the IEEE International Conference on Control Applications, 2010

2008

Routing Autonomous Vehicles in the Improving Initial Task Assignment and Avoiding Deadlock Method.

Yusuke Morihiro, Toshiyuki Miyamoto, Sadatoshi Kumagai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

MceSim: A Multi-Car Elevator Simulator.

Toshiyuki Miyamoto, Shingo Yamaguchi

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

2007

An Initial Assignment Method for Tasks Assignment and Routing Problem of Autonomous Distributed AGVs.

Yusuke Morihiro, Toshiyuki Miyamoto, Sadatoshi Kumagai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007

On Reachability Analysis of Multi Agent Nets.

Toshiyuki Miyamoto, Masaki Sakamoto, Sadatoshi Kumagai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007

Computational evaluation of a market-oriented programming method for distributed energy management systems.

Toshiyuki Miyamoto, Koji Yakire, Sadatoshi Kumagai, Kazuyuki Mori, Shoichi Kitamura, Takaya Yamamoto

Proceedings of the IEEE International Conference on Systems, 2007

An Optimal Share Transfer Problem on Secret Sharing Storage Systems.

Toshiyuki Miyamoto, Sadatoshi Kumagai

Proceedings of the Parallel and Distributed Processing and Applications, 2007

Autonomous Distributed System and Its Realization by Multi Agent Nets.

Sadatoshi Kumagai, Toshiyuki Miyamoto

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Autonomous distributed secret sharing storage system.

Toshiyuki Miyamoto, Shinji Doi, Hiroki Nogawa, Sadatoshi Kumagai

Syst. Comput. Jpn., 2006

Vertical Partitioning Method for Secret Sharing Distributed Database System.

Toshiyuki Miyamoto, Yasuhiro Morita, Sadatoshi Kumagai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

An Initial Task Assignment Method for Autonomous Distributed Vehicle Systems with Finite Buffer Capacity.

Yusuke Morihiro, Toshiyuki Miyamoto, Sadatoshi Kumagai

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005

A Cooperative Algorithm for Autonomous Distributed Vehicle Systems with Finite Buffer Capacity.

Toshiyuki Miyamoto, Norihiro Tsujimoto, Sadatoshi Kumagai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

A Survey of Object-Oriented Petri Nets and Analysis Methods.

Toshiyuki Miyamoto, Sadatoshi Kumagai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

Automatic Repair Mechanism of Secret Sharing Storage System.

Daisuke Hayashi, Toshiyuki Miyamoto, Shinji Doi, Sadatoshi Kumagai

IEICE Trans. Inf. Syst., 2005

A modeling method of a rule based control system with hierarchical Petri net.

Mamoru Sakamoto, Toshiyuki Miyamoto, Sadatoshi Kumagai

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

On Simulation of BPEL4WS/UML Descriptions.

Satoru Endo, Toshiyuki Miyamoto, Sadatoshi Kumagai, Taku Fujii

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

A supply chain model using market-oriented programming to an inventory management strategy in consideration of lead time.

Kiyotaka Shimada, Toshiyuki Miyamoto, Sadatoshi Kumagai

Proceedings of the IEEE International Conference on Systems, 2004

2003

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

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

Multi Criteria Real-Time Scheduling for Manufacturing Systems by Context-Dependent Agents.

Toshiyuki Miyamoto, Sadatoshi Kumagai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

A Multi-Agent Based Manufacturing Resource Planning and Task Allocation System.

Toshiyuki Miyamoto, Daijiroh Ichimura, Sadatoshi Kumagai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

Route planning method for a dial-a-ride problem.

Toshiyuki Miyamoto, Kazuya Nakatyou, Sadatoshi Kumagai

Proceedings of the IEEE International Conference on Systems, 2003

An operation planning method for a demand-bus system based on local search of autonomous agents.

Norihiro Tsujimoto, Toshiyuki Miyamoto, Sadatoshi Kumagai

Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation: Computational Intelligence in Robotics and Automation for the New Millennium, 2003

Agent-based planning method for an on-demand transportation system.

Toshiyuki Miyamoto, Kazuya Nakatyou, Sadatoshi Kumagai

Proceedings of the International Symposium on Intelligent Control, 2003

2002

Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems.

Toshiyuki Miyamoto, Bruce H. Krogh, Sadatoshi Kumagai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

1998

Calculating Place Capacity for Petri Nets Using Unfoldings.

Toshiyuki Miyamoto, Sadatoshi Kumagai

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1996

An efficient algorithm for deriving logic functions of asynchronous circuits.

Toshiyuki Miyamoto, Sadatoshi Kumagai

Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '96), 1996