JA

Profile

Research

Social

Other

Miyamoto Toshiyuki

宮本 俊幸

Associate Professor

keyword Disributed Systems,Discrete Event Systems,Control Engineering

Education

  • 1994/04 - 1997/03, Osaka University, Graduate School of Engineering, Department of Electrical Engineering
  • 1992/04 - 1994/03, Osaka University, Graduate School of Engineering
  • 1988/04 - 1992/03, Osaka University, Faculty of Engineering

Research History

  • 2007/04 - Present, Osaka University, Graduate School of Engineering, Associate Professor
  • 2006/03 - 2007/03, Osaka University, Graduate School of Engineering, Associate Professor
  • 2003/02 - 2006/03, Osaka University, Graduate School of Engineering, Lecturer
  • 1997/04 - 2003/01, Osaka University, Graduate School of Engineering, Assistant Professor
  • 2000/10 - 2001/09, 文部省, 在外研究員

Research Areas

  • Informatics, Information theory
  • Manufacturing technology (mechanical, electrical/electronic, chemical engineering), Control and systems engineering

Professional Memberships

  • 計測自動制御学会
  • システム制御情報学会
  • IEEE
  • 電子情報通信学会

Papers

  • Solving Distributed Unit Commitment Problem With Walrasian Auction, Toshiyuki Miyamoto,Kazuyuki Mori,Shoichi Kitamura,Yoshio Izui, IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 46, No. 8, p. 1088-1097, 2016/08
  • Local and random searches for dispatch and conflict-free routing problem of capacitated AGV systems, Toshiyuki Miyamoto,Kensuke Inoue, Computers and Industrial Engineering, Elsevier Ltd, Vol. 91, p. 1-9, 2016/01/01
  • Project scheduling under partially renewable resources and resource consumption during setup operations, Hironori Okubo,Toshiyuki Miyamoto,Satoshi Yoshida,Kazuyuki Mori,Shoichi Kitamura,Yoshio Izui, COMPUTERS & INDUSTRIAL ENGINEERING, PERGAMON-ELSEVIER SCIENCE LTD, Vol. 83, p. 91-99, 2015/05
  • A Study on Re-Constructibility of Event Structures, Marika IZAWA,Toshiyuki MIYAMOTO, IEICE Transactions on Information and Systems, Institute of Electronics, Information and Communications Engineers (IEICE), Vol. E103.D, No. 8, p. 1810-1813, 2020/08/01
  • A Clearing Problem in Reserve Market using Stochastic Optimization, Toshiyuki Miyamoto,Shoichi Kitamura,Kento Naito,Kazuyuki Mori,Yoshio Izui, IEEJ Transactions on Electronics, Information and Systems, Institute of Electrical Engineers of Japan (IEE Japan), Vol. 140, No. 7, p. 775-785, 2020/07/01
  • Multi-Objective Embarrassingly Parallel Search with Upper Bound Constriant for Constraint Optimization Problem, Masato Yasuhara,Toshiyuki Miyamoto,Kazuyuki Mori,Shoichi Kitamura,Yoshio Izui, IEEJ Transactions on Electronics, Information and Systems, Vol. 140, No. 2, p. 267-273, 2020/02
  • Distributed day‐ahead scheduling of community energy management system group considering uncertain market prices using stochastic optimization, Toshiyuki Miyamoto,Shoichi Kitamura,Kento Naito,Kazuyuki Mori,Yoshio Izui, IEEJ Transactions on Electrical and Electronic Engineering, Vol. 15, No. 3, p. 401-408, 2020/02
  • Consensus-based Approach to Distributed Scheduling Problem, Toshiyuki Miyamoto,Toyohiro Umeda,Shigemasa Takai, 2019/11
  • An ADMM Approach to Distributed Optimization in Distribution System Considering Fairness among Consumers, N. Hidaka,T. Miyamoto,H. Sugihara, Proc. of IEEE SMC 2019, p. 2254-2258, 2019/10
  • On Reconstructibility of Event Structures for Choreography Realization Problem, M. Izawa,T. Miyamoto, Proc. of ITC-CSCC, p. 228-231, 2019/06
  • Deadlock-free Routing of Autonomous Distributed AGV Systems using CSP, Y. Namiki,T. Miyamoto, Proc. of ITC-CSCC, p. 281-284, 2019/06
  • A Constraint Optimization Approach for Unit Commitment in Distributed Energy Management Systems, Y. Inoue,T. Miyamoto, Proc. of ITC-CSCC, p. 466-469, 2019/06
  • A Fully Decentralized Approach of Unit Commitment using ADMM and Weighted Gradient Method, A. Bedrossian,T. Miyamoto, Proc. of ITC-CSCC, p. 518-521, 2019/06
  • Modified Model of Radiographer Scheduling Problem for Sequential Optimization, T. Miyamoto,K. Hidaka, Proc. of IEEE IEEM 2018, p. 273-277, 2018/12
  • CSCB Tools: Tool for Supporting Synthesizing Hierarchical State Machines from Two Scenarios, Toshiyuki Miyamoto, Proc. of IEEE SMC 2018, p. 1599-1604, 2018/10
  • An Integer Programming Model for Radiographer Scheduling Considering Skills and Training: Case Study, Toshiyuki Miyamoto,Hisashi Yuura,Kuniyuki Hidaka, Proc. of SICE 2018, 2018/09
  • Distributed day-ahead scheduling in community energy management systems using inter-community energy trade, Toshiyuki Miyamoto,Masahiro Okada,Takuya Fukuda,Shoichi Kitamura,Kazuyuki Mori,Yoshio Izui, IEEJ Transactions on Electrical and Electronic Engineering, John Wiley and Sons Inc., Vol. 13, No. 6, p. 858-867, 2018/06/01
  • An integer programming model for radiographer scheduling considering skills and training, H. Yuura,T. Miyamoto,K. Hidaka, IEEE International Conference on Industrial Engineering and Engineering Management, IEEE Computer Society, Vol. 2017-, p. 889-893, 2018/02/09
  • Synthesizing State Machines from Two Scenarios and a Case Study on Business Process Management, Toshiki Kinoshita,Toshiyuki Miyamoto, Proc. of IEEE SMC 2017, p. 1782-1787, 2017/10
  • Modified Rules for Modular Reachability Analysis of Petri Nets for Multiagent Systems, Toshiyuki Miyamoto, 2017 56TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE), IEEE, p. 149-150, 2017/09
  • Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram, Toshiyuki Miyamoto, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E100D, No. 6, p. 1200-1209, 2017/06
  • Operation Planning for High Unit Utilization in Distributed Energy Management System with Storage Devices, Kodai Shibata,Toshiyuki Miyamoto,Shoichi Kitamura,Kazuyuki Mori,Yoshio Izui, ELECTRICAL ENGINEERING IN JAPAN, WILEY-BLACKWELL, Vol. 199, No. 2, p. 33-46, 2017/04
  • Multi-Objective Embarrassingly Parallel Search with Upper Bound Constraints, T. Miyamoto,M. Yasuhara,K. Mori,S. Kitamura,Y. Izui, 2016 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), IEEE, p. 1334-1339, 2016/10
  • Solving distributed unit commitment problem with walrasian auction, Toshiyuki Miyamoto,Kazuyuki Mori,Shoichi Kitamura,Yoshio Izui, IEEE Transactions on Systems, Man, and Cybernetics: Systems, Institute of Electrical and Electronics Engineers Inc., Vol. 46, No. 8, p. 1088-1097, 2016/08/01
  • System of Systems Approach for Multiple Energy Management Systems, Kazuyuki Mori,Toshiyuki Miyamoto,Shochi Kitamura,Yoshio Izui, Journal of the society of instrument and control engineers, Vol. 55, No. 8, p. 714-718, 2016/08
  • A Study on Synthesizing State Machines from Multiple Communication Diagrams, Toshiki Kinoshita,Toshiyuki Miyamoto, Proc. of ITC-CSCC 2016, 2016/07
  • CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets, Toshiyuki Miyamoto, Proc. of International Workshop on Petri Nets and Software Engineering, p. 335-340, 2016/06
  • Choreography Realization by Re-Constructible Decomposition of Acyclic Relations, Toshiyuki Miyamoto, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E99D, No. 6, p. 1420-1427, 2016/06
  • Demand Control of Community Energy Management Systems Using Altenating Direction Method of Multipliers, Takuya Fukuda,Masahiro Okada,Toshiyuki Miyamoto,Shochi Kitamura,Kazuyuki Mori,Yoshio Izui, 2016/05
  • Multi-Objective Constraint Optimization in Mail-Order Pharmacy Automated Distribution System, T. Miyamoto,N. Ueno,D. Li,S. W. Yoon, 2016 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT (IEEM), IEEE, p. 51-55, 2016/04
  • Operation Planning of Community Energy Management Systems Considering Inter-community Energy Trade, M. Okada,T. Miyamoto,S. Kitamura,K. Mori,Y. Izui, Proc. of IEEJ International Workshop on Sensing, Actuation, Motion Control, and Optimization, 2016/03
  • Multi-objective embarrassingly parallel search for constraint programming, M. Yasuhara,T. Miyamoto,K. Mori,S. Kitamura,Y. Izui, IEEE International Conference on Industrial Engineering and Engineering Management, IEEE Computer Society, Vol. 2016-, p. 853-857, 2016/01/18
  • CSCB Tools: Tool for Supporting the Design of Systems Based on SOA, Toshiyuki Miyamoto, Proc. of 2015 IEEE 4-th Global Conference on Consumer Electronics, p. 42-43, 2015/10
  • Constraint programming model for operational planning and scheduling problem in automatic picking system, Toshiyuki Miyamoto,Kazuyuki Mori,Shoichi Kitamura,Yoshio Izui, Proc. of International Symposium on Scheduling 2015, p. 163-168, 2015/07
  • Operation planning for high unit utilization in distributed energy management system with storage devices, Kodai Shibata,Toshiyuki Miyamoto,Shoichi Kitamura,Kazuyuki Mori,Yoshio Izui, IEEJ Transactions on Electronics, Information and Systems, Institute of Electrical Engineers of Japan, Vol. 135, No. 2, p. 225-235, 2015/02/01
  • Operation Optimization of Factory Power Generation Plant Considering an Uncertainty, Shoichi Kitamura,Kazuyuki Mori,Yoshio Izui,Toshiyuki Miyamoto,Shigemasa Takai, ELECTRICAL ENGINEERING IN JAPAN, WILEY-BLACKWELL, Vol. 189, No. 2, p. 34-44, 2014/11
  • Constraint Programming and Mixed Integer Programming Hybrid Method for Car Control and Assignment Problem in MCE Systems, Tatsuya Minegishi,Toshiyuki Miyamoto, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, Vol. J97-A, No. 10, p. 618-628, 2014/10
  • Application of RCPSP to Heat-treatment Processes: A Case Study, Toshiyuki Miyamoto,Kazuyuki Mori,Shoichi Kitamura,Yoshio Izui, Proc. of 2014 International Symposium on Flexible Automation, 2014/07
  • A Study of Resource Constraint Project Scheduling Problem for Energy Saving, Toshiyuki Miyamoto,Kazuyuki Mori,Shoichi Kitamura,Yoshio Izui, 2014 IEEE INTERNATIONAL CONFERENCE ON SYSTEM SCIENCE AND ENGINEERING (ICSSE), IEEE, p. 23-26, 2014/07
  • Computational Evaluation of Multi-Objective Optimization Method for Constraint Programming, M. Yasuhara,T. Miyamoto,K. Mori,S. Kitamura,Y. Izui, 2014/05
  • Distributed Energy Management Systems with Aggregator Agent, K. Shibata,T. Miyamoto,K. Mori,S. Kitamura,Y. Izui, IEICE Technical Report, 2014/03
  • On Resource Constrained Project Scheduling Problem with Resource Consumption Varying with Time, S. Yoshida,T. Miyamoto,K. Mori,S. Kitamura,Y. Izui, IEICE Technical Report, 2014/03
  • Special section on mathematical systems science and its applications, Yoshinao Isobe,Atsushi Ota,Shoichi Kitamura,Satoshi Taoka,Tatsuhiro Tsuchiya,Morikazu Nakamura,Toshiyuki Miyamoto,Shingo Yamaguchi,Tatsushi Yamasaki,Satoshi Yamane, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E97-A, No. 2, 2014
  • Computational evaluation of hybrid method for car control and assignment problem in MCE systems, Tatsuya Minegishi,Toshiyuki Miyamoto, Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics, Institute of Electrical and Electronics Engineers Inc., Vol. 2014-, No. January, p. 992-995, 2014
  • An approach for synthesizing intelligible state machine models from choreography using petri nets, Toshiyuki Miyamoto,Yasuwo Hasegawa,Hiroyuki Oimura, IEICE Transactions on Information and Systems, Institute of Electronics, Information and Communication, Engineers, IEICE, Vol. E96-D, No. 5, p. 1171-1180, 2014
  • Cuckoo Search Algorithm for Job Scheduling in Cloud Systems, S. Amtade,T. Miyamoto, IEICE Technical Report, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E98A, No. 2, p. 645-649, 2014/01
  • Hybrid CP/MIP Method for Car Control and Assignment Problem in Mce Systems, T. Minegishi,T. Miyamoto, IEICE Technical Report, 2013/11
  • Operation Optimization Method for Factory Power Generation Plant Considering Probability Distribution, Shoichi Kitamura,Kazuyuki Mori,Yoshio Izui,Toshiyuki Miyamoto,Shigemasa Takai, Proc. of The IASTED International Symposium on Power and Energy, IASTED, p. 6-13, 2013/11
  • Modular Reachability Analysis of Petri Nets for Multiagent Systems, Toshiyuki Miyamoto,Kyota Horiguchi, IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 43, No. 6, p. 1411-1423, 2013/11
  • On Implementation of a Petri Net Based Method for the Choreograph Realization Problem, H. Oimura,T. Miyamoto, 2013/09
  • Factory energy management system considering an uncertainty, S. Kitamura,K. Mori,Y. Izui,T. Miyamoto,S. Takai, 2013/09
  • A Case Study of RCPSP Considering Diverse Energy Constraints, S. Yoshida,T. Miyamoto,K. Mori,S. Kitamura,Y. Izui, 2013/09
  • Operation Planning of Distributed Energy Management Systems by using Market Principle, T. Miyamoto,K. Mori,S. Kitamura,Y. Izui, 2013/09
  • A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets, Toshiyuki Miyamoto,Hiroyuki Oimura, Proc. of PNSE 2013, 2013/06
  • Modular reachability analysis of petri nets for multiagent systems, Toshiyuki Miyamoto,Kyota Horiguchi, IEEE Transactions on Systems, Man, and Cybernetics: Systems, Institute of Electrical and Electronics Engineers Inc., Vol. 43, No. 6, p. 1411-1423, 2013
  • Random search for dispatch and conflict-free routing problem of capacitated AGV systems, Toshiyuki Miyamoto,Kensuke Inoue, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013, p. 1611-1615, 2013
  • A study of car control and assignment problem in MCE systems using hybrid method, Tatsuya Minegishi,Toshiyuki Miyamoto, 2013 IEEE 2nd Global Conference on Consumer Electronics, GCCE 2013, p. 540-543, 2013
  • Operation optimization of factory power generation plant considering an uncertainty, Shoichi Kitamura,Kazuyuki Mori,Yoshio Izui,Toshiyuki Miyamoto,Shigemasa Takai, IEEJ Transactions on Electronics, Information and Systems, Institute of Electrical Engineers of Japan, Vol. 133, No. 4, p. 822-830, 2013
  • RCPSP with Partially Renewable Resources and Resource Consumption during Setup Operations, H. Okubo,T. Miyamoto,K. Mori,S. Kitamura,Y. Izui, Proc. of IEEM 2012, 2012/12
  • Heuristic Mode Restriction Method on RCPSP/$\pi$RC, H. Okubo,T. Miyamoto,K. Mori,S. Kitamura,Y. Izui, IEICE Technical Report, 2012/11
  • A Study of Car Control and Assignment Problem in MCE Systems Using Mixed Integer Programming, T. Minegishi,T. Miyamoto, IEICE Technical Report, 2012/07
  • A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography, Toshiyuki Miyamoto,Yasuwo Hasegawa, Proc. of International Workshop on Petri Nets and Software Engineering 2012, 2012/06
  • A Study on RCPSP Considering Diverse Energy Constraints, H. Okubo,T. Miyamoto,K. Mori,S. Kitamura,Y. Izui, 2012/05
  • A Formulation Using Integer Programming for the Car Control and Assignment Problem in MCE Systems, Tatsuya Minegishi,Toshiyuki Miyamoto, Proceedings of the 2012 IEICE General Conference, 2012/03
  • Performance evaluation of an option-based learning algorithm in multi-car elevator systems, Alex Valdivielso Chian,Toshiyuki Miyamoto, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Institute of Electronics, Information and Communication, Engineers, IEICE, Vol. E95-A, No. 4, p. 835-839, 2012
  • A Study for Bounded Model Checking of UML State Machines Using SMT Solvers, Hayato Niimura,Toshiyuki Miyamoto, IEICE Technical Report, 2012/01
  • On Transforming Communication Diagrams to State Machine of cbUML and Their Formal Semantics, Yasuwo Hasegawa,Toshiyuki Miyamoto, IEICE Technical Report, 2012/01
  • Knowledge reuse method to improve the learning of interference-preventive allocation policies in multi-car elevators, Alex Valdivielso Chian,Toshiyuki Miyamoto, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Institute of Electronics, Information and Communication, Engineers, IEICE, Vol. E95-A, No. 5, p. 990-995, 2012
  • Option-Based Monte Carlo Algorithm with Conditioned Updating to Learn Conflict-Free Task Allocation in Transport Applications, Alex Valdivielso,Toshiyuki Miyamoto, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E94A, No. 12, p. 2810-2820, 2011/12
  • A UML Subset for Design and Verification of Systems Based on SOA, Yasuwo Hasegawa,Hayato Niimura,Toshiyuki Miyamoto, IEICE Technical Report, 2011/11
  • A Reinforcement Learning Method for POMDPs Environment Using Partial History of State Transitions, Shinichi Fujiwara,Toshiyuki Miyamoto, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, 2011/10
  • Synthesizing Behavioral Model of Services by Using Petri Net, Toshiyuki Miyamoto, 2011/09
  • A Resource Constrained Project Scheduling Problem Considering Energy Consumption in Modal Changes - A Report on Computational Experiments -, Toshiyuki Miyamoto,Yinji Ren,Kazuyuki Mori,Shoichi Kitamura,Takaya Yamamoto,Yoshio Izui, 平成23年 電気学会 電子・情報・システム部門大会 講演論文集, 2011/09
  • An Evaluation of Trading Methods for a Distributed Energy Management System, Koji Yakire,Toshiyuki Miyamoto,Sadatoshi Kumagai,Kazuyuki Mori,Shoichi Kitamura,Takaya Yamamoto, ELECTRONICS AND COMMUNICATIONS IN JAPAN, WILEY-BLACKWELL, Vol. 94, No. 6, p. 32-40, 2011/06
  • On Correctness of the Method to Transform UML Communication Diagrams to UML State Machine Diagrams by Eliminating Bridges, Hasegawa Yasuwo,Miyamoto Toshiyuki, Proc. of the 55th Annual Conference of the Institute of Systems, Control and Information Engineers, 2011/05
  • A Multiple Period Problem in Distributed Energy Management Systems Considering CO2 Emissions, Yuki Muroda,Toshiyuki Miyamoto,Kazuyuki Mori,Shoichi Kitamura,Takaya Yamamoto, 2011/04
  • Multicar-Elevator Group Control Algorithm for Interference Prevention and Optimal Call Allocation, Alex Valdivielso,Toshiyuki Miyamoto, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 41, No. 2, p. 311-322, 2011/03
  • Modular reachability analysis in fundamental class of multi-agent nets, Toshiyuki Miyamoto,Kyota Horiguchi, IECON Proceedings (Industrial Electronics Conference), p. 3782-3787, 2011
  • Reinforcement Learning with Conditioned Rule Updating to Prevent Conflicts during the Allocation of Tasks, Alex Valdivielso,Toshiyuki Miyamoto, IEICE Technical Report, 2011/01
  • A Study of a Symbolic Encoding Method for Bounded Model Checking of UML State Machines with Synchronous and Asynchronous Transitions, Hayato Niimura,Toshiyuki Miyamoto, IEICE Technical Report, 2010/11
  • On transforming UML Communication Diagrams to UML State Machine Diagrams by Deleting T-T Bridges, Yasuwo Hasegawa,Toshiyuki Miyamoto, IEICE Technical Report, 2010/11
  • A Resource Constraint Project Scheduling Problem Considering Energy Consumption in Modal Changes, Y. Ren,T. Miyamoto,K. Mori,S. Kitamura,T. Yamamoto,Y. Izui, Proceedings of Electronics, Information and Systems Conference, 2010/09
  • Empirical Evaluation of an Average Reward Learning Method Handling Simultaneous Learning Episodes in a Dynamic Environment with Emerging Tasks, Alex Valdivielso,Toshiyuki Miyamoto, Proceedings of the 54th Annual Conference of the Institute of Systems, Control and Information Engineers, 2010/05
  • Resource Constraint Scheduling Problem Considering Energy Consumption in Modal Changes, Y. Ren,T. Miyamoto, Proceedings of the 54th Annual Conference of the Institute of Systems, Control and Information Engineers, 2010/05
  • AS-3-4 CSTソリューションコンペティション2010の概要 : マルチカーエレベータの最適制御(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション), 中村 正樹,山崎 達志,山口 真悟,宮本 俊幸,内平 直志, 電子情報通信学会総合大会講演論文集, 一般社団法人電子情報通信学会, Vol. 2010, p. "S-29"-"S-30", 2010/03/02
  • A Cooperative Learning Method for the Group Control Problem in Multi-Car Elevator Systems, Alex Valdivielso,Toshiyuki Miyamoto, Proceedings of the 2010 IEICE General Conference, 2010/03
  • A study on symbolic encoding of synchronous transitions in bounded model checking of UML State Machines, Hayato Niimura,Toshiyuki Miyamoto, Proceedings of the 2010 IEICE General Conference, 2010/03
  • On Constructing UML State Machine Diagrams from UML Communication Diagrams Using Petri-nets without Constructing the Reachability Space, Yasuwo Hasegawa,Toshiyuki Miyamoto, Proceedings of the 2010 IEICE General Conference, 2010/03
  • Synthesis of state machine diagrams from communication diagrams using Petri nets, Toshiyuki Miyamoto,Hiroyuki Kurahata,Taku Fujii,Ryoji Hosokawa, Innovations in Systems and Software Engineering, Vol. 6, No. 1, p. 39-46, 2010/03
  • Subquery Allocation Problem and Heuristics for Secret Sharing Distributed Database System, Toshiyuki Miyamoto,Takeshi Ikemura, Journal of Computer Systems, Networks, and Communications, Vol. Vol. 2010, Article ID 984059, 2010/02
  • 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, p. 234-239, 2010
  • On Choreography Realization by Using UML Activity Diagrams, Kenji Akamatsu,Taku Fujii,Toshiyuki Miyamoto, IEICE Technical Report, 2010/01
  • Modular Reachability Analysis of Multi-agent Nets by Using Maria, Kyota Horiguchi,Toshiyuki Miyamoto, IEICE Technical Report, 2010/01
  • Solving Start-Stop Problem in Distributed Energy Management Systems Considering Multiple Periods, Y. Muroda,T. Miyamoto,K. Mori,S. Kitamura,T. Yamamoto, 2010/01
  • On energy trading decision methods in distributed energy management systems with multiple customers, Toshiyuki Miyamoto,Yohei Sugimoto,Kazuyuki Mori,Shoichi Kitamura,Takaya Yamamoto, IEEJ Transactions on Electronics, Information and Systems, Institute of Electrical Engineers of Japan, Vol. 130, No. 2, p. 178-185, 2010
  • On Choreography Realization by Using Petri Nets, Toshiyuki Miyamoto,Taku Fujii, IEICE Technical Report, Vol. 109, No. 301, p. 99-104, 2009/11
  • A Planning Technique to Find Feasible Routes for the Task Assignment and Routing Problem Considering Path Constraints, Shinichiro Furumochi,Toshiyuki Miyamoto, 2009/11
  • 多期間分散EMSにおけるエネルギー変換機器起動停止問題の解法, 室田勇輝,宮本俊幸,森一之,北村聖一,山本隆也, 平成21年電気関係学会関西支部連合大会講演論文集, 2009/11
  • A Summary of CST solution Competition 2007 and 2008, S. Yamaguchi,T. Miyamoto,N. Uchihira,Q.W. Ge,S. honiden, IEICE Technical Report, 2009/06
  • On Deadlock Detection for the Task Assignment and Routing Problem Considering Path Constraints, S. Furumochi,T. Miyamoto, 2009/06
  • Peformance Evaluation Increasing the Number of Cars per Shaft and Service Time Improvement in the Up-Peak Traffic of the SCSDSP Algorithm, Alex Valdivielso,Toshiyuki Miyamoto, Proceedings of the 2009 IEICE General Conference, 2009/03
  • Design and Implementation of Secret Sharing Distributed Database System, S. Minakami,T. Miyamoto, IEICE Technical Report, Vol. 108, No. 415, p. 51-56, 2009/01
  • A Study on Dividing CO2 Emission Allowance in Distributed Energy Management Systems Considering Multiple Periods, Y. Muroda,T. Miyamoto,K. Mori,S. Kitamura,T. Yamamoto, 2008/11
  • Multi-Car Elevator Group Control: Algorithm Implementing Schedule Completion Time Optimization, Schedule Direction Synchronizaiton, and Service-Oriented Parking Strategies, A. Valdivielso,T. Miyamoto, 信学技報, 2008/11
  • MceSim: A Multi-Car Elevator Simulator, Toshiyuki Miyamoto,Shingo Yamaguchi, IEICE Trans. Fundamentals, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. 91, No. 11, p. 3207-3214, 2008/11
  • Routing Autonomous Vehicles in the Improving Initial Task Assignment and Avoiding Deadlock Method, Yusuke Morihiro,Toshiyuki Miyamoto,Sadatoshi Kumagai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E91A, No. 11, p. 3229-3236, 2008/11
  • Constructing State Machine Models by Using Petri Nets for the Extended ROOM Method, Toshiyuki Miyamoto,Hiroyuki Kurahata,Taku Fujii,Sadatoshi Kumagai, Proc. of NOLTA 2008, Vol. pp.588-591, 2008/09
  • Multi-Car Elevator Group Control: Schedule Completion Time Optimization Algorithm with Synchronized Schedule Direction and Service Zone Coverage Oriented Parking Strategies, A. Valdivielso,T. Miyamoto,S. Kumagai, Proc. of The 23rd Intl. Tech. Conf. on Circutis/Systems, Computers and Communications, 2008/07
  • An Energy Distribution Decision Method in Distributed Energy Management Systems with Several Agents, Y. Sugimoto,T. Miyamoto,S. Kumagai,K. Mori,S. Kitamura,T. Yamamoto, Proc. of the 17th IFAC World Congress, Vol. pp.664-669, 2008/07
  • 分散EMSにおけるCO2排出源単位調整を取り入れたエネルギー取引決定手法の提案, 杉本洋平,宮本俊幸,熊谷貞俊,森一之,北村聖一,山本隆也, 第43回離散事象システム研究会講演論文集, 2008/06
  • CST Solution Competition 2007 -Detailed Results of Computational Evaluation-, Toshiyuki Miyamoto,Shingo Yamaguchi,Naoshi Uchihira,Qi-Wei Ge,Shinichi Honiden, IEICE Technical Report, 2008/06
  • A Routing Method Considering Collisions for Autonomous Distributed AGVs, Shinichiro Furumochi,Toshiyuki Miyamoto,Sadatoshi Kumagai, 2008/05
  • Optimal Planning Problem considering Multi-Periods in Distributed Energy Management Systems, Yuki Muroda,Yohei Sugimoto,Toshiyuki Miyamoto,Sadatoshi Kumagai, 2008/03
  • A GUI to Edit Predecessor Table on Extended ROOM Method, Kenji Akamatsu,Hiroyuki Kurahata,Taku Fujii,Toshiyuki Miyamoto,Sadatoshi Kumagai, 2008/03
  • Evaluation and Consideration on Multi-Car Elevator Group Control Algorithms, Shingo YAMAGUCHI,Toshiyuki MIYAMOTO,Naoshi UCHIHIRA,Qi-Wei GE,Shinichi HONIDEN, IEICE ESS Fundamentals Review, Institute of Electronics, Information and Communications Engineers (IEICE), Vol. 2, No. 1, p. 58-65, 2008
  • CO2 Emission Basic Unit Control Mechanism in a Distributed Energy Management System Using the Market Oriented Programming, Yohei Sugimoto,Toshiyuki Miyamoto,Sadatoshi Kumagai,Shoichi Kitamura,Takaya Yamamoto,Kazuyuki Mori, 2008 IEEE International Conference on Sustainable Energy Technologies, ICSET 2008, p. 520-525, 2008
  • A Study on Applying Reinforcement Learning to a Safety Critical System, S. Fujiwara,T. Miyamoto,S. Kumagai, 2008/01
  • Multi-Car Elevator Group Controller: Implementation of a Schedule Completion Time Optimization Algorithm with a Parking Strategy for Service Coverage Protection, A. Valdivielso,T. Miyamoto,S. Kumagai, 信学技法, 2008/01
  • An Application of the Market-Oriented Programming to Energy Trading Decision Method in Distributed Management Systems, K. Yakire,T. Miyamoto,S. Kumagai,K. Mori,S. Kitamura,T. Yamamoto, IEEJ Trans. EIS, Vol. 128, No. 1, p. 24-31, 2008/01
  • An evaluation of trading methods for a distributed energy management system, Koji Yakire,Toshiyuki Miyamoto,Sadatoshi Kumagai,Kazuyuki Mori,Shoichi Kitamura,Takaya Yamamoto, IEEJ Transactions on Electronics, Information and Systems, Institute of Electrical Engineers of Japan, Vol. 128, No. 5, p. 17-810, 2008
  • 分散EMSにおけるCO2排出原単位調整手法の提案, 杉本洋平,宮本俊幸,熊谷貞俊,森 一之,北村聖一,山本隆也, 第42回離散事象システム研究会 講演論文集, 2007/12
  • A Routing Method for Autonomous Distributed AGV Systems, Y. Morihiro,T. Miyamoto,S. Kumagai, 2007/12
  • ROOM法とエージェントネットによるSOAシミュレータの提案, 倉畑宏行,藤井拓,宮本俊幸,熊谷貞俊, 2007/12
  • An optimal share transfer problem on secret sharing storage systems, Toshiyuki Miyamoto,Sadatoshi Kumagai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E90A, No. 11, p. 2458-2464, 2007/11
  • On Implementation of Secret Sharing Distributed Database System using Multi Agent Nets, S. Minakami,T. Miyamoto,S. Kumagai, IEICE Technical Report, 2007/11
  • CST Solution Competition 2007-Detail of Evaluation Tool-, T. Miyamoto,S. Yamaguchi, IEICE Technical Report, 2007/11
  • Application of Object-Oriented Petri Nets to Industrial Electronics, T. Miyamoto,S. Kumagai, Proc. of IECON 2007, IEEE, Vol. pp.64-69, p. 64-69, 2007/11
  • Computational Evaluation of a Market-Oriented Programming Method for Distributed Energy Management Systems, T. Miyamoto,K. Yakire,S. Kumagai,K. Mori,S. Kitamura,T. Yamamoto, Proc. of SMC2007, IEEE, Vol. 650--655, p. 2287-+, 2007/10
  • 多主体分散EMSにおけるエネルギー取引決定手法に関する研究, 杉本洋平,宮本俊幸,熊谷貞俊,森 一之,北村聖一,山本隆也, 平成19年電気学会C部門大会講演論文集, 2007/09
  • エージェントネットに基づくSOA検証用UMLシミュレータの提案, 倉畑宏行,藤井拓,宮本俊幸,熊谷貞俊, 情報処理学会研究報告, 2007/08
  • An Optimal Share Transfer Problem on Secret Sharing Storage Systems, Toshiyuki Miyamoto,Sadatoshi Kumagai, Proc. of ISPA 2007, SPRINGER-VERLAG BERLIN, Vol. 4742, p. 371-382, 2007/08
  • Autonomous Distributed System and Its Realization by Multi Agent Nets, Sadatoshi Kumagai,Toshiyuki Miyamoto, Proc. of ICATPN 2007, SPRINGER-VERLAG BERLIN, Vol. 4546, p. 3-+, 2007/06
  • A New Trend in Petri Nets Theory - Object-Oriented Petri Nets-, T. Miyamoto, 2007/05
  • 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, Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics, p. 650-655, 2007
  • An initial assignment method for Tasks Assignment and Routing Problem of autonomous distributed AGVs, Yusuke Morihiro,Toshiyuki Miyamoto,Sadatoshi Kumagai, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Institute of Electronics, Information and Communication, Engineers, IEICE, Vol. E90-A, No. 11, p. 2465-2471, 2007
  • An initial task assignment method for tasks assignment and routing problem, Yusuke Morihiro,Toshiyuki Miyamoto,Sadatoshi Kumagai, Proceedings of the SICE Annual Conference, p. 521-526, 2007
  • Vertical partitioning method for secret sharing distributed database system, Toshiyuki Miyamoto,Yasuhiro Morita,Sadatoshi Kumagai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E89A, No. 11, p. 3244-3249, 2006/11
  • An Energy Distribution Decision Method in Distributed Energy Management Systems by the Market-Oriented Programming, Koji Yakire,Toshiyuki Miyamoto,Sadatoshi Kumagai,Kazuyuki Mori,Shoichi Kitamura,Takaya Yamamoto, Proc. of SICE-ICCAS 2006, IEEE, Vol. pp.5983-5988, p. 3044-+, 2006/10
  • A UML Simulator for Behavioral Validation of Systems Based on SOA, Hiroyuki Kurahata,Taku Fuji,Toshiyuki Miyamoto,Sadatoshi Kumagai, Proc. of NWeSP 06, IEEE COMPUTER SOC, Vol. pp.3-10, p. 3-+, 2006/09
  • An Initial Task Assignment Method for Autonomous Distributed Vehicle Systems with Finite Buffer Capacity, Y. Morihiro,T. Miyamoto,S. Kumagai, Proc. of ETFA 2006, IEEE, Vol. pp.805-812, p. 78-+, 2006/09
  • On Reachability Analysis of Multi Agent Nets, Toshiyuki Miyamoto,Masaki Sakamoto,Sadatoshi Kumagai, Proc. of NOLTA 2006, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E90A, No. 10, p. 2257-2260, 2006/09
  • Autonomous distributed system paradigm to secure safety critical, Sadatoshi Kumagai,Toshiyuki Miyamoto,Yuusuke Morihiro, 2006 SICE-ICASE International Joint Conference, p. 47-50, 2006
  • A cooperative algorithm for autonomous distributed vehicle systems with finite buffer capacity, T Miyamoto,N Tsujimoto,S Kumagai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E88A, No. 11, p. 3036-3044, 2005/11
  • A survey of object-oriented Petri nets and analysis methods, T Miyamoto,S Kumagai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E88A, No. 11, p. 2964-2971, 2005/11
  • Experimental Evaluation of a Cooperative Algorithm for Autonomous Distributed Vehicles Systems Considered with Finite Buffer Capacity, T. Miyamoto,N. Tsujimoto,S. Kumagai, Proc. of ETFA, Vol.2, pp.653-666, IEEE, Vol. vol.E88-A, no.11, pp.3036--3044,/,, 2005/09
  • Routing Algorithm for the Pickup and Delivery Problem Considered with Limited Buffer Capacity, N. Tsujimoto,T.Miyamoto,S. Kumagai, Proc. of SICE Annual Conference 2005, pp.2820-2825, 2005/08
  • A Query Optimization Technique in Distributed Database Systems, T. Ikemura,T. Miyamoto,S. Kumagai, Proc. of ITC-CSCC, Vol. pp.1479-1480, 2005/07
  • A modeling method of a rule based control system with hierarchical Petri net, M Sakamoto,T Miyamoto,S Kumagai, 2005 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLS 1-6, CONFERENCE PROCEEDINGS, IEEE, p. 756-759, 2005/05
  • Automatic repair mechanism of secret sharing storage system, D Hayashi,T Miyamoto,S Kumagai, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E88D, No. 5, p. 971-975, 2005/05
  • A modeling method of a rule based control system with hierarchical petri net, Masaki Sakamoto,Toshiyuki Miyamoto,Sadatoshi Kumagai, Proceedings - IEEE International Symposium on Circuits and Systems, p. 756-759, 2005
  • Automatic repair mechanism of secret sharing storage system, Daisuke Hayashi,Toshiyuki Miyamoto,Shinji Doi,Sadatoshi Kumagai, IEICE Transactions on Information and Systems, Institute of Electronics, Information and Communication, Engineers, IEICE, Vol. E88-D, No. 5, p. 971-974, 2005
  • On simulation of BPEL4WS/UML descriptions, Satoru Endo,Toshiyuki Miyamoto,Taku Fujii,Sadatoshi Kumagai, Proceedings - Asia-Pacific Software Engineering Conference, APSEC, Vol. 2005, p. 103-109, 2005
  • An Energy Trading System with Consideration of CO2 Emissions, Toshiyuki Miyamoto,Tomohiro Kitayama,Sadatoshi Kumagai,Kazuyuki Mori,Syoichi Kitamura,Seiichi Shindo, IEEJ Transactions on Electronics, Information and Systems, Vol. 125, No. 10, p. 1513-1521, 2005
  • A Data Synchronization Method for Peer-to-PeerCollaboration Systems, Satoru Endo,Toshiyuki Miyamoto,Sadatoshi Kumagai,Taku Fujii, Proc. of International Symposium on Communications and Information Technologies 2004, pp. 368-373, IEEE, Vol. pp. 368-373, p. 368-373, 2004/10
  • Autonomous Distributed Secret Sharing Storage System, T. Miyamoto,S. Doi,H. Nogawa,S. Kumagai, IEICE Transactions Inf. & Syst. D-I, Vol. Vol.J87-D-I, no.10, pp.899-906,/,, 2004/10
  • Synthesis of Next State Feedback Control of Discrete Event Systems by Using Petri Net Unfoldings, T.Miyamoto,S.Kumagai, Proceedigns of SICE Annual Conference, pp.2074--2079, 2004, 2004/08
  • State Feedback Control of Discrete Event Systems by Using Petri Net Unfoldings, T. Miyamoto,S. Kumagai, Proceedings of the 10th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems, pp.511--516, 2004/07
  • Reliability Improving of Autonomous DistributedSecret Sharing Storage System, Daisuke Hayashi,Toshiyuki Miyamoto,Shinji Doi,Sadatoshi Kumagai, Proceedings of ITC-CSCC 2004, paper 8F1L-3, 2004/07
  • Describing Coordination Mechanism of Autonomous Distributed Systems by using Multi Agent Nets, T. Miyamoto,S. Kumagai, Proceedings of the First International Workshop on Coordination and Petri Nets within 25th International Conference on Application and Theory of Petri Nets, 2004/06
  • A supply chain model using market-oriented programming to an inventory management strategy in consideration of lead time, Kiyotaka Shimada,Toshiyuki Miyamoto,Sadatoshi Kumagai, Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics, Vol. 5, p. 4503-4508, 2004
  • Multi Criteria Real-Time Scheduling for Manufacturing Systems by Context-Dependent Agents, T. Miyamoto,S. Kumagai, Vol. 86, No. 11, p. 2775-2781, 2003/11
  • Route Planning Method for a Dial-a-ride Problem, T. Miyamoto,K. Nakatyou,S. Kumagai, Proceedings of SMC 2003, 2003/10
  • Agent-Based Planning Method for an On-Demand Transportation System, Toshiyuki Miyamoto,Kazuya Nakatyou,Sadatoshi Kumagai, 2003/10
  • Design and Implementation of Autonomous Distributed Secret SharingStorage System, D. Hayashi,T. Miyamoto,S. Doi,S. Kumagai, APCC 2003: 9TH ASIA-PACIFIC CONFERENCE ON COMMUNICATION, VOLS 1-3, PROCEEDINGS, IEEE, Vol. Vol.37, no.6, pp.55-63, p. 57-60, 2003/09
  • On Operation Planning for a On-DemandTransportation Systems, Toshiyuki Miyamoto,Sadatoshi Kumagai, 2003/08
  • WebDAV Frontend for Secret Sharint Storage System, Yasuhiro Morita,Toshiyuki Miyamoto,Shinji Doi,Sadatoshi Kumagai, 2003/07
  • A Graph Based Approach for an Extended ResourcePlanning and Line Balancing Problem, Toshiyuki Miyamoto,Syoji Yamashita,Sadatoshi Kumagai,Koichi Fukumoto,Hideaki Ohta,Yoichi Nagao, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEEE, Vol. E86A, No. 11, p. 2739-2746, 2003/06
  • A Multi-Agent Based Manufacturng Resource Planning and Task Allocation System, Toshiyuki Miyamoto,Daijiroh Ichimura,Sadatoshi Kumagai, IEICE Transactions on Fundamentals, 2003/04
  • Next Generation Manufacturing System, Nobuo Sasaki,Hisaya Watanabe,Shinji Hasebe,Kazuhiro Aoyama,Toshiyuki Miyamoto, 2003/03
  • An operation planning method for a demand-bus system based on local search of autonomous agents, Norihiro Tsujimoto,Toshiyuki Miyamoto,Sadatoshi Kumagai, Proceedings of IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA, Institute of Electrical and Electronics Engineers Inc., Vol. 2, p. 521-526, 2003
  • Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems, Toshiyuki Miyamoto,Bruce H. Krogh,Sadatoshi Kumagai, 電子情報通信学会, 2002/11
  • A Context-Dependent Agent in Consideration of the Buffer Usage for Real-Time Scheduling, T. Kitayama,T. Miyamoto,S. Kumagai, 2002/08
  • Multi Criteria Real-time Scheduling for Manufacturng Systems by Context-Dependent Agents, T. Miyamoto,S. Kumagai, 2002/08
  • Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems, T. Miyamoto,B. H. Krogh,S. Kumagai, 2002/07
  • Agents for Autonomous Distributed Secret Sharing Storage System, D. Hayashi,T. Miyamoto,S. Doi,S. Kumagai, 2002/07
  • An Electric circuit Model of Flow-Shops and its Sensitiity Analysis, Masashi Hattori,Toshiyuki Miyamoto,Sadatoshi Kumagai, 電子情報通信学会, Vol. 85, No. 2, p. 170-180, 2002/02
  • An Unfolding of Unbounded Petri Nets and its Applications to Coverability Checking, Toshiyuki Miyamoto,Ryotaro Sasagawa,Sadatoshi Kumagai, 電子情報通信学会, 2002/01
  • Multi Agent Net Modelling and Realization of the Next Generation Manufacturing System, Toshiyuki Miyamoto,Sadatoshi Kumagai, システム制御情報学会, Vol. 45, No. 8, p. 445-450, 2001/08
  • Multi Agent Net Modelling and Design of Autonomous Distributed Systems, Toshiyuki Miyamoto,Sadatoshi Kumagai, 2000/07
  • A Multi Agent Net Model and the Realization of Software Environment, Toshiyuki Miyamoto,Sadatoshi Kumagai, 1999/06
  • An Algorithm for Petri Nets Reachability by Unfoldings, Toshiyuki Miyamoto,Shun-ichiro Nakano,Sadatoshi Kumagai, IEICE Transactions on Fundamentals, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E82A, No. 3, p. 500-503, 1999/03
  • Autonomous Distributed Control by Multi Agent Nets, H. Nakajima,T. Miyamoto,S. Kumagai, 1999/01
  • A Multi Agent Net Implementation of Discrete Event Systems and its Software Environment, Toshiyuki Miyamoto,Sadatoshi Kumagai, 1998/04
  • Calculating place capacity for petri nets using unfoldings, T. Miyamoto,S. Kumagai, Proceedings - International Conference on Application of Concurrency to System Design, ACSD, Institute of Electrical and Electronics Engineers Inc., Vol. 1998-, p. 143-151, 1998
  • Reversibility Verification of Petri Nets Using Unfoldings, Toshiyuki Miyamoto,Sadatoshi Kumagai, 1997/10
  • Modelling and Control of Autonomous Distributed Manufacturing Systems via Agent Nets, Toshiyuki Miyamoto,Sadatoshi Kumagai, Vol. 15, No. 6, p. 823-826, 1997/09
  • An Agent Net Approach to Autonomous Distributed Manufacturing Systems, Toshiyuki Miyamoto,Sadatoshi Kumagai,Yoichi Nagao,awasaki Heavy,Industries, 1997/07
  • An Agent Net Approach to Autonomous Distributed Manufacturing Systems, Toshiyuki Miyamoto,Sadatoshi Kumagai,Yoichi Nagao, Proceedings of Manufacturing System Design '97, pp. 14-20, 1997/05
  • On Deriving Logic Functions of Asynchronous Circuits by STG Unfoldings, Toshiyuki Miyamoto,Sadatoshi Kumagai, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. 80, No. 3, p. 336-343, 1997/03
  • A Graph Theoretic Approach to Reachability Problem with Petri Net Unfoldings, Toshiyuki Miyamoto,Sadatoshi Kumagai, IEICE Trans. Fundamentals, 電子情報通信学会英文論文誌A分冊, Vol. 79, No. 11, p. 1809-1816, 1996/11
  • An Agent Net Approach to Autonomous Distributed Systems, Sadatoshi Kumagai,Toshiyuki Miyamoto, Proceedings of IEEE International Conference on Systems, Man and Cybernetics, pp.4/3204-4/3209, 1996/10
  • A Multi Agent Net Model of Autonomous Distributed Systems, Toshiyuki Miyamoto,Sadatoshi Kumagai, Proceedings of Symposium on Discrete Events and Manufacturing Systems, pp.619-623, 1996/07
  • An Efficient Algorithm for Deriving Logic Functions of Asynchronous Circuits, Toshiyuki Miyamoto,Sadatoshi Kumagai, Proceedings of Async'96, pp.30-35, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. 79, No. 6, p. 818-824, 1996/03
  • An efficient algorithm for deriving logic functions of asynchronous circuits, T Miyamoto,S Kumagai, SECOND INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS, PROCEEDINGS, I E E E, COMPUTER SOC PRESS, p. 30-35, 1996
  • An Efficient State Space Search for the Synthesis of Asynchronous Circuits by Subspace Construction, Toshiyuki Miyamoto,Dong-Ik Lee,Sadatoshi Kumagai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. 78, No. 11, p. 1504-1510, 1995/11
  • Equivalent Net Reduction for Firing Sequence, Masato Nakagawa,Mi,subishi Heavy,Industries Ltd,Sadatoshi Kumagai,Toshiyuki Miyamoto,Dong-Ik S. Lee,Kwang-Ju,Institution of Science,Technology, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. 78, No. 11, p. 1447-1457, 1995/11
  • An Efficient Method to Derive Logic from Signal Transition Graphs for Asynchronous Circuits, Toshiyuki Miyamoto,Dong-Ik Lee,Sadatoshi Kumagai, 1995/07

