JA

Profile

Research

Social

Other

Takai Shigemasa

髙井　重昌

Graduate School of Engineering　Division of Electrical, Electronic and Information Engineering, Professor

keyword Control Engineering

Education

  • 1989/04 - 1991/03, Kobe University
  • 1985/04 - 1989/03, Kobe University, Faculty of Engineering

Research History

  • 2007/04 - 2009/03, Kyoto Institute of Technology, Graduate School of Science and Technology
  • 2006/04 - 2007/03, Kyoto Institute of Technology, Graduate School of Science and Technology
  • 2004/10 - 2006/03, Kyoto Institute of Technology
  • 1999/10 - 2004/09, Wakayama University
  • 1998/04 - 1999/09, Wakayama University, Faculty of Systems Engineering
  • 1992/06 - 1998/03, Osaka University, School of Engineering
  • 2009/04 - , Osaka University, Graduate School of Engineering

Research Areas

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

Professional Memberships

  • 米国電気電子学会(The Institute of Electrical and Electronic Engineers)
  • 計測自動制御学会
  • システム制御情報学会
  • 電子情報通信学会

Papers

  • A lifting approach to learning-based self-triggered control with Gaussian processes, Wang Zhijun,Kazumune Hashimoto,Wataru Hashimoto,Shigemasa Takai, Advanced Robotics, Vol. 38, No. 6, p. 410-420, 2024/04
  • Synthesis of event-triggered controllers for SIRS epidemic models, Lichen Ding,Kazumune Hashimoto,Shigemasa Takai, Nonlinear Analysis: Hybrid Systems, Vol. 51, p. 1-16, 2024/02
  • Constrained distributed online convex optimization with bandit feedback for unbalanced digraphs, Keishin Tada,Naoki Hayashi,Shigemasa Takai, IET Control Theory & Applications, Wiley, Vol. 18, No. 2, p. 184-200, 2024/01
  • A General Architecture for Intersection-Based Decentralized Supervisory Control of Discrete Event Systems, Akihito Hayano,Shigemasa Takai, IEEE Transactions on Automatic Control, IEEE, Vol. 69, No. 1, p. 674-680, 2024/01
  • Quantized Gradient Descent Algorithm for Distributed Nonconvex Optimization, Junya YOSHIDA,Naoki HAYASHI,Shigemasa TAKAI, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Institute of Electronics, Information and Communications Engineers (IEICE), Vol. E106-A, No. 10, p. 1297-1304, 2023/10
  • 適応的大規模近傍探索を用いたEV による電力及び物資の配送計画, 廣島天晴,宮本俊幸,北村聖一,内藤健人,森 一之,高井重昌,泉井良夫, 電気学会論文誌Ｃ, 電気学会, Vol. 143, No. 9, p. 959-970, 2023/09
  • Distributed Online Optimization With Dynamic Coupling Constraints Under Time-Varying Communication Delays, Keito Inoue,Naoki Hayashi,Shigemasa Takai, IEEE Access, Institute of Electrical and Electronics Engineers (IEEE), Vol. 11, p. 87256-87269, 2023/08
  • Codiagnosability for Intersection-Based Decentralized Diagnosis of Discrete Event Systems, Shigemasa Takai,Takashi Yamamoto, Proceedings of the 22nd IFAC World Congress, p. 3585-3590, 2023/07
  • Prediction of superimposed laser shot number for copper using deep convolutional neural network, Konika Rani,Norimasa Ozaki,Yoichiro Hironaka,Kazumune Hashimoto,Ryosuke Kodama,Kanji Mukai,Hirotaka Nakamura,Shigemasa Takai,Hideo Nagatomo, Optics Express, Optica Publishing Group, Vol. 31, No. 15/17, p. 24045-24053, 2023/06/14
  • Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems, Jinglun Li,Shigemasa Takai, IEEE Transactions on Automatic Control, IEEE, Vol. 68, No. 6, p. 3529-3544, 2023/06
  • Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications, Shigemasa Takai, Automatica, Vol. 152, p. 1-5, 2023/06
  • Distributed primal-dual method on unbalanced digraphs with row stochasticity, Hiroaki Sakuma,Naoki Hayashi,Shigemasa Takai, International Journal of Control, Taylor & Francis, 2023/05
  • 合意に基づく分散スケジューリング法へのハイブリッドメタヒューリスティクスの適用, 宮本俊幸,井上大地,梅田豊裕,高井重昌, システム制御情報学会論文誌, システム制御情報学会, Vol. 36, No. 2, p. 27-39, 2023/02
  • Distributed Online Adaptive Gradient Descent With Event-Triggered Communication, Koki Okamoto,Naoki Hayashi,Shigemasa Takai, IEEE Transactions on Control of Network Systems, Institute of Electrical and Electronics Engineers (IEEE), p. 1-12, 2023
  • A General Intersection-Based Architecture for Decentralized Supervisory Control of Discrete Event Systems, Akihito Hayano,Shigemasa Takai, Proceedings of the 61st IEEE Conference on Decision and Control, IEEE, p. 4244-4249, 2022/12
  • Distributed Inequality Constrained Online Optimization for Unbalanced Digraphs using Row Stochastic Property, Keishin Tada,Naoki Hayashi,Shigemasa Takai, Proceedings of the 61st IEEE Conference on Decision and Control, IEEE, p. 2283-2288, 2022/12
  • Deterministic supervisory control with flexible upper-bounds on observation delay and control delay, Weilin Wang,Yanwei Zang,Shigemasa Takai,Lachlan L. H. Andrew,Chaohui Gong, Automatica, Elsevier, Vol. 144, p. 1-13, 2022/10
  • Verification of Reliable Inference-Diagnosability for Decentralized Diagnosis with Single-Level Inference, Takumi Hamada,Shigemasa Takai, Proceedings of the 16th International Workshop on Discrete Event Systems, Elsevier, p. 244-249, 2022/09
  • Cooperative tracking in camera sensor networks with sliding mode control, Yoshihiro Kameoka,Naoki Hayashi,Shigemasa Takai, Advanced Robotics, Taylor & Francis, Vol. 37, No. 1-2, p. 130-140, 2022/09
  • Decentralized Control of Nondeterministic Discrete Event Systems with Deterministic Specifications, Akari Kimura,Shigemasa Takai, Proceedings of the 37th International Technical Conference on Circuits/Systems, Computers and Communications, IEEE, p. 1-4, 2022/07
  • Learning-Based Iterative Optimal Control for Unknown Systems Using Gaussian Process Regression, Wataru Hashimoto,Kazumune Hashimoto,Yuga Onoue,Shigemasa Takai, Proceedings of the 2022 European Control Conference, IEEE, p. 1554-1559, 2022/07
  • Cooperative target tracking by multiagent camera sensor networks via Gaussian process, Takashi Adachi,Naoki Hayashi,Shigemasa Takai, IEEE Access, IEEE, Vol. 10, p. 71717-71727, 2022/07
  • Reliable Diagnosability for Decentralized Diagnosis of Discrete Event Systems with Single-Level Inference, Takumi Hamada,Shigemasa Takai, Proceedings of the 2022 American Control Conference, IEEE, p. 3746-3751, 2022/06
  • Decentralized diagnosis of discrete event systems subject to permanent sensor failures, Akihito Wada,Shigemasa Takai, Discrete Event Dynamic Systems: Theory and Applications, Springer, Vol. 32, No. 2, p. 159-193, 2022/06
  • Reliable decentralized supervisory control of discrete event systems with single-level inference, Shigemasa Takai,Sho Yoshida, IEICE Transactions on Fundamentals, IEICE, Vol. E105-A, No. 5, p. 799-807, 2022/05
  • STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks, Wataru Hashimoto,Kazumune Hashimoto,Shigemasa Takai, IEEE Robotics and Automation Letters, Institute of Electrical and Electronics Engineers (IEEE), Vol. 7, No. 2, p. 5246-5253, 2022/04
  • Maximally permissive modular similarity control of composite nondeterministic discrete event systems, Jinglun Li,Shigemasa Takai, IEEE Control Systems Letters, IEEE, Vol. 6, p. 2305-2310, 2022/02
  • Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems, Jinglun Li,Shigemasa Takai, Automatica, Elsevier, Vol. 135, p. 1-13, 2022/01
  • Modular similarity control of nondeterministic discrete event systems with modular specifications, IEEE Control Systems Letters, IEEE, Vol. 6, p. 1358-1363, 2022/01
  • Logarithmic Regret for Distributed Online Subgradient Method over Unbalanced Directed Networks, Makoto YAMASHITA,Naoki HAYASHI,Takeshi HATANAKA,Shigemasa TAKAI, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Institute of Electronics, Information and Communications Engineers (IEICE), Vol. E104-A, No. 8, p. 1019-1026, 2021/08
  • Distributed gradient descent method with edge‐based event‐driven communication for non‐convex optimization, Takashi Adachi,Naoki Hayashi,Shigemasa Takai, IET Control Theory & Applications, Institution of Engineering and Technology (IET), Vol. 15, No. 12, p. 1588-1598, 2021/08
  • Synthesis of maximally permissive supervisors for nondeterministic discrete event systems with nondeterministic specifications, Shigemasa Takai, IEEE, Vol. 66, No. 7, p. 3197-3204, 2021/07
  • A general framework for diagnosis of discrete event systems subject to sensor failures, Automatica, Vol. 129, p. 1-12, 2021/07
  • Distributed primal-dual perturbation algorithm over unbalanced directed networks, Hiroaki Sakuma,Naoki Hayashi,Shigemasa Takai, IEEE Access, Institute of Electrical and Electronics Engineers (IEEE), Vol. 9, p. 75324-75335, 2021/05
  • Linear convergence of consensus-based quantized optimization for smooth and strongly convex cost functions, Yuichi Kajiyama,Naoki Hayashi,Shigemasa Takai, IEEE, Vol. 66, No. 3, p. 1254-1261, 2021/03
  • Dynamic Regret Analysis for Event-Triggered Distributed Online Optimization Algorithm, Makoto YAMASHITA,Naoki HAYASHI,Shigemasa TAKAI, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Institute of Electronics, Information and Communications Engineers (IEICE), Vol. E104-A, No. 2, p. 430-437, 2021/02
  • 分散スケジューリング問題に対する合意に基づく解法, 宮本俊幸,梅田豊裕,高井重昌, システム制御情報学会論文誌, システム制御情報学会, p. 58-67, 2021/02
  • Deterministic supervisors for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications, Kohei Shimatani,Shigemasa Takai, IEICE Transactions on Fundamentals, IEICE, Vol. E104-A, No. 2, p. 438-446, 2021/02
  • Maximally permissive nonblocking similarity control of nondeterministic discrete event systems, Jinglun Li,Shigemasa Takai, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, p. 73-78, 2020/12
  • A generalized diagnosability condition for diagnosis of discrete event systems subject to sensor failures, Shigemasa Takai, Proceedings of the 15th International Workshop on Discrete Event Systems, IFAC, p. 344-349, 2020/11
  • Distributed Blade Pitch Angle Control in Floating Offshore Wind Farm with Coordination of Total Power Generation, Wataru HASHIMOTO,Naoki HAYASHI,Naoyuki HARA,Shigemasa TAKAI, Transactions of the Society of Instrument and Control Engineers, The Society of Instrument and Control Engineers, Vol. 56, No. 8, p. 395-402, 2020/08
  • Distributed job shop scheduling using consensus alternating direction method of multipliers, Toshiyuki Miyamoto,Toyohiro Umeda,Shigemasa Takai, Proceedings of the 21st IFAC World Congress, Elsevier BV, Vol. 53, No. 2, p. 10785-10790, 2020/07
  • Deterministic bisimilarity-enforcing supervisors for nondeterministic discrete event systems with deterministic specifications, Kohei Shimatani,Shigemasa Takai, Proceedings of the 35th International Technical Conference on Circuits/Systems, Computers and Communications, IEICE, p. 45-48, 2020/07
  • Distributed subgradient method for constrained convex optimization with quantized and event-triggered communication, Naoki Hayashi,Kazuyuki Ishikawa,Shigemasa Takai, IEICE Transactions on Fundamentals, IEICE, Vol. E103-A, No. 2, p. 428-434, 2020/02
  • Consensus-based quantized algorithm for convex optimization with smooth cost functions, Naoki Hayashi,Yuichi Kajiyama,Shigemasa Takai, IEICE Transactions on Fundamentals, IEICE, Vol. E103-A, No. 2, p. 435-442, 2020/02
  • 合意制御に基づく協調型トンプソン抽出の検討, 神村素輝,林 直樹,高井重昌, システム制御情報学会論文誌, システム制御情報学会, Vol. 33, No. 2, p. 57-65, 2020/02
  • Decentralized Supervisory Control of Timed Discrete Event Systems with Conditional Decisions for Enforcing Forcible Events, Shimpei MIURA,Shigemasa TAKAI, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Institute of Electronics, Information and Communications Engineers (IEICE), Vol. E103-A, No. 2, p. 417-427, 2020/02
  • Distributed event-triggered algorithm for unconstrained convex optimisation over weight-balanced directed networks, Naoki Hayashi,Tomohiro Sugiura,Yuichi Kajiyama,Shigemasa Takai, IET Control Theory & Applications, Institution of Engineering and Technology (IET), Vol. 14, No. 2, p. 253-261, 2020/01/29
  • Maximally permissive similarity enforcing supervisors for nondeterministic discrete event systems under partial observation, Jinglun Li,Shigemasa Takai, Proceedings of the 58th IEEE Conference on Decision and Control, IEEE, p. 1037-1042, 2019/12
  • Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications, Shigemasa Takai, Automatica, Elsevier, Vol. 108, p. 1-11, 2019/10
  • Sufficient condition for state attraction of discrete event systems under partial observation, Ryoma Sawasaki,Shigemasa Takai, Proceedings of the SICE Annual Conference 2019, SICE, p. 1432-1435, 2019/09
  • Verification of codiagnosability for decentralized diagnosis of discrete event systems subject to permanent sensor failures, Akihito Wada,Shigemasa Takai, Proceedings of the 2019 European Control Conference, IEEE, p. 1726-1731, 2019/06
  • Distributed constrained convex optimization with accumulated subgradient information over undirected switching networks, Yuichi Kajiyama,Naoki Hayashi,Shigemasa Takai, IEICE Transactions on Fundamentals, IEICE, Vol. E102-A, No. 2, p. 343-350, 2019/02
  • Maximally permissive nonblocking supervisors for similarity control of nondeterministic discrete event systems under event and state observations, Jinglun Li,Shigemasa Takai, IEICE Transactions on Fundamentals, IEICE, Vol. E102-A, No. 2, p. 399-403, 2019/02
  • Maximally permissive supervisory control of nondeterministic discrete event systems with nondeterministic specifications, Shigemasa Takai, Proceedings of the 57th IEEE Conference on Decision and Control, IEEE, p. 3975-3980, 2018/12
  • Decentralized control of timed discrete event systems with conditional decisions for enforcement of forcible events, Shimpei Miura,Shigemasa Takai, Proceedings of the 57th IEEE Conference on Decision and Control, IEEE, p. 3956-3961, 2018/12
  • Uniform ultimate boundedness of event-triggered control for time-varying nonlinear systems, Kenta Suzuki,Naoki Hayashi,Shigemasa Takai, Proceedings of the 2018 IEEE International Conference on Systems, Man, and Cybernetics, IEEE, p. 2003-2008, 2018/10
  • Decentralized supervisor synthesis for composite nondeterministic discrete event systems with local specifications, Itsuki Okubo,Shigemasa Takai, Proceedings of the SICE Annual Conference 2018, SICE, p. 1793-1796, 2018/09
  • Codiagnosability for decentralized diagnosis of discrete event systems subject to permanent sensor failures, Akihito Wada,Nadda Chawalarat,Shigemasa Takai, Proceedings of the SICE Annual Conference 2018, SICE, p. 1069-1072, 2018/09
  • Distributed subgradient method with edge-based event-triggered communication, Yuichi Kajiyama,Naoki Hayashi,Shigemasa Takai, IEEE Transactions on Automatic Control, IEEE, Vol. 63, No. 7, p. 2248-2255, 2018/07
  • Implementation of inference-based diagnosis: computing delay bound and ambiguity levels, Shigemasa Takai,Ratnesh Kumar, Discrete Event Dynamic Systems: Theory and Applications, Springer New York LLC, Vol. 28, No. 2, p. 315-348, 2018/06/01
  • Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems, Naoki Kushi,Shigemasa Takai, IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers Inc., Vol. 63, No. 5, p. 1457-1464, 2018/05/01
  • Synthesis of bisimilarity enforcing supervisors for nondeterministic discrete event systems, Shigemasa Takai, Proceedings of the 14th International Workshop on Discrete Event Systems, Elsevier, p. 1-6, 2018/05
  • Consensus-based distributed particle swarm optimization with event-triggered communication, Kazuyuki Ishikawa,Naoki Hayashi,Shigemasa Takai, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Institute of Electronics, Information and Communication, Engineers, IEICE, Vol. E101A, No. 2, p. 338-344, 2018/02/01
  • Nonblocking similarity control of nondeterministic discrete event systems under event and state observations, Hiroki Yamada,Shigemasa Takai, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Institute of Electronics, Information and Communication, Engineers, IEICE, Vol. E101A, No. 2, p. 328-337, 2018/02/01
  • Distributed multi-step subgradient algorithm for constrained convex optimization with undirected time-varying communications, Yuichi Kajiyama,Naoki Hayashi,Shigemasa Takai, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017, Institute of Electrical and Electronics Engineers Inc., Vol. 2018-, p. 4650-4655, 2018/01/18
  • Nonblocking supervisors for similarity control of nondeterministic discrete event systems under event and state observations, Hiroki Yamada,Shigemasa Takai, Proceedings of the SICE Annual Conference 2017, SICE, p. 160-163, 2017/09
  • A Generalized Inference-Based Prognosis Framework for Discrete Event Systems, Shigemasa Takai,Ratnesh Kumar, IFAC-PapersOnLine, Elsevier B.V., Vol. 50, No. 1, p. 6819-6824, 2017/07/01
  • Distributed Event-Triggered Subgradient Method for Convex Optimization with a Common Constraint Set, Yuichi Kajiyama,Naoki Hayashi,Shigemasa Takai, IFAC-PapersOnLine, Elsevier B.V., Vol. 50, No. 1, p. 15319-15324, 2017/07/01
  • 合意制御に基づく分散事象駆動型劣勾配アルゴリズムによる制約なし凸最適化, 梶山祐一,林 直樹,高井重昌, システム制御情報学会論文誌, システム制御情報学会, Vol. 30, No. 6, p. 253-262, 2017/06
  • A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making, Shigemasa Takai,Ratnesh Kumar, IEEE Transactions on Automatic Control, IEEE, Vol. 62, No. 6, p. 2778-2793, 2017/06
  • Distributed source identification by two-hop consensus dynamics with uniform time-varying communication time-delays, Naoki Hayashi,Shigemasa Takai, SICE Journal of Control, Measurement, and System Integration, SICE, Vol. 10, No. 2, p. 70-76, 2017/03
  • 2D Voronoi coverage control with Gaussian density functions by line integration, Naoki Hayashi,Kohei Segawa,Shigemasa Takai, SICE Journal of Control, Measurement, and System Integration, SICE, Vol. 10, No. 2, p. 110-116, 2017/03
  • Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions, Shoichi Yokota,Takashi Yamamoto,Shigemasa Takai, Discrete Event Dynamic Systems: Theory and Applications, Springer, Vol. 27, No. 1, p. 45-84, 2017/03
  • Decentralized Similarity Control of Composite Nondeterministic Discrete Event Systems with Local Specifications, Masanori Hoshino,Shigemasa Takai, IEICE Transactions on Fundamentals, IEICE, Vol. E100A, No. 2, p. 395-405, 2017/02
  • Reliable conditional-coobservability for decentralized supervisory control of discrete event systems with conditional decisions, Sho Yoshida,Shigemasa Takai, 2016 IEEE 55th Conference on Decision and Control, CDC 2016, Institute of Electrical and Electronics Engineers Inc., p. 414-419, 2016/12/27
  • Linear convergence of distributed periodically-triggered ADMM for unconstrained optimization, Hayato Fujimura,Naoki Hayashi,Shigemasa Takai, Proceedings of the SICE Annual Conference 2016, SICE, p. 1735-1736, 2016/09
  • Discrete-time average consensus with multi-hop communication, Shiori Miyake,Naoki Hayashi,Shigemasa Takai, SICE Journal of Control, Measurement, and System Integration, SICE, Vol. 9, No. 5, p. 187-191, 2016/09
  • 条件付き判断をもつ分散スーパバイザの許容性の改善, 吉田 翔,高井 重昌, 電子情報通信学会論文誌分冊A, 電子情報通信学会, Vol. J99-A, No. 9, p. 361-373, 2016/09
  • ABSTRACTION-BASED VERIFICATION AND SYNTHESIS FOR PROGNOSIS OF DISCRETE EVENT SYSTEMS, Misato Yokotani,Tetsuya Kondo,Shigemasa Takai, ASIAN JOURNAL OF CONTROL, WILEY-BLACKWELL, Vol. 18, No. 4, p. 1279-1288, 2016/07
  • A gradient-based approach for discrete-time average consensus with self-triggered control, Shinji Iwase,Naoki Hayashi,Shigemasa Takai, SICE Journal of Control, Measurement, and System Integration, SICE, Vol. 9, No. 3, p. 122-127, 2016/05
  • Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions, Toshimitsu Ushio,Shigemasa Takai, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 61, No. 3, p. 799-804, 2016/03
  • Synthesis of Output Feedback Controllers for Bisimilarity Control of Transition Systems, Nam Tung Vu,Shigemasa Takai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E99A, No. 2, p. 483-490, 2016/02
  • Delay Bound of Inference-Based Decentralized Diagnosis in Discrete Event Systems, Shigemasa Takai,Ratnesh Kumar, 2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), IEEE, p. 224-229, 2016
  • Event-based Cooperative Target Tracking by 2-level Hierarchical PTZ Camera Sensor Networks, SEGAWA Kohei,HAMADA Kenta,HAYASHI Naoki,TAKAI Shigemasa, Transactions of the Society of Instrument and Control Engineers, The Society of Instrument and Control Engineers, Vol. 52, No. 1, p. 19-27, 2016/01
  • Diagnosability of discrete event systems subject to permanent sensor failures, Naoki Kanagawa,Shigemasa Takai, INTERNATIONAL JOURNAL OF CONTROL, TAYLOR & FRANCIS LTD, Vol. 88, No. 12, p. 2598-2610, 2015/12
  • Cooperative Voronoi coverage with velocity feedback of centroids, Koki Abe,Naoki Hayashi,Shigemasa Takai, Proceedings of the First International Symposium on Swarm Behavior and Bio-Inspired Robotics, SWARM 2015, p. 372-374, 2015/10
  • 収束速度の改善を考慮した2-ホップ平均合意ダイナミクスの検討, 野村健二,林 直樹,高井重昌, 電子情報通信学会論文誌分冊A, 電子情報通信学会, Vol. J98-A, No. 10, p. 587-594, 2015/10
  • Supervisor Synthesis for Similarity Control of Nondeterministic Discrete Event Systems, Naoki Kushi,Shigemasa Takai, PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), IEEE, 2015/09
  • Verification of Generalized Inference Diagnosability for Decentralized Diagnosis in Discrete Event Systems, Shigemasa Takai,Ratnesh Kumar, PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), IEEE, 2015/09
  • Distributed Event-triggered Control for Voronoi Coverage, Naoki Hayashi,Yu Muranishi,Shigemasa Takai, PROCEEDINGS OF FIRST INTERNATIONAL CONFERENCE ON EVENT-BASED CONTROL, COMMUNICATION AND SIGNAL PROCESSING EBCCSP 2015, IEEE, 2015/06
  • GTS-based communication task scheduling for quantized output consensus over IEEE 802.15.4 wireless networks, Naoki Hayashi,Shigemasa Takai, AUTOMATICA, PERGAMON-ELSEVIER SCIENCE LTD, Vol. 55, p. 6-11, 2015/05
  • Decision-Making Strategies in Fixed-Block Railway Signaling Systems: A Discrete Event Systems Approach, Mustafa Seckin Durmus,Shigemasa Takai,Mehmet Turan Soylemez, IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, WILEY-BLACKWELL, Vol. 10, No. 2, p. 186-194, 2015/03
  • Maximal permissiveness of the output feedback controller for similarity control of transition systems, Naoki Kushi,Shigemasa Takai, Vol. J98-A, No. 3, p. 255-266, 2015/03
  • Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems, Takashi Yamamoto,Shigemasa Takai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E98A, No. 2, p. 650-653, 2015/02
  • Cooperative Target Tracking by 2-level Hierarchical PTZ Camera Sensor Networks, Kohei Segawa,Kenta Hamada,Naoki Hayashi,Shigemasa Takai, 2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), IEEE, p. 2975-2980, 2015
  • A Generalized Inference-Based Diagnosis Framework for Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making, Shigemasa Takai,Ratnesh Kumar, 2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), IEEE, p. 3522-3527, 2015
  • Robust prognosability for a set of partially observed discrete event systems, Shigemasa Takai, AUTOMATICA, PERGAMON-ELSEVIER SCIENCE LTD, Vol. 51, No. 1, p. 123-130, 2015/01
  • Verification and Synthesis for Failure Diagnosis of Discrete Event Systems Subject to Permanent Sensor Failures, Naoki Kanagawa,Shigemasa Takai, 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), IEEE, 2014/09
  • Event-triggered and self-triggered control for discrete-time average consensus problems, Kenta Hamada,Naoki Hayashi,Shigemasa Takai, SICE Journal of Control, Measurement, and System Integration, SICE, Vol. 7, No. 5, p. 297-303, 2014/09
  • Fault Diagnosis in Fixed-Block Railway Signaling Systems: A Discrete Event Systems Approach, Mustafa S. Durmus,Shigemasa Takai,Mehmet T. Soylemez, IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, WILEY-BLACKWELL, Vol. 9, No. 5, p. 523-531, 2014/09
  • Distributed event-triggered control for consensus problems with non-linear output functions, Kenji Nomura,Naoki Hayashi,Shigemasa Takai, Proceedings of the ISCIE/ASME 2014 International Symposium on Flexible Automation, ISCIE, 2014/07
  • Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations, Katsuyuki Kimura,Shigemasa Takai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E97A, No. 7, p. 1500-1507, 2014/07
  • Reliable Decentralized Diagnosis of Discrete Event Systems Using the Conjunctive Architecture, Takashi Yamamoto,Shigemasa Takai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E97A, No. 7, p. 1605-1614, 2014/07
  • Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations, Katsuyuki Kimura,Shigemasa Takai, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E97D, No. 5, p. 1140-1148, 2014/05
  • Similarity control of transition systems by output feedback, Nam Tung Vu,Shigemasa Takai, Vol. J97-A, No. 3, p. 140-149, 2014/03
  • Supervisory Control of Discrete Event Systems, TAKAI Shigemasa, IEICE Fundamentals Review, The Institute of Electronics, Information and Communication Engineers, Vol. 7, No. 4, p. 317-325, 2014
  • Abstraction-based verification for partially observed discrete event systems, Misato Yokotani,Shigemasa Takai, IFAC Proceedings Volumes (IFAC-PapersOnline), IFAC Secretariat, Vol. 9, No. 3, p. 356-361, 2014
  • Consensus-based distribution estimation of 1-D diffusion phenomena, Naoki Hayashi,Shigemasa Takai, Proceedings of the American Control Conference, Institute of Electrical and Electronics Engineers Inc., p. 2569-2574, 2014
  • Distributed Estimation of 1-D Convection-Diffusion Phenomena by Discrete-Time Event-Triggered Consensus Dynamics, Yu Muranishi,Kenta Hamada,Naoki Hayashi,Shigemasa Takai, 2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), IEEE, p. 1995-2000, 2014
  • Computation of the Delay Bound in Decentralized Diagnosis of Discrete Event Systems with Conditional Decisions, Shoichi Yokota,Shigemasa Takai, 2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), IEEE, p. 5961-5966, 2014
  • 平均コンセンサスアルゴリズムによる分散円あてはめ, 村西 悠,林 直樹,高井重昌, システム制御情報学会論文誌, システム制御情報学会, Vol. 27, No. 1, p. 14-19, 2014/01
  • Operation optimization method for factory power generation plant considering probability distribution, Shoichi Kitamura,Kazuyuki Mori,Yoshio Izui,Toshiyuki Miyamoto,Shigemasa Takai, Proceedings of the IASTED International Symposium on Power and Energy, IASTED, p. 6-13, 2013/11
  • Modeling moving-block railway systems: A generalized batches Petri net approach, Mustafa Seckin Durmus,Shigemasa Takai, SICE Journal of Control, Measurement, and System Integration, SICE, Vol. 6, No. 6, p. 403-410, 2013/11
  • Abstraction-based verification of observability for discrete event systems, Misato Yokotani,Shigemasa Takai, Proceedings of the SICE Annual Conference 2013, SICE, p. 1016-1017, 2013/09
  • Reliable decentralized failure diagnosis of discrete event systems, Shuhei Nakata,Shigemasa Takai, SICE Journal of Control, Measurement, and System Integration, SICE, Vol. 6, No. 5, p. 353-359, 2013/09
  • A GTS Scheduling for Consensus Problems over IEEE 802.15.4 Wireless Networks, Naoki Hayashi,Shigemasa Takai, 2013 EUROPEAN CONTROL CONFERENCE (ECC), IEEE, p. 1764-1769, 2013
  • Conjunctive decentralized diagnosis of discrete event systems, Takashi Yamamoto,Shigemasa Takai, IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 4, No. 1, p. 67-72, 2013
  • Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems, Masashi Nomura,Shigemasa Takai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E96A, No. 1, p. 345-355, 2013/01
  • 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
  • A synthesis method for decentralized supervisors for timed discrete event systems, Masashi Nomura,Shigemasa Takai, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Institute of Electronics, Information and Communication, Engineers, IEICE, Vol. E96-A, No. 4, p. 835-839, 2013
  • Verification of robust diagnosability for partially observed discrete event systems, Shigemasa Takai, AUTOMATICA, PERGAMON-ELSEVIER SCIENCE LTD, Vol. 48, No. 8, p. 1913-1919, 2012/08
  • Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications, Shigemasa Takai,Ratnesh Kumar, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 57, No. 5, p. 1259-1265, 2012/05
  • Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set, Masashi Nomura,Shigemasa Takai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E95A, No. 5, p. 952-960, 2012/05
  • Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions, Shigemasa Takai,Toshimitsu Ushio, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 57, No. 3, p. 798-804, 2012/03
  • Robust Failure Prognosis of Partially Observed Discrete Event Systems, Shigemasa Takai, 2012 AMERICAN CONTROL CONFERENCE (ACC), IEEE COMPUTER SOC, p. 6077-6082, 2012
  • A framework for control-reconfiguration following fault-detection in discrete event systems, Ratnesh Kumar,Shigemasa Takai, IFAC Proceedings Volumes (IFAC-PapersOnline), Vol. 8, No. 1, p. 848-853, 2012
  • Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations, Katsuyuki Kimura,Masashi Nomura,Shigemasa Takai, IFAC Proceedings Volumes (IFAC-PapersOnline), IFAC Secretariat, Vol. 45, No. 29, p. 169-174, 2012
  • Decentralized Supervisory Control of Timed Discrete Event Systems, Masashi Nomura,Shigemasa Takai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E94A, No. 12, p. 2802-2809, 2011/12
  • A new forcing mechanism for decentralized supervisory control of timed discrete event systems, Masashi Nomura,Shigemasa Takai, Proceedings of the 26th International Technical Conference on Circuits/Systems, Computers and Communications, IEICE, p. 11-14, 2011/06
  • Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems, Shigemasa Takai,Yuta Watanabe, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E94A, No. 3, p. 1041-1044, 2011/03
  • Inference-Based Decentralized Prognosis in Discrete Event Systems, Shigemasa Takai,Ratnesh Kumar, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 56, No. 1, p. 165-171, 2011/01
  • Simplification of existence conditions of partial observation supervisors for timed discrete event systems, Masashi Nomura,Shigemasa Takai, Vol. J93-A, No. 9, p. 638-641, 2010/09
  • Robust failure diagnosis of partially observed discrete event systems, Shigemasa Takai, Proceedings of the 10th International Workshop on Discrete Event Systems, Elsevier, p. 205-210, 2010/08
  • Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems, Shigemasa Takai,Ratnesh Kumar, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 55, No. 8, p. 1881-1887, 2010/08
  • Decentralized Control of Discrete-Event Systems With Multiple Local Specifications, Shengbing Jiang,Ratnesh Kumar,Shigemasa Takai,Wenbin Qiu, IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 7, No. 3, p. 512-522, 2010/07
  • 非決定出力関数をもつMealyオートマトンで表現される離散事象システムの診断, 高井重昌,潮 俊光, システム制御情報学会論文誌, システム制御情報学会, Vol. 23, No. 6, p. 128-135, 2010/06
  • Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management, Shigemasa Takai,Ratnesh Kumar, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 40, No. 2, p. 406-412, 2010/03
  • Decentralized Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions, Shigemasa Takai,Toshimitsu Ushio, 2010 AMERICAN CONTROL CONFERENCE, IEEE, p. 2613-2618, 2010
  • Decentralized Prognosis of Failures in Discrete Event Systems, Ratnesh Kumar,Shigemasa Takai, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 55, No. 1, p. 48-59, 2010/01
  • 事象センサの故障を考慮した離散事象システムの診断, 河本 大,高井重昌, 電子情報通信学会論文誌分冊A, 電子情報通信学会, Vol. J92-A, No. 8, p. 551-558, 2009/08
  • Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems, Ratnesh Kumar,Shigemasa Takai, IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 6, No. 3, p. 479-491, 2009/07
  • Supervisory Control of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions, Toshimitsu Ushio,Shigemasa Takai, Proceedings of the 2009 American Control Conference, IEEE, p. 4260-4265, 2009/06
  • Verification and Synthesis for Secrecy in Discrete-Event Systems, Shigemasa Takai,Ratnesh Kumar, Proceedings of the 2009 American Control Conference, IEEE, p. 4741-4746, 2009/06
  • 非決定出力関数をもつMealyオートマトンで表される離散事象システムのスーパバイザ制御, 潮 俊光,高井重昌, システム制御情報学会論文誌, Vol. 22, No. 4, p. 154-160, 2009/04
  • Distributed Prognosis of Discrete Event Systems under Bounded-Delay Communications, Shigemasa Takai,Ratnesh Kumar, PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), IEEE, p. 1235-1240, 2009
  • A formula for the supremal controllable and opaque sublanguage in discrete event systems, Shigemasa Takai,Yusuke Oka, SICE Journal of Control, Measurement, and System Integration, SICE, Vol. 1, No. 4, p. 307-311, 2008/09
  • Synthesis of inference-based decentralized control for discrete event systems, Shigemasa Takai,Ratnesh Kumar, IEEE Transactions on Automatic Control, Vol. 53, No. 2, p. 522-534, 2008/03
  • Inference-based decentralized prognosis in discrete event systems, Shigemasa Takai,Ratnesh Kumar, Proceedings of the IEEE Conference on Decision and Control, p. 871-876, 2008
  • Inference-Based Decentralized Prognosis in Discrete Event Systems, Shigemasa Takai,Ratnesh Kumar, 47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), IEEE, p. 871-876, 2008
  • Decentralized prognosis of failures in discrete event systems, Ratnesh Kumar,Shigemasa Takai, WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, IEEE, p. 376-+, 2008
  • コンカレント同期合成でモデル化された離散事象システムにおけるスーパバイザの存在条件, 北村敦司,高井重昌,森 武宏, 電子情報通信学会論文誌分冊A, 電子情報通信学会, Vol. J90-A, No. 10, p. 742-749, 2007/10
  • Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems, Ratnesh Kumar,Shigemasa Takai, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 52, No. 10, p. 1783-1794, 2007/10
  • Synthesis of over-approximating inference-based decentralized supervisors for discrete event systems, Shigemasa Takai,Ratnesh Kumar, 2007 AMERICAN CONTROL CONFERENCE, VOLS 1-13, IEEE, p. 2754-+, 2007
  • Inference-diagnosability: Nonconvergence and other complexity results, Shigemasa Takai,Ratnesh Kumar, PROCEEDINGS OF SICE ANNUAL CONFERENCE, VOLS 1-8, IEEE, p. 530-+, 2007
  • Computation of controllable sublanguages for unbounded Petri nets using their approximation models, Shigemasa Takai,Yongming Bai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E89A, No. 11, p. 3250-3253, 2006/11
  • 最大デッドロックフリー可制御部分述語の計算とその警報器設計への応用, 梁瀬裕行,潮 俊光,足立正和,高井重昌, 電子情報通信学会論文誌分冊A, 電子情報通信学会, Vol. J89-A, No. 5, p. 333-339, 2006/05
  • A new class of supervisors for timed discrete event systems under partial observation, S Takai,T Ushio, DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, SPRINGER, Vol. 16, No. 2, p. 257-278, 2006/04
  • Online Supervisory Control of Discrete Event Systems with the Unknown Observable Event Set, Kawamoto Dai,Takai Shigemasa,Mori Takehiro, Proceedings of the Annual Conference of the Institute of Systems, Control and Information Engineers, The Institute of Systems, Control and Information Engineers, Vol. 6, p. 278-278, 2006
  • Inference-based ambiguity management in decentralized decision-making: Decentralized diagnosis of discrete event systems, Ratnesh Kumar,Shigemasa Takai, 2006 AMERICAN CONTROL CONFERENCE, VOLS 1-12, IEEE, Vol. 1-12, p. 934-+, 2006
  • Decentralized diagnosis for nonfailures of discrete event systems using inference-based ambiguity management, Shigemasa Takai,Ratnesh Kumar, WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, IEEE, p. 242-+, 2006
  • Decentralized supervisory control of discrete event systems using dynamic default control, S Takai,T Ushio, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E88A, No. 11, p. 2982-2988, 2005/11
  • Maximally permissive mutually and globally nonblocking supervision with application to switching control, R Kumar,S Takai,M Fabian,T Ushio, AUTOMATICA, PERGAMON-ELSEVIER SCIENCE LTD, Vol. 41, No. 8, p. 1299-1312, 2005/08
  • Control-invariance of hybrid systems with forcible events - Brief paper, T Ushio,S Takai, AUTOMATICA, PERGAMON-ELSEVIER SCIENCE LTD, Vol. 41, No. 4, p. 669-675, 2005/04
  • Characterization of co-observable languages and formulas for their super/sublanguages, S Takai,R Kumar,T Ushio, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 50, No. 4, p. 434-447, 2005/04
  • Supervisory control of a class of concurrent discrete event systems under partial observation, S Takai,T Ushio, DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, SPRINGER, Vol. 15, No. 1, p. 7-32, 2005/03
  • Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems, Ratnesh Kumar,Shigemasa Takai, 2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, IEEE, p. 3480-3485, 2005
  • Formal detection of three automation surprises in human-machine interaction, Yoshitaka Ukawa,Toshimitsu Ushio,Masakazu Adachi,Shigemasa Takai, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E87A, No. 11, p. 2878-2884, 2004/11
  • Supervisory control of a class of concurrent discrete event systems, Shigemasa Takai,Toshimitsu Ushio, IEICE Transactions on Fundamentals, IEICE, Vol. E87-A, No. 4, p. 850-855, 2004/04
  • Maximizing robustness of supervisors for partially observed discrete event systems, S Takai, AUTOMATICA, PERGAMON-ELSEVIER SCIENCE LTD, Vol. 40, No. 3, p. 531-535, 2004/03
  • Stability and H(infinity) disturbance attenuation analysis for LTI control systems with controller failures, GS Zhai,XK Chen,S Takai,K Yasuda, ASIAN JOURNAL OF CONTROL, WILEY-BLACKWELL, Vol. 6, No. 1, p. 104-111, 2004/03
  • A new class of supervisors for timed discrete event systems under partial observation, Shigemasa Takai,Toshimitsu Ushio, Proceedings of the IEEE Conference on Decision and Control, Vol. 1, p. 497-502, 2004
  • A new class of supervisors for timed discrete event systems under partial observation, S Takai,T Ushio, 2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, IEEE, p. 497-502, 2004
  • Reliable decentralized supervisory control of discrete event systems with the conjunctive and disjunctive fusion rules, Shigemasa Takai,Toshimitsu Ushio, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, IEICE-INST ELECTRONICS INFORMATION COMMUNICATIONS ENG, Vol. E86A, No. 11, p. 2731-2738, 2003/11
  • Improving closed-loop stability of second-order LTI systems by hybrid static output feedback, Guisheng Zhai,Shigemasa Takai,Anthony N. Michel,Xuping Xu, International Journal of Hybrid Systems, Nonpareil Publishers, Vol. 3, No. 2&3, p. 237-250, 2003/09
  • Effective computation of an L-m(G)-closed, controllable, and observable sublanguage arising in supervisory control, S Takai,T Ushio, SYSTEMS & CONTROL LETTERS, ELSEVIER SCIENCE BV, Vol. 49, No. 3, p. 191-200, 2003/07
  • Reliable decentralized supervisory control for marked language specifications, S Takai,T Ushio, ASIAN JOURNAL OF CONTROL, CHINESE AUTOMATIC CONTROL SOC, Vol. 5, No. 1, p. 160-167, 2003/03
  • ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語, 池内直哉,大家浩一,高井重昌, システム制御情報学会論文誌, システム制御情報学会, Vol. 16, No. 3, p. 147-149, 2003/03
  • Reliable decentralized supervisory control of discrete event systems with the conjunctive and disjunctive fusion rules, S Takai,T Ushio, PROCEEDINGS OF THE 2003 AMERICAN CONTROL CONFERENCE, VOLS 1-6, IEEE, p. 1050-1055, 2003
  • スーパバイザ制御における可観測性とノーマル性の関係, 高井重昌,石丸洋平, システム制御情報学会論文誌, システム制御情報学会, Vol. 15, No. 8, p. 447-449, 2002/08
  • 強制事象のあるハイブリッドシステムにおける状態フィードバック制御, 潮 俊光,高井重昌, システム制御情報学会論文誌, システム制御情報学会, Vol. 15, No. 3, p. 143-149, 2002/03
  • Improving closed-loop stability of second-order LTI systems by hybrid static output feedback, G Zhai,S Takai,AN Michel,Xu, X, PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, IEEE, p. 2792-2797, 2002
  • Strong co-observability for decentralized supervisory control of discrete event systems, S Takai,T Ushio, LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 2001 (LSS'01), PERGAMON-ELSEVIER SCIENCE LTD, p. 127-132, 2002
  • Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems, S Takai,R Kumar,T Ushio, PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, IEEE, p. 578-583, 2002
  • State feedback control of hybrid automata with forcible events, T Ushio,S Takai, WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, IEEE COMPUTER SOC, p. 317-322, 2002
  • Effective computation of an L-m(G)-closed, controllable, and observable sublanguage arising in supervisory control, S Takai,T Ushio, WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, IEEE COMPUTER SOC, p. 34-39, 2002
  • A modified normality condition for decentralized supervisory control of discrete event systems, S Takai,T Ushio, AUTOMATICA, PERGAMON-ELSEVIER SCIENCE LTD, Vol. 38, No. 1, p. 185-189, 2002/01
  • Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications, S Takai, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 47, No. 1, p. 132-136, 2002/01
  • Weak normality for nonblocking supervisory control of discrete event systems under partial observation, Shigemasa Takai,Toshimitsu Ushio, IEICE Transactions on Fundamentals, IEICE, Vol. E84-A, No. 11, p. 2822-2828, 2001/11
  • Stability analysis of linear time-invariant systems with controller failures, Guisheng Zhai,Shigemasa Takai,Kazunori Yasuda, 2001 European Control Conference, ECC 2001, p. 138-142, 2001/01/01
  • A modified normality condition for decentralized supervisory control of discrete event systems, S Takai,T Ushio, PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, IEEE, p. 973-974, 2001
  • Strong co-observability conditions for decentralized supervisory control of discrete event systems, S Takai,T Ushio, PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, IEEE, p. 4098-4103, 2001
  • Controller failure time analysis for linear time-invariant systems, Guisheng Zhai,Shigemasa Takai,Kazunori Yasuda, Transactions of SICE, SICE, Vol. 36, No. 11, p. 1050-1052, 2000/11
  • Synthesis of reliable decentralized supervisors for discrete event systems, Shigemasa Takai,Toshimitsu Ushio, IEICE Transactions on Fundamentals, IEICE, Vol. E83-A, No. 11, p. 2212-2218, 2000/11
  • On-line synthesis of decentralized supervisors for discrete event systems, Shigemasa Takai,Toshimitsu Ushio, IEICE Transactions on Fundamentals, IEICE, Vol. E83-A, No. 11, p. 2282-2285, 2000/11
  • Reliable decentralized supervisory control of discrete event systems, S Takai,T Ushio, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 30, No. 5, p. 661-667, 2000/10
  • Supervisory control of partially observed discrete event systems with arbitrary control patterns, S Takai, INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, TAYLOR & FRANCIS LTD, Vol. 31, No. 5, p. 649-656, 2000/05
  • Robust supervisory control of a class of timed discrete event systems under partial observation, S Takai, SYSTEMS & CONTROL LETTERS, ELSEVIER SCIENCE BV, Vol. 39, No. 4, p. 267-273, 2000/04
  • Reliable decentralized supervisory control of discrete event systems with marked language specifications, S Takai,T Ushio, SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, IEEE, p. 2180-2185, 2000
  • On-line decentralized supervisory control of discrete event systems, S Takai,T Ushio, PROCEEDINGS OF THE 39TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, IEEE, p. 7-8, 2000
  • Supervisory control of timed event graphs with partial specifications, S Takai,Y Ito, INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, TAYLOR & FRANCIS LTD, Vol. 30, No. 11, p. 1187-1192, 1999/11
  • Minimizing the set of local supervisors in fully decentralized supervision, S Takai, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 44, No. 7, p. 1441-1444, 1999/07
  • Formulas for the extremal controllable sequences in timed-event graphs, S Takai,S Kodama, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 43, No. 10, p. 1465-1468, 1998/10
  • Supervisory control of discrete event systems using partial event and state observations, Shigemasa Takai,Toshimitsu Ushio,Shinzo Kodama, International Journal of Intelligent Control and Systems, World Scientific Publishing Company, Vol. 2, No. 3, p. 453-466, 1998/10
  • On the language generated under fully decentralized supervision, S Takai, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 43, No. 9, p. 1253-1256, 1998/09
  • Characterization of all M-controllable subpredicates of a given predicate, S Takai,S Kodama, INTERNATIONAL JOURNAL OF CONTROL, TAYLOR & FRANCIS LTD, Vol. 70, No. 4, p. 541-549, 1998/07
  • Optimal state-space partition for control of discrete-event systems with static specifications, S Takai, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 43, No. 7, p. 1013-1016, 1998/07
  • The extremal languages arising in supervisory control for service specifications, Shigemasa Takai,Akiteru Takae,Shinzo Kodama, International Journal of Intelligent Control and Systems, World Scientific Publishing Company, Vol. 2, No. 1, p. 161-175, 1998/05
  • Synchronous Compositionによる部分観測システムのスーパバイザ制御, 高井重昌, システム制御情報学会論文誌, システム制御情報学会, Vol. 11, No. 5, p. 277-279, 1998/05
  • A characterization of realizable behavior in supervisory control of timed event graphs, S Takai, AUTOMATICA, PERGAMON-ELSEVIER SCIENCE LTD, Vol. 33, No. 11, p. 2077-2080, 1997/11
  • Estimate based limited lookahead supervisory control for closed language specifications, S Takai, AUTOMATICA, PERGAMON-ELSEVIER SCIENCE LTD, Vol. 33, No. 9, p. 1739-1743, 1997/09
  • M-controllable subpredicates arising in state feedback control of discrete event systems, S Takai,S Kodama, INTERNATIONAL JOURNAL OF CONTROL, TAYLOR & FRANCIS LTD, Vol. 67, No. 4, p. 553-566, 1997/07
  • Balanced state feedback controllers for discrete event systems described by the Golaszewski-Ramadge model, Shigemasa Takai,Toshimitsu Ushio,Shinzo Kodama, IEICE Transactions on Fundamentals, IEICE, Vol. E80-A, No. 5, p. 928-931, 1997/05
  • Stabilization of timed discrete event systems with forcible events, Jae-won Yang,Shigemasa Takai,Toshimitsu Ushio,Sadatoshi Kumagai,Shinzo Kodama, IEICE Transactions on Fundamentals, IEICE, Vol. E80-A, No. 3, p. 571-573, 1997/03
  • 部分観測のもとでのペトリネットのモジュラ制御, 高井重昌,楠本 聡,児玉慎三, システム制御情報学会論文誌, システム制御情報学会, Vol. 9, No. 12, p. 598-605, 1996/12
  • 事象と状態の部分観測に基づく分散スーパバイザ制御, 高井重昌,潮 俊光,児玉慎三, システム制御情報学会論文誌, システム制御情報学会, Vol. 9, No. 7, p. 305-312, 1996/07
  • 束理論による離散事象システムの状態フィードバック制御, 高井重昌, 計測自動制御学会論文集, 計測自動制御学会, Vol. 32, No. 4, p. 533-538, 1996/04
  • 事象と状態の部分観測によるスーパバイザ制御-不可観測事象をもつシステムへの拡張, 高井重昌,大室真一,児玉慎三, システム制御情報学会論文誌, システム制御情報学会, Vol. 9, No. 4, p. 197-199, 1996/04
  • 離散事象システムにおけるコマンド型スーパバイザ制御, 高井重昌,潮 俊光,児玉慎三, 計測自動制御学会論文集, 計測自動制御学会, Vol. 32, No. 3, p. 429-431, 1996/03
  • 外部入力プレース付き時間ペトリネットにおける最大許容フィードバック, 高江昭輝,高井重昌,潮 俊光,熊谷貞俊,児玉慎三, 電子情報通信学会論文誌分冊A, 電子情報通信学会, Vol. J78-A, No. 12, p. 1593-1600, 1995/12
  • STATIC-STATE FEEDBACK-CONTROL OF DISCRETE-EVENT SYSTEMS UNDER PARTIAL OBSERVATION, S TAKAI,T USHIO,S KODAMA, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 40, No. 11, p. 1950-1954, 1995/11
  • 離散事象システムにおけるΓ-可制御性と状態フィードバック, 高井重昌,潮 俊光,児玉慎三, 計測自動制御学会論文集, 計測自動制御学会, Vol. 31, No. 9, p. 1488-1494, 1995/09
  • THE INFIMAL CONTROLLABLE AND N-OBSERVABLE SUPERPREDICATE OF A GIVEN PREDICATE, S TAKAI,T USHIO,S KODAMA, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, Vol. 40, No. 7, p. 1249-1253, 1995/07
  • A forbidden marking problem in controlled complementary-places Petri nets, Wooi Voon Chang,Toshimitsu Ushio,Shigemasa Takai,Sadatoshi Kumagai,Shinzo Kodama, IEICE Transactions on Fundamentals, IEICE, Vol. E78-A, No. 3, p. 382-388, 1995/03
  • Decentralized supervisory control using partial event and state observations, S Takai,T Ushio,S Kodama, PROCEEDINGS OF THE 34TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, I E E E, p. 723-724, 1995
  • A new class of supervisors for partially observed discrete event systems, S TAKAI,T USHIO,S KODAMA, PROCEEDINGS OF THE 1995 AMERICAN CONTROL CONFERENCE, VOLS 1-6, AMER AUTOMATIC CONTROL COUNCIL, p. 2631-2635, 1995
  • STABILIZATION AND BLOCKING IN STATE-FEEDBACK CONTROL OF DISCRETE-EVENT SYSTEMS, S TAKAI,T USHIO,S KODAMA, DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, KLUWER ACADEMIC PUBL, Vol. 5, No. 1, p. 33-57, 1995/01
  • 外部入力プレース付きペトリネットにおける部分観測と許容フィードバック, 高井重昌,潮 俊光,児玉慎三, 日本応用数理学会論文誌, 日本応用数理学会, Vol. 4, No. 4, p. 275-285, 1994/12
  • Concurrency and maximally permissive feedback in petri nets with external input places, S. Takai,T. Ushio,S. Kodama, International Journal of Control, Vol. 60, No. 4, p. 617-629, 1994
  • 離散事象システムにおける部分観測のものでの状態フィードバックの存在条件, 高井重昌,潮 俊光,児玉慎三, システム制御情報学会論文誌, システム制御情報学会, Vol. 7, No. 1, p. 9-17, 1994/01
  • 大規模離散事象システムにおける分散状態フィードバックの構成法, 高井重昌,潮 俊光,児玉慎三, 電子情報通信学会論文誌分冊A, 電子情報通信学会, Vol. J76-A, No. 8, p. 1150-1157, 1993/08
  • 大規模離散事象システムの分散状態フィードバック制御, 高井重昌,潮 俊光,児玉慎三, システム制御情報学会論文誌, システム制御情報学会, Vol. 6, No. 4, p. 196-203, 1993/04
  • A NOTE ON STATIC STATE-FEEDBACK CONTROL OF DISCRETE-EVENT SYSTEMS UNDER PARTIAL OBSERVATION, S TAKAI,T USHIO,S KODAMA, PROCEEDINGS OF THE 32ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, I E E E, p. 1206-1211, 1993
  • ブロッキングが発生しない離散事象システムの状態フィードバック制御, 高井重昌,潮 俊光,児玉慎三, 電子情報通信学会論文誌分冊A, 電子情報通信学会, Vol. J76, No. 1, p. 68-70, 1993/01
  • 外部入力プレース付きペトリネットにおける同時進行性と状態フィードバック, 高井重昌,潮 俊光,児玉慎三, システム制御情報学会論文誌, システム制御情報学会, Vol. 5, No. 8, p. 317-324, 1992/08
  • 外部入力プレース付きペトリネットにおける許容フィードバックの性質, 高井重昌,潮 俊光,児玉慎三, 電子情報通信学会論文誌分冊A, 電子情報通信学会, Vol. J75-A, No. 8, p. 1405-1411, 1992/08
  • 分散状態フィードバックによる離散事象システムの安定化, 高井重昌,潮 俊光, 電子情報通信学会論文誌分冊A, 電子情報通信学会, Vol. J75-A, No. 3, p. 543-551, 1992/03
  • 任意の制御パターンをもつ離散事象システムの安定化, 高井重昌,潮 俊光, 電子情報通信学会論文誌分冊A, 電子情報通信学会, Vol. J75-A, No. 3, p. 534-542, 1992/03

Misc.

  • スーパバイザ制御の理論と応用, 高井重昌, 電子情報通信学会誌, Vol. 105, No. 2, p. 121-127, 2022/02
  • IoT時代に向けたイベントベースト制御, 小林孝一,高井重昌, 計測と制御, Vol. 60, No. 1, p. 4-7, 2021/01
  • 模倣関係に基づく非決定性離散事象システムのスーパバイザ制御, 高井重昌, 計測と制御, Vol. 60, No. 1, p. 8-13, 2021/01
  • Supervisory Control Theory for Discrete Event Systems-IV : Decentralized Supervisory Control, TAKAI Shigemasa, Systems, control and information, Institute of Systems, Control and Information Engineers, Vol. 56, No. 9, p. 498-505, 2012/09/15
  • Supervisory Control Theory for Discrete Event Systems-III : Partial Observation and Observability, TAKAI Shigemasa, Systems, control and information, Institute of Systems, Control and Information Engineers, Vol. 56, No. 7, p. 381-388, 2012/07/15
  • Supervisory Control Theory for Discrete Event Systems-II : Computation of the Supremal Controllable Sublanguage and Its Application, TAKAI Shigemasa, Systems, control and information, Institute of Systems, Control and Information Engineers, Vol. 56, No. 5, p. 263-270, 2012/05/15
  • Supervisory Control Theory for Discrete Event Systems-I : Supervisors and Controllability, TAKAI Shigemasa, Systems, control and information, Institute of Systems, Control and Information Engineers, Vol. 56, No. 3, p. 144-151, 2012/03/15
  • Verification of Diagnosability for Discrete Event Systems, TAKAI Shigemasa, Vol. 48, No. 11, p. 822-827, 2009/11/10
  • Modeling and control of discrete event systems using Petri nets, Vol. 61, No. 4, p. 17-22, 2009
  • Supervisory Control of Concurrent Discrete Event Systems, TAKAI Shigemasa,USHIO Toshimitsu, Systems, control and information, Institute of Systems, Control and Information Engineers, Vol. 51, No. 2, p. 96-101, 2007/02/15
  • The 40th Workshop on Discrete Event Systems, TAKAI Shigemasa, Vol. 45, No. 11, p. 988-988, 2006/11/10
  • Special Section on Concurrent/Hybrid Systems : Theory and Applications, TAKAI Shigemasa, IEICE transactions on fundamentals of electronics, communications and computer sciences, The Institute of Electronics, Information and Communication Engineers, Vol. 88, No. 11, p. 2963-2963, 2005/11/01
  • Control Based on Hybrid System Modeling, TAKAI Shigemasa,SUZUKI Tatsuya, Vol. 34, No. 4, p. 262-266, 2003/07/15
  • Supervisory Control of Timed Discrete Event Systems(<Special Issue>Hybrid Systems : A New Viewpoint for Systems and Control), TAKAI Shigemasa, Systems, control and information, Institute of Systems, Control and Information Engineers, Vol. 46, No. 3, p. 138-143, 2002/03/15
  • What is the Max-plus Algebra?, TAKAI Shigemasa, Systems, control and information, Institute of Systems, Control and Information Engineers, Vol. 44, No. 1, p. 39-40, 2000/01/15
  • Discrete Event Control by the Max-Plus Algebra, TAKAI Shigemasa, Systems, control and information, Institute of Systems, Control and Information Engineers, Vol. 42, No. 8, p. 434-439, 1998/08

Publications

  • 制御の事典, 高井重昌, 朝倉書店, ISBN:9784254231410, 2015/07
  • Formal Methods in Manufacturing, Shigemasa Takai,Ratnesh Kumar, CRC Press, 2014/02
  • 機械工学便覧 デザイン編β6 制御システム, 高井重昌, 丸善, ISBN:9784888981378, 2006/04
  • アナログ電子回路, 高井重昌, オーム社, ISBN:9784274132599, 2002/10
  • 光メカトロニクス入門, 高井重昌, 共立出版, ISBN:9784320085381, 1996/04

Awards

  • 2019年度システム制御情報学会学会賞論文賞, 梶山祐一,林 直樹,高井重昌, システム制御情報学会, 2019/05
  • 第73回電子情報通信学会論文賞, 野村健二,林 直樹,高井重昌, 電子情報通信学会, 2017/06
  • 平成26年電気学会電子・情報・システム部門誌優秀論文賞, 北村聖一,森 一之,泉井良夫,宮本俊幸,高井重昌, 電気学会電子・情報・システム部門, 2014/09
  • 第63回電子情報通信学会論文賞, 梁瀬裕行,潮 俊光,足立正和,高井重昌, 電子情報通信学会, 2007/05
  • 1995年度システム制御情報学会 論文賞, 高井重昌,潮 俊光,児玉慎三, システム制御情報学会, 1995/05

Presentations

  • informed-RRT*を用いた月極域における水探査のための経路計画手法, 保津明範,高井重昌,橋本和宗, 計測自動制御学会 第11回 制御部門マルチシンポジウム, 2024/03/19
  • ローカルモデルによるストリングスタビリティを満たす隊列走行制御, 中井椋太,橋本和宗,高井重昌, 電子情報通信学会高信頼制御通信研究会, 2023/12/21
  • センサーデータを用いた制御バリア関数のベイズ的メタ学習, 橋本航,橋本和宗,和地瞭良,沈迅,岸田昌子,高井重昌, 第66回自動制御連合講演会, 2023/10/07
  • LSTMを用いた隊列走行のストリングスタビリティを満たすコントローラの設計, 中井椋太,橋本和宗,高井重昌, 第66回自動制御連合講演会, 2023/10/07
  • 非決定性離散事象システムの双模倣制御における決定性スーパバイザの存在性に関する一考察, 高井重昌, 電子情報通信学会システム数理と応用研究会, 2023/03/17
  • 隊列走行のためのストリングスタビリティ制約付き安全制御, 熊本光宏,橋本和宗,高井重昌, 第10回計測自動制御学会制御部門マルチシンポジウム, 2023/03/11
  • SIRモデルに対する事象駆動型制御ポリシーの設計, 丁力辰,橋本和宗,高井重昌, 第10回計測自動制御学会制御部門マルチシンポジウム, 2023/03/09
  • 信号時相論理仕様に対するエンコーダ・デコーダ型ニューラル制御器の学習, 橋本航,橋本和宗,高井重昌, 第65回自動制御連合講演会, 2022/11/12
  • 分散凸最適化における主双対劣勾配アルゴリズムの動的リグレット解析, 多田圭伸,林直樹,高井重昌, 第65回自動制御連合講演会, 2022/11/12
  • 交互方向乗数法を用いた分散スケジューリングの安定性の考察と改良アルゴリズムの提案, 二井矢直樹,宮本俊幸,井上大地,梅田豊裕,高井重昌, スケジューリング・シンポジウム 2022, 2022/09/16
  • 災害時のEVによる電力及び物資の配送計画のための集荷配送問題に対する適応的大規模近傍探索の適用, 廣島天晴,宮本俊幸,高井重昌,北村聖一,内藤健人,森一之, 2022年電気学会電子・情報・システム部門大会, 2022/08/31
  • 通信遅延を考慮した制約付きオンライン最適化問題に対する分散主双対アルゴリズム, 井上慧人,林直樹,高井重昌, 第35回 回路とシステムワークショップ, 2022/08/20
  • SDGsへのシステムと信号処理サブソサイエティの貢献, 高井重昌,前田義信,池田奈美子,田中聡久,尾崎敦夫, 電子情報通信学会システム数理と応用研究会, 2022/06/17
  • 深層距離学習を用いた多様な環境に適用できるメタフィードバックコントローラの学習, 中西広樹,橋本和宗,高井重昌, 第66回システム制御情報学会研究発表講演会, 2022/05/20
  • 深層強化学習を用いた自己駆動型制御の設計, 原野柚希,橋本和宗,高井 重昌, 第66回システム制御情報学会研究発表講演会, 2022/05/19
  • センサ故障を考慮した離散事象システムの分散型診断, 福田拡也,高井重昌, 2022年電子情報通信学会総合大会, 2022/03/16
  • スライディングモード制御を用いた合意制御の2リンクロボットマニピュレータシステムへの応用, 亀岡佳弘,林直樹,高井重昌, 第9回計測自動制御学会制御部門マルチシンポジウム, 2022/03/10
  • マルチエージェントシステムにおける分散非凸最適化問題に対する量子化勾配降下アルゴリズム, 吉田淳哉,林直樹,高井重昌, 第9回計測自動制御学会制御部門マルチシンポジウム, 2022/03/09
  • Bisimilarity Control of Timed Nondeterministic Discrete Event Systems under Event and State Observations, 2022/01/11
  • STL2vec: 複数のSTL仕様に対するRNNコントローラ設計のためのSTL埋め込みの学習, 橋本 航,橋本 和宗,高井 重昌, 第64回自動制御連合講演会, 2021/11/13
  • 事象駆動型適応勾配降下法を用いた分散オンライン最適化, 岡本康暉,林直樹,高井重昌, 第64回自動制御連合講演会, 2021/11/13
  • Model Predictive Control with Robust Constraint Satisfaction Using Gaussian Process, Wataru Hashimoto,Naoki Hayashi,Shigemasa Takai, 電子情報通信学会高信頼制御通信研究会, 2021/07/14
  • Decentralized Supervisory Control of Timed Discrete Event Systems with Conditional Decisions for Enforcement of Events, 2017/06/19
  • Voronoi Coverage Control considering Velocity of Targets and its Application to Camera Sensor Networks, 2017/05/23
  • Existence of Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems, 2016/11/24
  • Event-driven Distributed Optimization by Subgradient Methods based on Consensus Control, 2016/05/25
  • A Method for Graph Signal Processing by Bilateral Filter with Perron Matrix, 2016/05/25
  • State Attraction Control of Discrete Event Systems Under Partial Observation, 2016/03/03
  • Supervisory Control of Networked Mealy Automata with Event Observation Delays and Losses, Masuda Naoyuki,Ushio Toshimitsu,Takai Shigemasa, Proceedings of the IEICE Engineering Sciences Society/NOLTA Society Conference, 2016/03/01
  • A Note on Bisimilarity Control of Nondeterministic Discrete Event Systems, 2016/01/25
  • Improvement of Permissiveness of the Decentralized Supervisor with Conditional Decisions, 2016/01/25
  • Robustness Analysis for Schedulability of Real-Time Systems, 2015/05/20
  • Analysis of Discrete-time Average Consensus Dynamics for Faster Convergence, 2015/05/20
  • Secure Linear Programming by Distributed Simplex Method, 2015/05/20
  • Analysis of average consensus dynamics for faster convergence, NOMURA Kenji,HAYASHI Naoki,TAKAI Shigemasa, Mathematical Systems Science and its Applications : IEICE technical report, 2014/11/20
  • Optimization of Unit Commitment Problem by Distributed Simplex Algorithm, ASAI Toshiki,HAYASHI Naoki,TAKAI Shigemasa, Mathematical Systems Science and its Applications : IEICE technical report, 2014/11/20
  • Decentralized Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations, HOSHINO Masanori,TAKAI Shigemasa, Mathematical Systems Science and its Applications : IEICE technical report, 2014/11/20
  • Analysis of average consensus dynamics for faster convergence, 2014/11/13
  • Optimization of Unit Commitment Problem by Distributed Simplex Algorithm, 2014/11/13
  • Decentralized Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations, 2014/11/13
  • Distributed Change-Point Detection by Average Consensus Dynamics, 2014/05/21
  • Secure Cooperative Control by Online Fault Detection, 2014/05/21
  • 工場エネルギー管理システムによる自家発プラントの運用改善, 北村聖一,森一之,泉井良夫,宮本俊幸,高井重昌, 電子情報通信学会大会講演論文集(CD-ROM), 2014
  • Cooperative Tracking in PTZ Camera Sensor Networks, HAMADA Kenta,HAYASHI Naoki,TAKAI Shigemasa, Mathematical Systems Science and its Applications : IEICE technical report, 2013/11/06
  • Application of a Consensus Algorithm for Circle Fitting Problems, 2013/05/15
  • Observability Analysis of Discrete Event Systems Modeled by Concurrent Synchronous Products, WANG Longiang,TAKAI Shigemasa, Mathematical Systems Science and its Applications : IEICE technical report, 2013/01/22
  • 不確実性を考慮した工場EMS, 北村聖一,森一之,泉井良夫,宮本俊幸,高井重昌, 電気学会電子・情報・システム部門大会講演論文集(CD-ROM), 2013
  • Verification of Partially Observed Discrete Event Systems Using Abstraction, YOKOTANI Misato,TAKAI Shigemasa, IEICE technical report. Circuits and systems, 2012/11/01
  • Decentralized Online Diagnosis of Discrete Event Systems Using the AND Rule, YAMAMOTO Takashi,TAKAI Shigemasa, 2012/10/25
  • Decentralized Online Diagnosis of Discrete Event Systems Using the AND Rule, YAMAMOTO Takashi,TAKAI Shigemasa, 2012/10/25
  • Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations, KIMURA Katsuyuki,NOMURA Masashi,TAKAI Shigemasa, Mathematical Systems Science and its Applications : IEICE technical report, 2012/03/01
  • Analysis of Redundancy for Decentralized Failure Diagnosis of Discrete Event Systems, NAKATA Shuhei,TAKAI Shigemasa, 2012/01/19
  • Decentralized Supervisory Control for Timed Discrete Event Systems Using a Partition of the Forcible Event Set, NOMURA Masashi,TAKAI Shigemasa, Mathematical Systems Science and its Applications : IEICE technical report, 2011/11/17
  • A-12-8 Simplification of Existence Conditions of Decentralized Supervisors under the AND Rule for Timed Discrete Event Systems, Nomura Masashi,Takai Shigemasa, Proceedings of the IEICE General Conference, 2011/02/28
  • Verification of the Existence of Decentralized Predictive Diagnosers with Safety Constraints for Discrete Event Systems, HARADA Hiroki,TAKAI Shigemasa, IEICE technical report, 2011/01/13
  • Decentralized Supervisory Control for Timed Discrete Event Systems, NOMURA Masashi,TAKAI Shigemasa, IEICE technical report, 2010/11/11
  • A-12-1 DECENTRALIZED PREDICTIVE DIAGNOSIS FOR FAILURES IN DISCRETE EVENT SYSTEMS WITH SAFETY CONSTRAINTS, Harada Hiroki,Takai Shigemasa, Proceedings of the Society Conference of IEICE, 2010/08/31
  • Modular Supervisory Control for Opacity in Discrete Event Systems, TAKAI Shigemasa, IEICE technical report, 2010/06/14
  • AS-3-6 OPTIMALITY OF DECENTRALIZED DIAGNOSERS FOR DISCRETE EVENT SYSTEMS, Takai Shigemasa, Proceedings of the IEICE General Conference, 2010/03/02
  • Simplification of Supervisor Existence Conditions for Timed Discrete Event Systems, NOMURA Masashi,TAKAI Shigemasa, IEICE technical report, 2010/01/14
  • Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions, TAKAI Shigemasa,USHIO Toshimitsu, IEICE technical report, 2009/11/09
  • Computation of the Supremal Controllable and Opaque Sublanguage for Discrete Event Systems with Observation Masks, YORIFUJI Kozue,TAKAI Shigemasa, IEICE technical report, 2009/05/27
  • A Formula for Computing the Supremal Controllable and Opaque Sublanguage in Discrete Event Systems, TAKAI Shigemasa,OKA Yusuke, IEICE technical report, 2008/07/28
  • Modeling of Discrete Event Systems by Mealy Automata, USHIO Toshimitsu,TAKAI Shigemasa, IEICE technical report, 2008/06/02
  • Supervisory Control of Unbounded Petri Nets Based on Their Approximation Models, TAKAI Shigemasa,BAI Yongming, IEICE technical report, 2006/01/20
  • Decentralized Supervisory Control Using Dynamic Default Control, TAKAI Shigemasa,USHIO Toshimitsu, Technical report of IEICE. CST, 2005/01/20
  • Finite Approximation of the Reachability Graph of an Unbounded Petri Net by a Finite Automaton, BAI Yongming,TAKAI Shigemasa, Technical report of IEICE. CST, 2004/06/04
  • The Generated Language under Decentralized Supervision with the OR and And Rules, IKEUCHI Naoya,OYA Koichi,TAKAI Shigemasa, Technical report of IEICE. CST, 2002/07/30
  • On Robust Supervisory Control of Discrete Event Systems, TAKAI Shigemasa, Technical report of IEICE. CST, 1997/11/27
  • The Set of Realizable Firing Time Sequences in Timed Event Graphs, TAKAI Shigemasa,KODAMA Shinzo, Technical report of IEICE. CST, 1997/01/24
  • Controlled Complementary-Places Petri Nets and Forbidden Marking Problems, Chang Wooi Voon,Ushio Toshimitsu,Takai Shigemasa,Kumagai Sadatoshi,Kodama Shinzo, Technical report of IEICE. CST, 1994/07/18
  • On the Existence of a Decentralized State Feedback in Discrete Event Systems, Takai Shigemasa,Ushio Toshimitsu,Kodama Shinzo, IEICE technical report. Circuits and systems, 1994/01/21

Academic Activities

  • Associate Editor for Journal of Control, Automation and Electrical Systems, 2023/06 - Present
  • Member of the International Program Committee of the 7th International Conference on Control, Decision and Information Technologies, IEEE, 2020/06 - 2020/07
  • Member of the Scientific Program Committee of the 14th International Workshop on Discrete Event Systems, IFAC, 2018/05 - 2018/06
  • Member of the Program Committee for the 13th International Workshop on Discrete Event Systems, IEEE, 2016/05 - 2016/06
  • Associate Editor for the IEEE Conference on Decision and Control and American Control Conference, IEEE, 2007/07 - 2015/07
  • Regional Co-Chair of the 18th International Conference on Control, Automation, Robotics and Vision, Nanyang Technological University, 2024/12 -
  • Co-Chair of the International Review Committee of the 17th International Workshop on Discrete Event Systems, IFAC, 2024/04 -
  • Industry Subgroup "Internet of Things" Co-Chair for the 22nd IFAC World Congress, 2023/07 -
  • Member of the International Program Committee for the 26th International Conference on System Theory, Control and Computing, 2022/10 -
  • Member of the Program Committee for the 16th International Workshop on Discrete Event Systems, 2022/09 -
  • Technical Program Co-Chair for the 37th International Technical Conference on Circuits/Systems, Computers, and Communications, 2022/07 -
  • Publicity Chair for the 17th IEEE International Conference on Control & Automation, IEEE, 2022/06 -
  • Member of the International Program Committee for the 8th International Conference on Control, Decision and Information Technologies, 2022/05 -
  • Member of the International Program Committee of the 25th International Conference on System Theory, Control and Computing, 2021/10 -
  • Member of the Track Program Committee of Track 4: "Automated Manufacturing Systems" at the 26th IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2021/09 -
  • Member of the Program Committee of the 7th International Conference on Event-based Control, Communication, and Signal Processing, 2021/06 -
  • Member of the International Review Committee of the 15th International Workshop on Discrete Event Systems, IFAC, 2020/11 -
  • Member of the International Program Committee of the 24th International Conference on System Theory, Control and Computing, Faculty of Automatic Control, Computers, Electrical and Electronics Engineering, Galati, Romania, 2020/10 -
  • Member of the Track Program Committee of Track 4: "Automated Manufacturing Systems" at the 25th IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2020/09 -
  • Associate Editor for the 21st IFAC World Congress, IFAC, 2020/07 -
  • Member of the International Program Committee of the 23rd International Conference on System Theory, Control and Computing, Faculty of Automatic Control, Computers, Electrical and Electronics Engineering, Galati, Romania, 2019/10 -
  • Member of the Track Program Committee of Track 4: "Automated Manufacturing Systems" at the 24th IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2019/09 -
  • Member of the International Program Committee of the 6th International Conference on Control, Decision and Information Technologies, IEEE, 2019/04 -
  • Member of the International Program Committee of the 22nd International Conference on System Theory, Control and Computing, Faculty of Automatic Control, Computers, Electrical and Electronics Engineering, Galati, Romania, 2018/10 -
  • Program Chair of the SICE Annual Conference 2018, SICE, 2018/09 -
  • Member of the Track Program Committee of Track 4: "Automated Manufacturing Systems" at the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2018/09 -
  • Member of the Track Program Committee of Track 4: "Automated Manufacturing Systems" at the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2017/09 -
  • Member of the Program Committee for the 14th International Conference on Control, Automation, Robotics and Vision, The Nanyang Technological University of Singapore, 2016/11 -
  • Member of the Track Program Committee of Track 4: "Automated Manufacturing Systems" at the 21st IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2016/09 -
  • Publication Chair of the 54th IEEE Conference on Decision and Control, IEEE, 2015/12 -
  • Member of the International Program Committee of the 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, IFAC, 2015/09 -
  • Member of the Track Program Committee of Track 4: "Automated Manufacturing Systems" at the 20th IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2015/09 -
  • Member of the Program Committee for the 13th International Conference on Control, Automation, Robotics and Vision, The Nanyang Technological University of Singapore, 2014/12 -
  • Member of the Track Program Committee of Track 4: "Automated Manufacturing Systems" at the 19th IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2014/09 -
  • Member of the Executive Committee (International Relations Co-Chairs) for the ISCIE/ASME 2014 International Symposium on Flexible Automation, ISCIE, 2014/07 -
  • Member of the Program Committee for the 12th International Workshop on Discrete Event Systems, IFAC, 2014/05 -
  • Member of the Track Program Committee of Track 4: "Automated Manufacturing Systems" at the 18th IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, 2013/09 -
  • Member of the Program Committee for the 2013 IEEE Conference on Automation Science and Engineering, IEEE, 2013/08 -
  • Member of the Program Committee for the 12th International Conference on Control, Automation, Robotics and Vision, IEEE, 2012/12 -
  • Member of the Program Committee for the 10th International Workshop on Discrete Event Systems, IFAC, 2010/09 -
  • 平成21年電気関係学会関西支部連合大会実行委員会委員, 気学会・電子情報通信学会・照明学会・映像情報メディア学会・日本音響学会・電気設備学会各関西支部, 2009/11 -
  • Member of the Program Committee for the 2009 CACS International Automatic Control Conference, The Chinese Automatic Control Society, 2009/11 -

Committee Memberships

  • 計測自動制御学会, 学会賞委員, 2022/03 - Present
  • 計測自動制御学会, Editor-in-Chief for SICE Journal of Control, Measurement, and System Integration, 2022/03 - Present
  • IEEE, Member of the IEEE CSS Technical Committee on Discrete Event Systems, 2020/06 - Present
  • IEEE, Member of the Subcommittee on Industrial Automated Systems and Control of the IEEE-IES Technical Committee on Factory Automation, 2014/04 - Present
  • IFAC, Member of the Technical Committee 1.3 on Discrete Event and Hybrid Systems, 2008/11 - Present
  • 電子情報通信学会, 基礎・境界ソサイエティ 副会長, 2022/06 - 2023/06
  • 電子情報通信学会, システムと信号処理サブソサイエティ運営委員会副委員長, 2021/06 - 2022/05
  • システム制御情報学会, 理事, 2020/05 - 2022/05
  • 計測自動制御学会, Deputy Editor-in-Chief for SICE Journal of Control, Measurement, and System Integration, 2021/03 - 2022/02
  • 電子情報通信学会, システム数理と応用研究専門委員会委員長, 2019/06 - 2021/05
  • 計測自動制御学会, Editor for SICE Journal of Control, Measurement, and System Integration, 2017/03 - 2020/02
  • 計測制御自動制御学会 制御部門, 部門運営委員会委員, 2018/01 - 2019/12
  • 計測制御自動制御学会 制御部門, 学術委員会委員, 2018/01 - 2019/12
  • 計測制御自動制御学会 制御部門, IoT時代に向けたイベントベースト制御調査研究会主査, 2018/01 - 2019/12
  • 公益財団法人京都高度技術研究所, 京都市ベンチャー企業目利き委員会 調査専門委員, 2019/07 - 2019/09
  • 電子情報通信学会, システム数理と応用研究専門委員会副委員長, 2017/06 - 2019/05
  • 大阪府, 大阪府建設工事総合評価等審査会委員, 2015/04 - 2019/03
  • 計測自動制御学会, Annual Conference Award 選考委員会委員, 2017/03 - 2019/02
  • 計測自動制御学会, Annual Conference 委員会委員, 2016/03 - 2019/02
  • IEEE, Associate Editor for the IEEE Transactions on Automatic Control, 2014/01 - 2017/12
  • 電子情報通信学会, システム数理と応用研究専門委員会委員, 2011/05 - 2017/05
  • システム制御情報学会, 評議員, 2014/05 - 2016/03
  • 計測自動制御学会, Associate Editor for SICE Journal of Control, Measurement, and System Integration, 2010/04 - 2016/02
  • システム制御情報学会, 常任理事, 2010/05 - 2014/05
  • 計測自動制御学会関西支部, 物理と情報をつなぐ次世代システム制御研究会主査, 2012/04 - 2014/03
  • 計測自動制御学会, 理事, 2011/02 - 2013/02
  • システム制御情報学会, 事業委員会委員, 2009/05 - 2011/05
  • 電子情報通信学会, コンカレント工学研究専門委員会委員, 1997/05 - 2011/05
  • 計測自動制御学会, 英文論文誌委員会幹事, 2010/06 - 2011/02
  • 計測自動制御学会, 離散事象システム部会運営委員会委員, 2003/01 - 2010/12
  • システム制御情報学会, 評議員, 2008/05 - 2010/05
  • 電子情報通信学会, 「Special Section on Theory of Concurrent Systems and its Applications」英文論文小特集編集委員会委員, 2009/04 - 2009/10