Toshiyuki Miyamoto

64 papers B 8C 6Journal 35Unranked 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
Generating Event Structure from Set of Acyclic Relations in Choreography Realization.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto, Hiroki Akamatsu
2023 J jnl
Conflict Reduction of Acyclic Flow Event Structures.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto, Marika Izawa
2022 J jnl
Distributed Scheme for Unit Commitment Problem Using Constraint Programming and ADMM.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yuta Inoue, Toshiyuki Miyamoto
2021 C conf
A Case Study of Choreography Realizability Checking on Smart Home Application.
ICCE
Marika Izawa, Toshiyuki Miyamoto
2021 C conf
Computational Evaluation of Greedy Heuristic Methods for 2-objective MMSCP.
ICCE
Qiwei Sun, Toshiyuki Miyamoto, Shoichi Kitamura, Ayako Taniguchi-Matsuoka, Kento Naito, Kazuyuki Mori, Yoshio Izui
2020 J jnl
A Study on Re-Constructibility of Event Structures.
IEICE Trans. Inf. Syst.
Marika Izawa, Toshiyuki Miyamoto
2020 J jnl
Foreword.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto
2019 B conf
An ADMM Approach to Distributed Optimization in Distribution System Considering Fairness among Consumers.
SMC
Naoki Hidaka, Toshiyuki Miyamoto, Hideharu Sugihara
2018 B conf
CSCB Tools: Tool for Supporting Synthesizing Hierarchical State Machines from Two Scenarios.
SMC
Toshiyuki Miyamoto
2018 — conf
Modified Model of Radiographer Scheduling Problem for Sequential Optimization.
IEEM
Toshiyuki Miyamoto, Kuniyuki Hidaka
2018 J jnl
Realizability of Choreography Given by Two Scenarios.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiki Kinoshita, Toshiyuki Miyamoto
2017 J jnl
Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram.
IEICE Trans. Inf. Syst.
Toshiyuki Miyamoto
2017 B conf
Synthesizing state machines from two scenarios and a case study on business process management.
SMC
Toshiki Kinoshita, Toshiyuki Miyamoto
2016 — conf
CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets.
PNSE @ Petri Nets
Toshiyuki Miyamoto
2016 J jnl
Choreography Realization by Re-Constructible Decomposition of Acyclic Relations.
IEICE Trans. Inf. Syst.
Toshiyuki Miyamoto
2016 J jnl
Local and random searches for dispatch and conflict-free routing problem of capacitated AGV systems.
Comput. Ind. Eng.
Toshiyuki Miyamoto, Kensuke Inoue
2016 B conf
Multi-objective embarrassingly parallel search with upper bound constraints.
SMC
Toshiyuki Miyamoto, M. Yasuhara, Kazuyuki Mori, Shoichi Kitamura, Y. Izui
2016 J jnl
Solving Distributed Unit Commitment Problem With Walrasian Auction.
IEEE Trans. Syst. Man Cybern. Syst.
Toshiyuki Miyamoto, Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui
2015 — conf
CSCB tools: Tool for supporting the design of systems based on SOA.
GCCE
Toshiyuki Miyamoto
2015 J jnl
Cuckoo Search Algorithm for Job Scheduling in Cloud Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Supacheep Amtade, Toshiyuki Miyamoto
2015 — conf
Multi-objective embarrassingly parallel search for constraint programming.
IEEM
Masato Yasuhara, Toshiyuki Miyamoto, Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui
2015 J jnl
Project scheduling under partially renewable resources and resource consumption during setup operations.
Comput. Ind. Eng.
Hironori Okubo, Toshiyuki Miyamoto, Satoshi Yoshida, Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui
2014 J jnl
An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets.
IEICE Trans. Inf. Syst.
Toshiyuki Miyamoto, Yasuwo Hasegawa, Hiroyuki Oimura
2014 B conf
Computational evaluation of hybrid method for car control and assignment problem in MCE systems.
SMC
Tatsuya Minegishi, Toshiyuki Miyamoto
2013 — conf
A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets.
PNSE+ModPE
Toshiyuki Miyamoto, Hiroyuki Oimura
2013 — conf
A study of car control and assignment problem in MCE systems using hybrid method.
GCCE
Tatsuya Minegishi, Toshiyuki Miyamoto
2013 — conf
Introduction to special sessions and the SS chairs/co-chairs.
GCCE
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
2013 J jnl
Modular Reachability Analysis of Petri Nets for Multiagent Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Toshiyuki Miyamoto, Kyota Horiguchi
2013 B conf
Random Search for Dispatch and Conflict-Free Routing Problem of Capacitated AGV Systems.
SMC
Toshiyuki Miyamoto, Kensuke Inoue
2012 — conf
A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography.
PNSE
Toshiyuki Miyamoto, Yasuwo Hasegawa
2012 J jnl
Knowledge Reuse Method to Improve the Learning of Interference-Preventive Allocation Policies in Multi-Car Elevators.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Alex Valdivielso Chian, Toshiyuki Miyamoto
2012 J jnl
Performance Evaluation of an Option-Based Learning Algorithm in Multi-Car Elevator Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Alex Valdivielso Chian, Toshiyuki Miyamoto
2011 J jnl
Multicar-Elevator Group Control Algorithm for Interference Prevention and Optimal Call Allocation.
IEEE Trans. Syst. Man Cybern. Part A
Alex Valdivielso, Toshiyuki Miyamoto
2011 J jnl
Option-Based Monte Carlo Algorithm with Conditioned Updating to Learn Conflict-Free Task Allocation in Transport Applications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Alex Valdivielso, Toshiyuki Miyamoto
2010 C conf
Multicar Elevator Group Control: Average Reward Learning Method for Service Completion Time Reduction and Interference Prevention.
CCA
Alex Valdivielso, Toshiyuki Miyamoto
2010 J jnl
Subquery Allocation Problem and Heuristics for Secret Sharing Distributed Database System.
J. Comput. Networks Commun.
Toshiyuki Miyamoto, Takeshi Ikemura
2010 J jnl
Synthesis of state machine diagrams from communication diagrams using Petri nets.
Innov. Syst. Softw. Eng.
Toshiyuki Miyamoto, Hiroyuki Kurahata, Taku Fujii, Ryoji Hosokawa
2009 J jnl
Foreword.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto
2008 J jnl
MceSim: A Multi-Car Elevator Simulator.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto, Shingo Yamaguchi
2008 J jnl
Routing Autonomous Vehicles in the Improving Initial Task Assignment and Avoiding Deadlock Method.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yusuke Morihiro, Toshiyuki Miyamoto, Sadatoshi Kumagai
2007 J jnl
An Initial Assignment Method for Tasks Assignment and Routing Problem of Autonomous Distributed AGVs.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yusuke Morihiro, Toshiyuki Miyamoto, Sadatoshi Kumagai
2007 C conf
An Optimal Share Transfer Problem on Secret Sharing Storage Systems.
ISPA
Toshiyuki Miyamoto, Sadatoshi Kumagai
2007 J jnl
An Optimal Share Transfer Problem on Secret Sharing Storage Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto, Sadatoshi Kumagai
2007 — conf
Autonomous Distributed System and Its Realization by Multi Agent Nets.
ICATPN
Sadatoshi Kumagai, Toshiyuki Miyamoto
2007 B conf
Computational evaluation of a market-oriented programming method for distributed energy management systems.
SMC
Toshiyuki Miyamoto, Koji Yakire, Sadatoshi Kumagai, Kazuyuki Mori, Shoichi Kitamura, Takaya Yamamoto
2007 J jnl
On Reachability Analysis of Multi Agent Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto, Masaki Sakamoto, Sadatoshi Kumagai
2006 C conf
An Initial Task Assignment Method for Autonomous Distributed Vehicle Systems with Finite Buffer Capacity.
ETFA
Yusuke Morihiro, Toshiyuki Miyamoto, Sadatoshi Kumagai
2006 J jnl
Autonomous distributed secret sharing storage system.
Syst. Comput. Jpn.
Toshiyuki Miyamoto, Shinji Doi, Hiroki Nogawa, Sadatoshi Kumagai
2006 J jnl
Vertical Partitioning Method for Secret Sharing Distributed Database System.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto, Yasuhiro Morita, Sadatoshi Kumagai
2005 J jnl
A Cooperative Algorithm for Autonomous Distributed Vehicle Systems with Finite Buffer Capacity.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto, Norihiro Tsujimoto, Sadatoshi Kumagai
2005 J jnl
A Survey of Object-Oriented Petri Nets and Analysis Methods.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto, Sadatoshi Kumagai
2005 — conf
A modeling method of a rule based control system with hierarchical Petri net.
ISCAS (1)
Mamoru Sakamoto, Toshiyuki Miyamoto, Sadatoshi Kumagai
2005 J jnl
Automatic Repair Mechanism of Secret Sharing Storage System.
IEICE Trans. Inf. Syst.
Daisuke Hayashi, Toshiyuki Miyamoto, Shinji Doi, Sadatoshi Kumagai
2005 C conf
On Simulation of BPEL4WS/UML Descriptions.
APSEC
Satoru Endo, Toshiyuki Miyamoto, Sadatoshi Kumagai, Taku Fujii
2004 — conf
A supply chain model using market-oriented programming to an inventory management strategy in consideration of lead time.
SMC (5)
Kiyotaka Shimada, Toshiyuki Miyamoto, Sadatoshi Kumagai
2003 J jnl
A Graph Based Approach for an Extended Resource Planning and Line Balancing Problem.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto, Syoji Yamashita, Sadatoshi Kumagai, Hideaki Ohta, Koichi Fukumoto, Yoichi Nagao
2003 J jnl
A Multi-Agent Based Manufacturing Resource Planning and Task Allocation System.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto, Daijiroh Ichimura, Sadatoshi Kumagai
2003 — conf
Agent-based planning method for an on-demand transportation system.
ISIC
Toshiyuki Miyamoto, Kazuya Nakatyou, Sadatoshi Kumagai
2003 — conf
An operation planning method for a demand-bus system based on local search of autonomous agents.
CIRA
Norihiro Tsujimoto, Toshiyuki Miyamoto, Sadatoshi Kumagai
2003 J jnl
Multi Criteria Real-Time Scheduling for Manufacturing Systems by Context-Dependent Agents.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto, Sadatoshi Kumagai
2003 B conf
Route planning method for a dial-a-ride problem.
SMC
Toshiyuki Miyamoto, Kazuya Nakatyou, Sadatoshi Kumagai
2002 J jnl
Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshiyuki Miyamoto, Bruce H. Krogh, Sadatoshi Kumagai
1998 — conf
Calculating Place Capacity for Petri Nets Using Unfoldings.
ACSD
Toshiyuki Miyamoto, Sadatoshi Kumagai
1996 — conf
An efficient algorithm for deriving logic functions of asynchronous circuits.
ASYNC
Toshiyuki Miyamoto, Sadatoshi Kumagai