EN

基本情報

研究

社会活動

その他の活動

髙井 重昌

Takai Shigemasa

工学研究科 電気電子情報通信工学専攻,教授

keyword システム制御理論

学歴

  • ~ 1991年,神戸大学,工学研究科,システム工学
  • ~ 1991年,神戸大学
  • ~ 1989年,神戸大学,工学部,システム工学
  • ~ 1989年,神戸大学

経歴

  • 2009年 ~ ,- 大阪大学・教授
  • 2009年 ~ ,- Osaka University, Professor

研究内容・専門分野

  • ものづくり技術(機械・電気電子・化学工学),制御、システム工学
  • ものづくり技術(機械・電気電子・化学工学),制御、システム工学
  • ものづくり技術(機械・電気電子・化学工学),制御、システム工学
  • ものづくり技術(機械・電気電子・化学工学),制御、システム工学

所属学会

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

論文

  • Modular similarity control of nondeterministic discrete event systems with modular specifications,Jinglun Li,Shigemasa Takai,IEEE Control Systems Letters,IEEE,Vol. 6,p. 1358-1363,2022年,研究論文(学術雑誌)
  • Distributed gradient descent method with edge-based event-driven communication for non-convex optimization,Takashi Adachi,Naoki Hayashi,Shigemasa Takai,IET Control Theory & Applications,Wiley,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 Transactions on Automatic Control,IEEE,Vol. 66,No. 7,p. 3197-3204,2021年07月,研究論文(学術雑誌)
  • A general framework for diagnosis of discrete event systems subject to sensor failures,Shigemasa Takai,Automatica,Elsevier,Vol. 129,p. 1-12,2021年07月,研究論文(学術雑誌)
  • Distributed primal-dual perturbation algorithm over unbalanced directed networks,Hiroaki Sakuma,Naoki Hayashi,Shigemasa Takai,IEEE Access,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 Transactions on Automatic Control,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,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月,研究論文(国際会議プロシーディングス)
  • 浮体式洋上ウィンドファームにおける総発電量の調整を考慮した分散ブレードピッチ角制御,橋本 航,林 直樹,原 尚之,高井重昌,計測自動制御学会論文集,計測自動制御学会,Vol. 56,No. 8,p. 395-402,2020年08月,研究論文(学術雑誌)
  • Distributed job shop scheduling using consensus alternating direction method of multipliers,IFAC,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,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年,研究論文(国際会議プロシーディングス)
  • 2レベル階層型PTZカメラセンサネットワークによるイベントトリガ型協調追跡,瀬川昂平,浜田健太,林 直樹,高井重昌,計測自動制御学会論文集,計測自動制御学会,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月,研究論文(学術雑誌)
  • トランジションシステムの模倣制御における出力フィードバックコントローラの最大許容性,串 直紀,高井 重昌,電子情報通信学会論文誌分冊A,電子情報通信学会,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月,研究論文(学術雑誌)
  • 出力フィードバックによるトランジションシステムの模倣制御,ブー トゥン ナム,高井 重昌,電子情報通信学会論文誌分冊A,電子情報通信学会,Vol. J97-A,No. 3,p. 140-149,2014年03月,研究論文(学術雑誌)
  • 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月,研究論文(学術雑誌)
  • 不確実性を考慮した工場自家発プラントの運転最適化,北村聖一,森 一之,泉井良夫,宮本俊幸,高井重昌,電気学会論文誌C,電気学会,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月,研究論文(学術雑誌)
  • 時間付き離散事象システムにおける部分観測スーパバイザの存在条件の簡単化,野村雅司,高井重昌,電子情報通信学会論文誌分冊A,電子情報通信学会,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月,研究論文(学術雑誌)
  • 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月,研究論文(学術雑誌)
  • 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月,研究論文(学術雑誌)
  • 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月,研究論文(学術雑誌)

著書

  • 事典・辞書,制御の事典,高井重昌,朝倉書店,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月

受賞

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

学術貢献

  • 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月
  • Member of the International Review Committee of the 15th International Workshop on Discrete Event Systems,IFAC,2020年11月 ~
  • ember 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月 ~

委員歴

  • 学協会,IEEE,Member of the IEEE CSS Technical Committee on Discrete Event Systems,2020年06月 ~ 継続中
  • 学協会,システム制御情報学会,理事,2020年06月 ~ 継続中
  • 学協会,電子情報通信学会,システム数理と応用研究専門委員会委員長,2019年06月 ~ 継続中
  • 学協会,IEEE,Member of the Subcommittee on Industrial Automated Systems and Control of the IEEE-IES Technical Committee on Factory Automation,2014年04月 ~ 継続中
  • 学協会,IFAC,Member of the Technical Committee 1.3 on Discrete Event and Hybrid Systems,2008年11月 ~ 継続中
  • 学協会,計測自動制御学会,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月