Misc.

  • Reachability Analysis of Petri Nets, Toshiyuki Miyamoto, Vol. 13, No. 1, p. 20-27, 2019/07
  • Modeling and Analysis of Large-Scale Discrete Event Systems Using Object-Oriented Petri Nets, Toshiyuki Miyamoto, Journal of the Society of Instrument and Control Engineers, Vol. 56, No. 12, p. 961-966, 2017/12
  • Distributed Optimization by Alternating Direction Method of Multipliers, Toshiyuki Miyamoto,Shochi Kitamura,Kazuyuki Mori,Yoshio Izui, Systems, Control and Information, Vol. 60, No. 6, p. 219-224, 2016/06
  • Greedy Heuristic Methods for 2-object Min-Max Set Multi-cover Problem, SUN Qiwei,宮本俊幸,北村聖一,松岡綾子,内藤健人,森一之,泉井良夫, 電子情報通信学会技術研究報告, Vol. 119, No. 470(MSS2019 57-68), 2020
  • 需給調整市場の約定問題に対する確率最適化を用いた定式化, 宮本俊幸,北村聖一,内藤健人,森一之,泉井良夫, 電気学会電子・情報・システム部門大会講演論文集(CD-ROM), Vol. 2019, 2019
  • CST solution competition 2010 Optimization of Multi-Car Elevator Controllers, NAKAMURA Masaki,YAMASAKI Tatsushi,YAMAGUCHI Shingo,MIYAMOTO Toshiyuki,UCHIHIRA Naoshi, IEICE technical report, The Institute of Electronics, Information and Communication Engineers, Vol. 110, No. 370, p. 1-4, 2011/01/13
  • Special Section on Theory of Concurrent Systems and its Applications FOREWORD, Toshiyuki Miyamoto, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E92A, No. 11, p. 2706-2706, 2009/11
  • CST ソリューションコンペティション 2007 (課題と評価ツール), 山口真悟,宮本俊幸,内平直志,葛崎偉,本位田真一, 2007年電子情報通信学会ソサイェティ大会講演論文集, Vol. Vol.2, No.1, pp.58-65, 2007/09

Publications

  • Introduction to Electric Circuits, Toshiyuki Miyamoto, 2021/02
  • Innovative Systems Approach for Designing Smarter World, Toshiya Kaihara,Hajime Kita,Shingo Takahashi, Springer, 2020/09
  • Energy Management, Toshiyuki Miyamoto, In-teh, ISBN:9789533070650, 2010/03

Awards

  • 編集活動貢献賞, 宮本 俊幸, 電子情報通信学会 基礎・境界ソサイエティ, 2018/09
  • 貢献賞, 宮本俊幸, 電子情報通信学会 基礎・境界ソサイエティ, 2016/09
  • IEEE GCCE 2015 Outstanding Paper Award, Toshiyuki Miyamoto, 2015 IEEE 4th Global Conference on Consumer Electronics, 2015/10
  • 貢献賞, 宮本俊幸, 電子情報通信学会 基礎・境界ソサイエティ, 2014/09
  • 平成26年 電子・情報・システム部門誌 優秀論文賞, 北村,森,泉井,宮本,高井, 電気学会 電子・情報・システム部門, 2014/09
  • IEICE SENIOR MEMBER, Toshiyuki Miyamoto, Institute of Electronics, Information and Communication Engineers, 2012/05
  • 2009年研究会優秀論文賞, 水上翔太,宮本俊幸, 電子情報通信学会コンカレント工学研究専門委員会, 2010/11
  • 功労感謝状, 宮本俊幸, 電子情報通信学会 基礎・境界ソサイエティ, 2009/09
  • JGN2アワード(地域貢献・人材育成賞), 地域間相互接続実験プロジェクトII, JGN2アワード委員会, 2008/01
  • 利用促進賞(地域貢献優秀賞), 地域相互接続実験プロジェクトII, 次世代高度ネットワーク推進会議幹事会, 2007/01
  • James C. Hung Best Paper Award in Factory Automation, Yusuke Morihiro,Toshiyuki Miyamoto,Sadatoshi Kumagai, 12th IEEE International Conference on Emerging Technologies and Factory Automation, IEEE Industrial Electronics Society, 2006/09
  • ギガビットネットワーク・シンポジウム2004 先端・基盤技術賞, 秘匿性,信頼線を保証した広大域自律分散ストレージシステムの構築, 通信・放送機構, 2004/01
  • 第11回回路とシステム軽井沢ワークショップ 奨励賞, 宮本 俊幸, 電子情報通信学会, 1998/04

Academic Activities

  • 計測自動制御学会 JSMSI アソシエイト エディタ, 2017/04 - Present
  • 電子情報通信学会・システム数理と応用研究専門委員会(委員), 2011/05 - Present
  • ITC-CSCC 2019 プログラム委員会 共同委員長, 2018/11 - 2019/07
  • SICE 2018 プログラム委員会 副委員長, 2018/01 - 2018/09
  • システム制御情報学会 編集委員会 委員, 2016/06 - 2018/05
  • 計測自動制御学会 IASA大規模問題に対するシステムズアプローチWG(委員), 2014/05 - 2017/12
  • 電子情報通信学会・回路とシステム研究専門委員会(委員), 2011/05 - 2017/05
  • スケジューリング・シンポジウム2014, スケジューリング学会, 2014/09 -
  • 第26回 回路とシステムワークショップ, 電子情報通信学会, 2013/07 -
  • アイサイ・オープンレクチャー, システム制御情報学会, 2007/12 -