keyword システム制御理論
神戸大学 工学研究科 システム工学専攻
1989年4月 ～ 1991年3月
神戸大学 工学部 システム工学科
1985年4月 ～ 1989年3月
計測自動制御学会 Editor-in-Chief for SICE Journal of Control, Measurement, and System Integration 学協会
2022年3月 ～ 継続中
IEEE Member of the IEEE CSS Technical Committee on Discrete Event Systems 学協会
2020年6月 ～ 継続中
IEEE Member of the Subcommittee on Industrial Automated Systems and Control of the IEEE-IES Technical Committee on Factory Automation 学協会
2014年4月 ～ 継続中
IFAC Member of the Technical Committee 1.3 on Discrete Event and Hybrid Systems 学協会
2008年11月 ～ 継続中
計測自動制御学会 学会賞委員 学協会
2022年3月 ～ 2024年2月
電子情報通信学会 基礎・境界ソサイエティ 副会長 学協会
2022年6月 ～ 2023年6月
電子情報通信学会 システムと信号処理サブソサイエティ運営委員会副委員長 学協会
2021年6月 ～ 2022年5月
システム制御情報学会 理事 学協会
2020年5月 ～ 2022年5月
計測自動制御学会 Deputy Editor-in-Chief for SICE Journal of Control, Measurement, and System Integration 学協会
2021年3月 ～ 2022年2月
電子情報通信学会 システム数理と応用研究専門委員会委員長 学協会
2019年6月 ～ 2021年5月
計測自動制御学会 Editor for SICE Journal of Control, Measurement, and System Integration 学協会
2017年3月 ～ 2020年2月
計測制御自動制御学会 制御部門 部門運営委員会委員 学協会
2018年1月 ～ 2019年12月
計測制御自動制御学会 制御部門 学術委員会委員 学協会
2018年1月 ～ 2019年12月
計測制御自動制御学会 制御部門 IoT時代に向けたイベントベースト制御調査研究会主査 学協会
2018年1月 ～ 2019年12月
公益財団法人京都高度技術研究所 京都市ベンチャー企業目利き委員会 調査専門委員 その他
2019年7月 ～ 2019年9月
電子情報通信学会 システム数理と応用研究専門委員会副委員長 学協会
2017年6月 ～ 2019年5月
大阪府 大阪府建設工事総合評価等審査会委員 自治体
2015年4月 ～ 2019年3月
計測自動制御学会 Annual Conference Award 選考委員会委員 学協会
2017年3月 ～ 2019年2月
計測自動制御学会 Annual Conference 委員会委員 学協会
2016年3月 ～ 2019年2月
IEEE Associate Editor for the IEEE Transactions on Automatic Control 学協会
2014年1月 ～ 2017年12月
電子情報通信学会 システム数理と応用研究専門委員会委員
2011年5月 ～ 2017年5月
システム制御情報学会 評議員 学協会
2014年5月 ～ 2016年3月
計測自動制御学会 Associate Editor for SICE Journal of Control, Measurement, and System Integration 学協会
2010年4月 ～ 2016年2月
システム制御情報学会 常任理事 学協会
2010年5月 ～ 2014年5月
計測自動制御学会関西支部 物理と情報をつなぐ次世代システム制御研究会主査 学協会
2012年4月 ～ 2014年3月
計測自動制御学会 理事 学協会
2011年2月 ～ 2013年2月
システム制御情報学会 事業委員会委員 学協会
2009年5月 ～ 2011年5月
電子情報通信学会 コンカレント工学研究専門委員会委員 学協会
1997年5月 ～ 2011年5月
計測自動制御学会 英文論文誌委員会幹事 学協会
2010年6月 ～ 2011年2月
計測自動制御学会 離散事象システム部会運営委員会委員 学協会
2003年1月 ～ 2010年12月
システム制御情報学会 評議員 学協会
2008年5月 ～ 2010年5月
電子情報通信学会 「Special Section on Theory of Concurrent Systems and its Applications」英文論文小特集編集委員会委員 学協会
2009年4月 ～ 2009年10月
米国電気電子学会(The Institute of Electrical and Electronic Engineers)
計測自動制御学会
システム制御情報学会
電子情報通信学会
ものづくり技術（機械・電気電子・化学工学） / 制御、システム工学 /
2019年度システム制御情報学会学会賞論文賞
梶山祐一, 林 直樹, 高井重昌 システム制御情報学会 2019年5月
第73回電子情報通信学会論文賞
野村健二, 林 直樹, 高井重昌 電子情報通信学会 2017年6月
平成26年電気学会電子・情報・システム部門誌優秀論文賞
北村聖一, 森 一之, 泉井良夫, 宮本俊幸, 高井重昌 電気学会電子・情報・システム部門 2014年9月
第63回電子情報通信学会論文賞
梁瀬裕行, 潮 俊光, 足立正和, 高井重昌 電子情報通信学会 2007年5月
1995年度システム制御情報学会 論文賞
高井重昌, 潮 俊光, 児玉慎三 システム制御情報学会 1995年5月
Intersection-based architectures for decentralized diagnosis of discrete event systems
Shigemasa Takai, Takashi Yamamoto
Automatica Vol. 183 p. 1-12 2026年1月 研究論文（学術雑誌）
出版者・発行元：Elsevier
Predicting pedestrian confidence regions with distributional robust optimization: Incorporating parameter and distributional uncertainty in the social force model
Taiwei Li, Norika Arai, Xun Shen, Kazumune Hashimoto, Kai Cai, Xingguo Zhang, Ye Wang, Pongsathorn Raksincharoensak, Shigemasa Takai
Proceedings of the 9th IEEE Conference on Control Technology and Applications p. 742-747 2025年8月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
クラスタリングを用いたニューラル制御器の学習
二川 健太, 橋本 和宗, 芹澤 和伸, 高井 重昌
システム制御情報学会論文誌 Vol. 38 No. 4 p. 63-71 2025年4月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
電力量と調整力の市場価格の不確実性を考慮した翌日需給計画最適化
内藤健人, 高井重昌, 北村聖一, 森一之
電気学会論文誌B Vol. 145 No. 4 p. 369-377 2025年4月 研究論文（学術雑誌）
出版者・発行元：電気学会
Informed RRT*アルゴリズムを用いた月極域における水探査のための経路計画手法
保津明範, 橋本和宗, 高井重昌
計測自動制御学会論文集 Vol. 61 No. 3 p. 122-134 2025年3月 研究論文（学術雑誌）
出版者・発行元：計測自動制御学会
Sampling-based motion planning for lunar water exploration under time-variant illumination areas
Yuki Uehara, Kazumune Hashimoto, Shigemasa Takai
Proceedings of the 2025 AIAA SciTech Forum p. 1-16 2025年1月 研究論文（国際会議プロシーディングス）
出版者・発行元：AIAA
Distributed zeroth-order online optimization with communication delays
Keito Inoue, Naoki Hayashi, Shigemasa Takai
IET Control Theory & Applications Vol. 19 No. 1 p. 1-15 2025年1月 研究論文（学術雑誌）
出版者・発行元：Wiley
Robust learning-based iterative model predictive control for unknown non-linear systems
Wataru Hashimoto, Kazumune Hashimoto, Masako Kishida, Shigemasa Takai
IET Control Theory & Applications Vol. 18 No. 18 p. 2540-2554 2024年12月 研究論文（学術雑誌）
出版者・発行元：Wiley
Reliable decentralized failure diagnosis of discrete event systems using single-level inference
Takumi Hamada, Shigemasa Takai
Discrete Event Dynamic Systems: Theory and Applications Vol. 34 No. 4 p. 497-537 2024年12月 研究論文（学術雑誌）
出版者・発行元：Springer
Novel hybrid arithmetic-equilibrium optimizer as robust tuner for power system stabilizer (PSS) parameters in interconnected electrical power system
Imam Robandi, Mohamad Almas Prakasa, Muhammad Ruswandi Djalal, Shigemasa Takai, Arimbi Kumala Sari, Mochammad Adri Satria Musti
e-Prime - Advances in Electrical Engineering, Electronics and Energy Vol. 10 p. 1-11 2024年12月 研究論文（学術雑誌）
出版者・発行元：Elsevier
Data-efficient safe learning and control with on-board sensors: Bayesian meta-learning and barrier function based approach
Wataru Hashimoto, Kazumune Hashimoto, Akifumi Wachi, Xun Shen, Masako Kishida, Shigemasa Takai
Advanced Robotics Vol. 38 No. 21 p. 1501-1514 2024年11月 研究論文（学術雑誌）
出版者・発行元：Taylor & Francis
Nonexistence of upper bound to inferencing level in decentralized discrete event control
Shigemasa Takai, Ratnesh Kumar
IEEE Transactions on Automatic Control Vol. 69 No. 11 p. 7964-7971 2024年11月 研究論文（学術雑誌）
出版者・発行元：IEEE
Deterministic decentralized supervisors for bisimilarity control of nondeterministic discrete event systems
Akari Kimura, Shigemasa Takai
Proceedings of the 2024 American Control Conference p. 5426-5431 2024年7月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
Safe reinforcement learning using model predictive control with probabilistic control barrier function
Xun Shen, Akifumi Wachi, Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai
Proceedings of the 2024 American Control Conference p. 74-79 2024年7月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
Distributed online adaptive gradient descent with event-triggered communication
Koki Okamoto, Naoki Hayashi, Shigemasa Takai
IEEE Transactions on Control of Network Systems Vol. 11 No. 2 p. 610-622 2024年6月 研究論文（学術雑誌）
出版者・発行元：IEEE
Distributed online primal-dual subgradient method on unbalanced directed networks
Keishin Tada, Naoki Hayashi, Shigemasa Takai
Advanced Robotics Vol. 38 No. 9-10 p. 591-602 2024年5月 研究論文（学術雑誌）
出版者・発行元：Taylor & Francis
Quantized distributed event-triggered stochastic gradient-tracking for nonconvex optimization
Daichi Ishikawa, Naoki Hayashi, Shigemasa Takai
IEICE Transactions on Fundamentals Vol. E107-A No. 5 p. 762-769 2024年5月 研究論文（学術雑誌）
出版者・発行元：電子情報通信学会
Distributed primal-dual method on unbalanced digraphs with row stochasticity
Hiroaki Sakuma, Naoki Hayashi, Shigemasa Takai
International Journal of Control Vol. 97 No. 6 p. 1377-1388 2024年5月 研究論文（学術雑誌）
出版者・発行元：Taylor & Francis
Verification of codiagnosability arising in intersection-based decentralized diagnosis of discrete event systems
Shigemasa Takai, Takashi Yamamoto
Proceedings of the 17th International Workshop on Discrete Event Systems p. 132-137 2024年4月 研究論文（国際会議プロシーディングス）
出版者・発行元：Elsevier
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年4月 研究論文（学術雑誌）
出版者・発行元：Taylor & Francis
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年2月 研究論文（学術雑誌）
出版者・発行元：Elsevier
Constrained distributed online convex optimization with bandit feedback for unbalanced digraphs
Keishin Tada, Naoki Hayashi, Shigemasa Takai
IET Control Theory & Applications Vol. 18 No. 2 p. 184-200 2024年1月 研究論文（学術雑誌）
出版者・発行元：Wiley
A General Architecture for Intersection-Based Decentralized Supervisory Control of Discrete Event Systems
Akihito Hayano, Shigemasa Takai
IEEE Transactions on Automatic Control Vol. 69 No. 1 p. 674-680 2024年1月 研究論文（学術雑誌）
出版者・発行元：IEEE
Quantized Gradient Descent Algorithm for Distributed Nonconvex Optimization
Junya YOSHIDA, Naoki HAYASHI, Shigemasa TAKAI
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol. E106-A No. 10 p. 1297-1304 2023年10月 研究論文（学術雑誌）
出版者・発行元：Institute of Electronics, Information and Communications Engineers (IEICE)
適応的大規模近傍探索を用いたEV による電力及び物資の配送計画
廣島天晴, 宮本俊幸, 北村聖一, 内藤健人, 森 一之, 高井重昌, 泉井良夫
電気学会論文誌Ｃ Vol. 143 No. 9 p. 959-970 2023年9月 研究論文（学術雑誌）
出版者・発行元：電気学会
Distributed Online Optimization With Dynamic Coupling Constraints Under Time-Varying Communication Delays
Keito Inoue, Naoki Hayashi, Shigemasa Takai
IEEE Access Vol. 11 p. 87256-87269 2023年8月 研究論文（学術雑誌）
出版者・発行元：IEEE
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年7月 研究論文（国際会議プロシーディングス）
出版者・発行元：Elsevier
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 Vol. 31 No. 15/17 p. 24045-24053 2023年6月14日 研究論文（学術雑誌）
出版者・発行元：Optica Publishing Group
Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems
Jinglun Li, Shigemasa Takai
IEEE Transactions on Automatic Control Vol. 68 No. 6 p. 3529-3544 2023年6月 研究論文（学術雑誌）
出版者・発行元：IEEE
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年6月 研究論文（学術雑誌）
出版者・発行元：Elsevier
合意に基づく分散スケジューリング法へのハイブリッドメタヒューリスティクスの適用
宮本俊幸, 井上大地, 梅田豊裕, 高井重昌
システム制御情報学会論文誌 Vol. 36 No. 2 p. 27-39 2023年2月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
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 p. 4244-4249 2022年12月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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 p. 2283-2288 2022年12月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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 Vol. 144 p. 1-13 2022年10月 研究論文（学術雑誌）
出版者・発行元：Elsevier
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 p. 244-249 2022年9月 研究論文（国際会議プロシーディングス）
出版者・発行元：Elsevier
Cooperative tracking in camera sensor networks with sliding mode control
Yoshihiro Kameoka, Naoki Hayashi, Shigemasa Takai
Advanced Robotics Vol. 37 No. 1-2 p. 130-140 2022年9月 研究論文（学術雑誌）
出版者・発行元：Taylor & Francis
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 p. 1-4 2022年7月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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 p. 1554-1559 2022年7月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
Cooperative target tracking by multiagent camera sensor networks via Gaussian process
Takashi Adachi, Naoki Hayashi, Shigemasa Takai
IEEE Access Vol. 10 p. 71717-71727 2022年7月 研究論文（学術雑誌）
出版者・発行元：IEEE
Reliable Diagnosability for Decentralized Diagnosis of Discrete Event Systems with Single-Level Inference
Takumi Hamada, Shigemasa Takai
Proceedings of the 2022 American Control Conference p. 3746-3751 2022年6月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
Decentralized diagnosis of discrete event systems subject to permanent sensor failures
Akihito Wada, Shigemasa Takai
Discrete Event Dynamic Systems: Theory and Applications Vol. 32 No. 2 p. 159-193 2022年6月 研究論文（学術雑誌）
出版者・発行元：Springer
Reliable decentralized supervisory control of discrete event systems with single-level inference
Shigemasa Takai, Sho Yoshida
IEICE Transactions on Fundamentals Vol. E105-A No. 5 p. 799-807 2022年5月 研究論文（学術雑誌）
出版者・発行元：IEICE
STL2vec: Signal temporal logic embeddings for control synthesis with recurrent neural networks
IEEE Robotics and Automation Letters Vol. 7 No. 2 p. 5246-5253 2022年4月 研究論文（学術雑誌）
出版者・発行元：
Maximally permissive modular similarity control of composite nondeterministic discrete event systems
Jinglun Li, Shigemasa Takai
IEEE Control Systems Letters Vol. 6 p. 2305-2310 2022年2月 研究論文（学術雑誌）
出版者・発行元：IEEE
Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
Jinglun Li, Shigemasa Takai
Automatica Vol. 135 p. 1-13 2022年1月 研究論文（学術雑誌）
出版者・発行元：Elsevier
Modular similarity control of nondeterministic discrete event systems with modular specifications
Jinglun Li, Shigemasa Takai
IEEE Control Systems Letters Vol. 6 p. 1358-1363 2022年1月 研究論文（学術雑誌）
出版者・発行元：IEEE
Logarithmic regret for distributed online subgradient method over unbalanced directed networks
Makoto Yamashita, Naoki Hayashi, Takeshi Hatanaka, Shigemasa Takai
IEICE Transactions on Fundamentals Vol. E104-A No. 8 p. 1019-1026 2021年8月 研究論文（学術雑誌）
出版者・発行元：IEICE
Distributed gradient descent method with edge-based event-driven communication for non-convex optimization
Takashi Adachi, Naoki Hayashi, Shigemasa Takai
IET Control Theory & Applications Vol. 15 No. 12 p. 1588-1598 2021年8月 研究論文（学術雑誌）
出版者・発行元：Wiley
Synthesis of maximally permissive supervisors for nondeterministic discrete event systems with nondeterministic specifications
Shigemasa Takai
IEEE Transactions on Automatic Control Vol. 66 No. 7 p. 3197-3204 2021年7月 研究論文（学術雑誌）
出版者・発行元：IEEE
A general framework for diagnosis of discrete event systems subject to sensor failures
Shigemasa Takai
Automatica Vol. 129 p. 1-12 2021年7月 研究論文（学術雑誌）
出版者・発行元：Elsevier
Distributed primal-dual perturbation algorithm over unbalanced directed networks
Hiroaki Sakuma, Naoki Hayashi, Shigemasa Takai
IEEE Access Vol. 9 p. 75324-75335 2021年5月 研究論文（学術雑誌）
出版者・発行元：IEEE
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 Vol. 66 No. 3 p. 1254-1261 2021年3月 研究論文（学術雑誌）
出版者・発行元：IEEE
Dynamic regret analysis for event-triggered distributed online optimization algorithm
Makoto Yamashita, Naoki Hayashi, Shigemasa Takai
IEICE Transactions on Fundamentals Vol. E104-A No. 2 p. 430-437 2021年2月 研究論文（学術雑誌）
出版者・発行元：IEICE
分散スケジューリング問題に対する合意に基づく解法
宮本俊幸, 梅田豊裕, 高井重昌
システム制御情報学会論文誌 p. 58-67 2021年2月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会Deterministic supervisors for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
Kohei Shimatani, Shigemasa Takai
IEICE Transactions on Fundamentals Vol. E104-A No. 2 p. 438-446 2021年2月 研究論文（学術雑誌）
出版者・発行元：IEICE
Maximally permissive nonblocking similarity control of nondeterministic discrete event systems
Jinglun Li, Shigemasa Takai
Proceedings of the 59th IEEE Conference on Decision and Control p. 73-78 2020年12月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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 p. 344-349 2020年11月 研究論文（国際会議プロシーディングス）
出版者・発行元：IFAC浮体式洋上ウィンドファームにおける総発電量の調整を考慮した分散ブレードピッチ角制御
橋本 航, 林 直樹, 原 尚之, 高井重昌
計測自動制御学会論文集 Vol. 56 No. 8 p. 395-402 2020年8月 研究論文（学術雑誌）
出版者・発行元：計測自動制御学会
Distributed job shop scheduling using consensus alternating direction method of multipliers
Vol. 53 No. 2 p. 10785-10790 2020年7月 研究論文（国際会議プロシーディングス）
出版者・発行元：IFAC
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 p. 45-48 2020年7月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEICEDistributed subgradient method for constrained convex optimization with quantized and event-triggered communication
Naoki Hayashi, Kazuyuki Ishikawa, Shigemasa Takai
IEICE Transactions on Fundamentals Vol. E103-A No. 2 p. 428-434 2020年2月 研究論文（学術雑誌）
出版者・発行元：IEICE
Consensus-based quantized algorithm for convex optimization with smooth cost functions
Naoki Hayashi, Yuichi Kajiyama, Shigemasa Takai
IEICE Transactions on Fundamentals Vol. E103-A No. 2 p. 435-442 2020年2月 研究論文（学術雑誌）
出版者・発行元：IEICE
合意制御に基づく協調型トンプソン抽出の検討
神村素輝, 林 直樹, 高井重昌
システム制御情報学会論文誌 Vol. 33 No. 2 p. 57-65 2020年2月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会Decentralized supervisory control of timed discrete event systems with conditional decisions for enforcing forcible events
Shimpei Miura, Shigemasa Takai
IEICE Transactions on Fundamentals Vol. E103-A No. 2 p. 417-427 2020年2月 研究論文（学術雑誌）
出版者・発行元：IEICE
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 Vol. 14 No. 2 p. 253-261 2020年1月29日 研究論文（学術雑誌）
出版者・発行元：Institution of Engineering and Technology (IET)
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 p. 1037-1042 2019年12月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
Shigemasa Takai
Automatica Vol. 108 p. 1-11 2019年10月 研究論文（学術雑誌）
出版者・発行元：Elsevier
Sufficient condition for state attraction of discrete event systems under partial observation
Ryoma Sawasaki, Shigemasa Takai
Proceedings of the SICE Annual Conference 2019 p. 1432-1435 2019年9月 研究論文（国際会議プロシーディングス）
出版者・発行元：SICEVerification 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 p. 1726-1731 2019年6月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
Distributed constrained convex optimization with accumulated subgradient information over undirected switching networks
Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai
IEICE Transactions on Fundamentals Vol. E102-A No. 2 p. 343-350 2019年2月 研究論文（学術雑誌）
出版者・発行元：IEICE
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 Vol. E102-A No. 2 p. 399-403 2019年2月 研究論文（学術雑誌）
出版者・発行元：IEICE
Maximally permissive supervisory control of nondeterministic discrete event systems with nondeterministic specifications
Shigemasa Takai
Proceedings of the 57th IEEE Conference on Decision and Control p. 3975-3980 2018年12月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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 p. 3956-3961 2018年12月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
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 p. 2003-2008 2018年10月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEEE
Decentralized supervisor synthesis for composite nondeterministic discrete event systems with local specifications
Itsuki Okubo, Shigemasa Takai
Proceedings of the SICE Annual Conference 2018 p. 1793-1796 2018年9月 研究論文（国際会議プロシーディングス）
出版者・発行元：SICECodiagnosability 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 p. 1069-1072 2018年9月 研究論文（国際会議プロシーディングス）
出版者・発行元：SICEDistributed subgradient method with edge-based event-triggered communication
Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai
IEEE Transactions on Automatic Control Vol. 63 No. 7 p. 2248-2255 2018年7月 研究論文（学術雑誌）
出版者・発行元：IEEE
Implementation of inference-based diagnosis: computing delay bound and ambiguity levels
Shigemasa Takai, Ratnesh Kumar
Discrete Event Dynamic Systems: Theory and Applications Vol. 28 No. 2 p. 315-348 2018年6月1日 研究論文（学術雑誌）
出版者・発行元：Springer New York LLC
Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems
Naoki Kushi, Shigemasa Takai
IEEE Transactions on Automatic Control Vol. 63 No. 5 p. 1457-1464 2018年5月1日 研究論文（学術雑誌）
出版者・発行元：Institute of Electrical and Electronics Engineers Inc.
Synthesis of bisimilarity enforcing supervisors for nondeterministic discrete event systems
Shigemasa Takai
Proceedings of the 14th International Workshop on Discrete Event Systems p. 1-6 2018年5月 研究論文（国際会議プロシーディングス）
出版者・発行元：Elsevier
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 Vol. E101A No. 2 p. 338-344 2018年2月1日 研究論文（学術雑誌）
出版者・発行元：Institute of Electronics, Information and Communication, Engineers, IEICE
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 Vol. E101A No. 2 p. 328-337 2018年2月1日 研究論文（学術雑誌）
出版者・発行元：Institute of Electronics, Information and Communication, Engineers, IEICE
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 Vol. 2018- p. 4650-4655 2018年1月18日 研究論文（国際会議プロシーディングス）
出版者・発行元：Institute of Electrical and Electronics Engineers Inc.
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 p. 160-163 2017年9月 研究論文（国際会議プロシーディングス）
出版者・発行元：SICEA Generalized Inference-Based Prognosis Framework for Discrete Event Systems
Shigemasa Takai, Ratnesh Kumar
IFAC-PapersOnLine Vol. 50 No. 1 p. 6819-6824 2017年7月1日 研究論文（学術雑誌）
出版者・発行元：Elsevier B.V.
Distributed Event-Triggered Subgradient Method for Convex Optimization with a Common Constraint Set
Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai
IFAC-PapersOnLine Vol. 50 No. 1 p. 15319-15324 2017年7月1日 研究論文（学術雑誌）
出版者・発行元：Elsevier B.V.
合意制御に基づく分散事象駆動型劣勾配アルゴリズムによる制約なし凸最適化
梶山祐一, 林 直樹, 高井重昌
システム制御情報学会論文誌 Vol. 30 No. 6 p. 253-262 2017年6月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
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 Vol. 62 No. 6 p. 2778-2793 2017年6月 研究論文（学術雑誌）
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 Vol. 10 No. 2 p. 70-76 2017年3月 研究論文（学術雑誌）
出版者・発行元：SICE
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 Vol. 10 No. 2 p. 110-116 2017年3月 研究論文（学術雑誌）
出版者・発行元：SICE
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 Vol. 27 No. 1 p. 45-84 2017年3月 研究論文（学術雑誌）
Decentralized Similarity Control of Composite Nondeterministic Discrete Event Systems with Local Specifications
Masanori Hoshino, Shigemasa Takai
IEICE Transactions on Fundamentals Vol. E100A No. 2 p. 395-405 2017年2月 研究論文（学術雑誌）
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 p. 414-419 2016年12月27日 研究論文（国際会議プロシーディングス）
出版者・発行元：Institute of Electrical and Electronics Engineers Inc.
Linear convergence of distributed periodically-triggered ADMM for unconstrained optimization
Hayato Fujimura, Naoki Hayashi, Shigemasa Takai
Proceedings of the SICE Annual Conference 2016 p. 1735-1736 2016年9月 研究論文（国際会議プロシーディングス）
出版者・発行元：SICEDiscrete-time average consensus with multi-hop communication
Shiori Miyake, Naoki Hayashi, Shigemasa Takai
SICE Journal of Control, Measurement, and System Integration Vol. 9 No. 5 p. 187-191 2016年9月 研究論文（学術雑誌）
出版者・発行元：SICE
条件付き判断をもつ分散スーパバイザの許容性の改善
吉田 翔, 高井 重昌
電子情報通信学会論文誌分冊A Vol. J99-A No. 9 p. 361-373 2016年9月 研究論文（学術雑誌）
出版者・発行元：電子情報通信学会ABSTRACTION-BASED VERIFICATION AND SYNTHESIS FOR PROGNOSIS OF DISCRETE EVENT SYSTEMS
Misato Yokotani, Tetsuya Kondo, Shigemasa Takai
ASIAN JOURNAL OF CONTROL Vol. 18 No. 4 p. 1279-1288 2016年7月 研究論文（学術雑誌）
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 Vol. 9 No. 3 p. 122-127 2016年5月 研究論文（学術雑誌）
出版者・発行元：SICE
Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Toshimitsu Ushio, Shigemasa Takai
IEEE TRANSACTIONS ON AUTOMATIC CONTROL Vol. 61 No. 3 p. 799-804 2016年3月 研究論文（学術雑誌）
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 Vol. E99A No. 2 p. 483-490 2016年2月 研究論文（学術雑誌）
Delay Bound of Inference-Based Decentralized Diagnosis in Discrete Event Systems
Shigemasa Takai, Ratnesh Kumar
2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES) p. 224-229 2016年 研究論文（国際会議プロシーディングス）
2レベル階層型PTZカメラセンサネットワークによるイベントトリガ型協調追跡
瀬川昂平, 浜田健太, 林 直樹, 高井重昌
計測自動制御学会論文集 Vol. 52 No. 1 p. 19-27 2016年1月 研究論文（学術雑誌）
出版者・発行元：計測自動制御学会
Diagnosability of discrete event systems subject to permanent sensor failures
Naoki Kanagawa, Shigemasa Takai
INTERNATIONAL JOURNAL OF CONTROL 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 p. 372-374 2015年10月 研究論文（国際会議プロシーディングス）
出版者・発行元：SWARM 2015収束速度の改善を考慮した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) 2015年9月 研究論文（国際会議プロシーディングス）
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) 2015年9月 研究論文（国際会議プロシーディングス）
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 2015年6月 研究論文（国際会議プロシーディングス）
GTS-based communication task scheduling for quantized output consensus over IEEE 802.15.4 wireless networks
Naoki Hayashi, Shigemasa Takai
AUTOMATICA Vol. 55 p. 6-11 2015年5月 研究論文（学術雑誌）
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 Vol. 10 No. 2 p. 186-194 2015年3月 研究論文（学術雑誌）
トランジションシステムの模倣制御における出力フィードバックコントローラの最大許容性
串 直紀, 高井 重昌
電子情報通信学会論文誌分冊A Vol. J98-A No. 3 p. 255-266 2015年3月 研究論文（学術雑誌）
出版者・発行元：電子情報通信学会Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems
Takashi Yamamoto, Shigemasa Takai
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES Vol. E98A No. 2 p. 650-653 2015年2月 研究論文（学術雑誌）
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) 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) p. 3522-3527 2015年 研究論文（国際会議プロシーディングス）
Robust prognosability for a set of partially observed discrete event systems
Shigemasa Takai
AUTOMATICA Vol. 51 No. 1 p. 123-130 2015年1月 研究論文（学術雑誌）
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) 2014年9月 研究論文（国際会議プロシーディングス）
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 Vol. 7 No. 5 p. 297-303 2014年9月 研究論文（学術雑誌）
出版者・発行元：SICE
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 Vol. 9 No. 5 p. 523-531 2014年9月 研究論文（学術雑誌）
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 2014年7月 研究論文（国際会議プロシーディングス）
出版者・発行元：ISCIEMaximally 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 Vol. E97A No. 7 p. 1500-1507 2014年7月 研究論文（学術雑誌）
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 Vol. E97A No. 7 p. 1605-1614 2014年7月 研究論文（学術雑誌）
Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
Katsuyuki Kimura, Shigemasa Takai
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS Vol. E97D No. 5 p. 1140-1148 2014年5月 研究論文（学術雑誌）
出力フィードバックによるトランジションシステムの模倣制御
ブー トゥン ナム, 高井 重昌
電子情報通信学会論文誌分冊A Vol. J97-A No. 3 p. 140-149 2014年3月 研究論文（学術雑誌）
出版者・発行元：電子情報通信学会離散事象システムのスーパバイザ制御
高井 重昌
電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review Vol. 7 No. 4 p. 317-325 2014年
出版者・発行元：The Institute of Electronics, Information and Communication Engineers
Abstraction-based verification for partially observed discrete event systems
Misato Yokotani, Shigemasa Takai
IFAC Proceedings Volumes (IFAC-PapersOnline) Vol. 9 No. 3 p. 356-361 2014年 研究論文（国際会議プロシーディングス）
出版者・発行元：IFAC Secretariat
Consensus-based distribution estimation of 1-D diffusion phenomena
Naoki Hayashi, Shigemasa Takai
Proceedings of the American Control Conference p. 2569-2574 2014年 研究論文（国際会議プロシーディングス）
出版者・発行元：Institute of Electrical and Electronics Engineers Inc.
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) 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) p. 5961-5966 2014年 研究論文（国際会議プロシーディングス）
平均コンセンサスアルゴリズムによる分散円あてはめ
村西 悠, 林 直樹, 高井重昌
システム制御情報学会論文誌 Vol. 27 No. 1 p. 14-19 2014年1月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
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 p. 6-13 2013年11月 研究論文（国際会議プロシーディングス）
出版者・発行元：IASTED
Modeling moving-block railway systems: A generalized batches Petri net approach
Mustafa Seckin Durmus, Shigemasa Takai
SICE Journal of Control, Measurement, and System Integration Vol. 6 No. 6 p. 403-410 2013年11月 研究論文（学術雑誌）
出版者・発行元：SICE
Abstraction-based verification of observability for discrete event systems
Misato Yokotani, Shigemasa Takai
Proceedings of the SICE Annual Conference 2013 p. 1016-1017 2013年9月 研究論文（国際会議プロシーディングス）
出版者・発行元：SICEReliable decentralized failure diagnosis of discrete event systems
Shuhei Nakata, Shigemasa Takai
SICE Journal of Control, Measurement, and System Integration Vol. 6 No. 5 p. 353-359 2013年9月 研究論文（学術雑誌）
出版者・発行元：SICE
A GTS Scheduling for Consensus Problems over IEEE 802.15.4 Wireless Networks
Naoki Hayashi, Shigemasa Takai
2013 EUROPEAN CONTROL CONFERENCE (ECC) 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 Vol. E96A No. 1 p. 345-355 2013年1月 研究論文（学術雑誌）
不確実性を考慮した工場自家発プラントの運転最適化
北村聖一, 森 一之, 泉井良夫, 宮本俊幸, 高井重昌
電気学会論文誌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 Vol. E96-A No. 4 p. 835-839 2013年 研究論文（学術雑誌）
出版者・発行元：Institute of Electronics, Information and Communication, Engineers, IEICE
Verification of robust diagnosability for partially observed discrete event systems
Shigemasa Takai
AUTOMATICA Vol. 48 No. 8 p. 1913-1919 2012年8月 研究論文（学術雑誌）
Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications
Shigemasa Takai, Ratnesh Kumar
IEEE TRANSACTIONS ON AUTOMATIC CONTROL Vol. 57 No. 5 p. 1259-1265 2012年5月 研究論文（学術雑誌）
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 Vol. E95A No. 5 p. 952-960 2012年5月 研究論文（学術雑誌）
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Shigemasa Takai, Toshimitsu Ushio
IEEE TRANSACTIONS ON AUTOMATIC CONTROL Vol. 57 No. 3 p. 798-804 2012年3月 研究論文（学術雑誌）
Robust Failure Prognosis of Partially Observed Discrete Event Systems
Shigemasa Takai
2012 AMERICAN CONTROL CONFERENCE (ACC) 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) Vol. 45 No. 29 p. 169-174 2012年 研究論文（国際会議プロシーディングス）
出版者・発行元：IFAC Secretariat
Decentralized Supervisory Control of Timed Discrete Event Systems
Masashi Nomura, Shigemasa Takai
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES 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 p. 11-14 2011年6月 研究論文（国際会議プロシーディングス）
出版者・発行元：IEICEModular 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 Vol. E94A No. 3 p. 1041-1044 2011年3月 研究論文（学術雑誌）
Inference-Based Decentralized Prognosis in Discrete Event Systems
Shigemasa Takai, Ratnesh Kumar
IEEE TRANSACTIONS ON AUTOMATIC CONTROL Vol. 56 No. 1 p. 165-171 2011年1月 研究論文（学術雑誌）
時間付き離散事象システムにおける部分観測スーパバイザの存在条件の簡単化
野村雅司, 高井重昌
電子情報通信学会論文誌分冊A Vol. J93-A No. 9 p. 638-641 2010年9月 研究論文（学術雑誌）
出版者・発行元：電子情報通信学会Robust failure diagnosis of partially observed discrete event systems
Shigemasa Takai
Proceedings of the 10th International Workshop on Discrete Event Systems p. 205-210 2010年8月 研究論文（国際会議プロシーディングス）
出版者・発行元：Elsevier
Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems
Shigemasa Takai, Ratnesh Kumar
IEEE TRANSACTIONS ON AUTOMATIC CONTROL Vol. 55 No. 8 p. 1881-1887 2010年8月 研究論文（学術雑誌）
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 Vol. 7 No. 3 p. 512-522 2010年7月 研究論文（学術雑誌）
非決定出力関数をもつMealyオートマトンで表現される離散事象システムの診断
高井重昌, 潮 俊光
システム制御情報学会論文誌 Vol. 23 No. 6 p. 128-135 2010年6月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
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 Vol. 40 No. 2 p. 406-412 2010年3月 研究論文（学術雑誌）
Decentralized Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions
Shigemasa Takai, Toshimitsu Ushio
2010 AMERICAN CONTROL CONFERENCE p. 2613-2618 2010年 研究論文（国際会議プロシーディングス）
Decentralized Prognosis of Failures in Discrete Event Systems
Ratnesh Kumar, Shigemasa Takai
IEEE TRANSACTIONS ON AUTOMATIC CONTROL Vol. 55 No. 1 p. 48-59 2010年1月 研究論文（学術雑誌）
事象センサの故障を考慮した離散事象システムの診断
河本 大, 高井重昌
電子情報通信学会論文誌分冊A Vol. J92-A No. 8 p. 551-558 2009年8月 研究論文（学術雑誌）
出版者・発行元：電子情報通信学会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 Vol. 6 No. 3 p. 479-491 2009年7月 研究論文（学術雑誌）
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 p. 4260-4265 2009年6月 研究論文（国際会議プロシーディングス）
Verification and Synthesis for Secrecy in Discrete-Event Systems
Shigemasa Takai, Ratnesh Kumar
Proceedings of the 2009 American Control Conference p. 4741-4746 2009年6月 研究論文（国際会議プロシーディングス）
非決定出力関数をもつMealyオートマトンで表される離散事象システムのスーパバイザ制御
潮 俊光, 高井重昌
システム制御情報学会論文誌 Vol. 22 No. 4 p. 154-160 2009年4月 研究論文（学術雑誌）
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) 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 Vol. 1 No. 4 p. 307-311 2008年9月 研究論文（学術雑誌）
出版者・発行元：SICE
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年3月 研究論文（学術雑誌）
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) 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 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 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 p. 2754-+ 2007年 研究論文（国際会議プロシーディングス）
Inference-diagnosability: Nonconvergence and other complexity results
Shigemasa Takai, Ratnesh Kumar
PROCEEDINGS OF SICE ANNUAL CONFERENCE, VOLS 1-8 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 Vol. E89A No. 11 p. 3250-3253 2006年11月 研究論文（学術雑誌）
最大デッドロックフリー可制御部分述語の計算とその警報器設計への応用
梁瀬裕行, 潮 俊光, 足立正和, 高井重昌
電子情報通信学会論文誌分冊A Vol. J89-A No. 5 p. 333-339 2006年5月 研究論文（学術雑誌）
出版者・発行元：電子情報通信学会A new class of supervisors for timed discrete event systems under partial observation
S Takai, T Ushio
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS Vol. 16 No. 2 p. 257-278 2006年4月 研究論文（学術雑誌）
未知の可観測事象集合をもつ離散事象システムのオンラインスーパバイザ制御
河本 大, 高井 重昌, 森 武宏
システム制御情報学会 研究発表講演会講演論文集 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 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 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 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 Vol. 41 No. 8 p. 1299-1312 2005年8月 研究論文（学術雑誌）
Control-invariance of hybrid systems with forcible events - Brief paper
T Ushio, S Takai
AUTOMATICA Vol. 41 No. 4 p. 669-675 2005年4月 研究論文（学術雑誌）
Characterization of co-observable languages and formulas for their super/sublanguages
S Takai, R Kumar, T Ushio
IEEE TRANSACTIONS ON AUTOMATIC CONTROL Vol. 50 No. 4 p. 434-447 2005年4月 研究論文（学術雑誌）
Supervisory control of a class of concurrent discrete event systems under partial observation
S Takai, T Ushio
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS Vol. 15 No. 1 p. 7-32 2005年3月 研究論文（学術雑誌）
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 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 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 Vol. E87-A No. 4 p. 850-855 2004年4月 研究論文（学術雑誌）
出版者・発行元：IEICEMaximizing robustness of supervisors for partially observed discrete event systems
S Takai
AUTOMATICA Vol. 40 No. 3 p. 531-535 2004年3月 研究論文（学術雑誌）
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 Vol. 6 No. 1 p. 104-111 2004年3月 研究論文（学術雑誌）
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 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 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 Vol. 3 No. 2&3 p. 237-250 2003年9月 研究論文（学術雑誌）
出版者・発行元：Nonpareil PublishersEffective computation of an L-m(G)-closed, controllable, and observable sublanguage arising in supervisory control
S Takai, T Ushio
SYSTEMS & CONTROL LETTERS Vol. 49 No. 3 p. 191-200 2003年7月 研究論文（学術雑誌）
Reliable decentralized supervisory control for marked language specifications
S Takai, T Ushio
ASIAN JOURNAL OF CONTROL Vol. 5 No. 1 p. 160-167 2003年3月 研究論文（学術雑誌）
ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語
池内直哉, 大家浩一, 高井重昌
システム制御情報学会論文誌 Vol. 16 No. 3 p. 147-149 2003年3月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
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 p. 1050-1055 2003年 研究論文（国際会議プロシーディングス）
スーパバイザ制御における可観測性とノーマル性の関係
高井重昌, 石丸洋平
システム制御情報学会論文誌 Vol. 15 No. 8 p. 447-449 2002年8月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
強制事象のあるハイブリッドシステムにおける状態フィードバック制御
潮 俊光, 高井重昌
システム制御情報学会論文誌 Vol. 15 No. 3 p. 143-149 2002年3月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
Strong co-observability for decentralized supervisory control of discrete event systems
S Takai, T Ushio
LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 2001 (LSS'01) 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 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 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 p. 34-39 2002年 研究論文（国際会議プロシーディングス）
A modified normality condition for decentralized supervisory control of discrete event systems
S Takai, T Ushio
AUTOMATICA Vol. 38 No. 1 p. 185-189 2002年1月 研究論文（学術雑誌）
Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications
S Takai
IEEE TRANSACTIONS ON AUTOMATIC CONTROL Vol. 47 No. 1 p. 132-136 2002年1月 研究論文（学術雑誌）
Weak normality for nonblocking supervisory control of discrete event systems under partial observation
Shigemasa Takai, Toshimitsu Ushio
IEICE Transactions on Fundamentals Vol. E84-A No. 11 p. 2822-2828 2001年11月 研究論文（学術雑誌）
出版者・発行元：IEICEA 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 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 p. 4098-4103 2001年 研究論文（国際会議プロシーディングス）
Controller failure time analysis for linear time-invariant systems
Guisheng Zhai, Shigemasa Takai, Kazunori Yasuda
Transactions of SICE Vol. 36 No. 11 p. 1050-1052 2000年11月 研究論文（学術雑誌）
出版者・発行元：SICE
Synthesis of reliable decentralized supervisors for discrete event systems
Shigemasa Takai, Toshimitsu Ushio
IEICE Transactions on Fundamentals Vol. E83-A No. 11 p. 2212-2218 2000年11月 研究論文（学術雑誌）
出版者・発行元：IEICEOn-line synthesis of decentralized supervisors for discrete event systems
Shigemasa Takai, Toshimitsu Ushio
IEICE Transactions on Fundamentals Vol. E83-A No. 11 p. 2282-2285 2000年11月 研究論文（学術雑誌）
出版者・発行元：IEICEReliable decentralized supervisory control of discrete event systems
S Takai, T Ushio
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS 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 Vol. 31 No. 5 p. 649-656 2000年5月 研究論文（学術雑誌）
Robust supervisory control of a class of timed discrete event systems under partial observation
S Takai
SYSTEMS & CONTROL LETTERS Vol. 39 No. 4 p. 267-273 2000年4月 研究論文（学術雑誌）
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 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 p. 7-8 2000年 研究論文（国際会議プロシーディングス）
Supervisory control of timed event graphs with partial specifications
S Takai, Y Ito
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE 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 Vol. 44 No. 7 p. 1441-1444 1999年7月 研究論文（学術雑誌）
Formulas for the extremal controllable sequences in timed-event graphs
S Takai, S Kodama
IEEE TRANSACTIONS ON AUTOMATIC CONTROL 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 Vol. 2 No. 3 p. 453-466 1998年10月 研究論文（学術雑誌）
出版者・発行元：World Scientific Publishing CompanyOn the language generated under fully decentralized supervision
S Takai
IEEE TRANSACTIONS ON AUTOMATIC CONTROL Vol. 43 No. 9 p. 1253-1256 1998年9月 研究論文（学術雑誌）
Characterization of all M-controllable subpredicates of a given predicate
S Takai, S Kodama
INTERNATIONAL JOURNAL OF CONTROL Vol. 70 No. 4 p. 541-549 1998年7月 研究論文（学術雑誌）
Optimal state-space partition for control of discrete-event systems with static specifications
S Takai
IEEE TRANSACTIONS ON AUTOMATIC CONTROL Vol. 43 No. 7 p. 1013-1016 1998年7月 研究論文（学術雑誌）
The extremal languages arising in supervisory control for service specifications
Shigemasa Takai, Akiteru Takae, Shinzo Kodama
International Journal of Intelligent Control and Systems Vol. 2 No. 1 p. 161-175 1998年5月 研究論文（学術雑誌）
出版者・発行元：World Scientific Publishing CompanySynchronous Compositionによる部分観測システムのスーパバイザ制御
高井重昌
システム制御情報学会論文誌 Vol. 11 No. 5 p. 277-279 1998年5月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
A characterization of realizable behavior in supervisory control of timed event graphs
S Takai
AUTOMATICA Vol. 33 No. 11 p. 2077-2080 1997年11月 研究論文（学術雑誌）
Estimate based limited lookahead supervisory control for closed language specifications
S Takai
AUTOMATICA Vol. 33 No. 9 p. 1739-1743 1997年9月 研究論文（学術雑誌）
M-controllable subpredicates arising in state feedback control of discrete event systems
S Takai, S Kodama
INTERNATIONAL JOURNAL OF CONTROL Vol. 67 No. 4 p. 553-566 1997年7月 研究論文（学術雑誌）
Balanced state feedback controllers for discrete event systems described by the Golaszewski-Ramadge model
Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama
IEICE Transactions on Fundamentals Vol. E80-A No. 5 p. 928-931 1997年5月 研究論文（学術雑誌）
出版者・発行元：IEICEStabilization of timed discrete event systems with forcible events
Jae-won Yang, Shigemasa Takai, Toshimitsu Ushio, Sadatoshi Kumagai, Shinzo Kodama
IEICE Transactions on Fundamentals Vol. E80-A No. 3 p. 571-573 1997年3月 研究論文（学術雑誌）
出版者・発行元：IEICE部分観測のもとでのペトリネットのモジュラ制御
高井重昌, 楠本 聡, 児玉慎三
システム制御情報学会論文誌 Vol. 9 No. 12 p. 598-605 1996年12月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
事象と状態の部分観測に基づく分散スーパバイザ制御
高井重昌, 潮 俊光, 児玉慎三
システム制御情報学会論文誌 Vol. 9 No. 7 p. 305-312 1996年7月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
束理論による離散事象システムの状態フィードバック制御
高井重昌
計測自動制御学会論文集 Vol. 32 No. 4 p. 533-538 1996年4月 研究論文（学術雑誌）
出版者・発行元：計測自動制御学会
事象と状態の部分観測によるスーパバイザ制御-不可観測事象をもつシステムへの拡張
高井重昌, 大室真一, 児玉慎三
システム制御情報学会論文誌 Vol. 9 No. 4 p. 197-199 1996年4月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
離散事象システムにおけるコマンド型スーパバイザ制御
高井重昌, 潮 俊光, 児玉慎三
計測自動制御学会論文集 Vol. 32 No. 3 p. 429-431 1996年3月 研究論文（学術雑誌）
出版者・発行元：計測自動制御学会
外部入力プレース付き時間ペトリネットにおける最大許容フィードバック
高江昭輝, 高井重昌, 潮 俊光, 熊谷貞俊, 児玉慎三
電子情報通信学会論文誌分冊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 Vol. 40 No. 11 p. 1950-1954 1995年11月 研究論文（学術雑誌）
離散事象システムにおけるΓ-可制御性と状態フィードバック
高井重昌, 潮 俊光, 児玉慎三
計測自動制御学会論文集 Vol. 31 No. 9 p. 1488-1494 1995年9月 研究論文（学術雑誌）
出版者・発行元：計測自動制御学会
THE INFIMAL CONTROLLABLE AND N-OBSERVABLE SUPERPREDICATE OF A GIVEN PREDICATE
S TAKAI, T USHIO, S KODAMA
IEEE TRANSACTIONS ON AUTOMATIC CONTROL Vol. 40 No. 7 p. 1249-1253 1995年7月 研究論文（学術雑誌）
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 Vol. E78-A No. 3 p. 382-388 1995年3月 研究論文（学術雑誌）
出版者・発行元：IEICEDecentralized 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 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 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 Vol. 5 No. 1 p. 33-57 1995年1月 研究論文（学術雑誌）
外部入力プレース付きペトリネットにおける部分観測と許容フィードバック
高井重昌, 潮 俊光, 児玉慎三
日本応用数理学会論文誌 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年1月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
大規模離散事象システムにおける分散状態フィードバックの構成法
高井重昌, 潮 俊光, 児玉慎三
電子情報通信学会論文誌分冊A Vol. J76-A No. 8 p. 1150-1157 1993年8月 研究論文（学術雑誌）
出版者・発行元：電子情報通信学会大規模離散事象システムの分散状態フィードバック制御
高井重昌, 潮 俊光, 児玉慎三
システム制御情報学会論文誌 Vol. 6 No. 4 p. 196-203 1993年4月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
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 p. 1206-1211 1993年 研究論文（国際会議プロシーディングス）
ブロッキングが発生しない離散事象システムの状態フィードバック制御
高井重昌, 潮 俊光, 児玉慎三
電子情報通信学会論文誌分冊A Vol. J76 No. 1 p. 68-70 1993年1月 研究論文（学術雑誌）
出版者・発行元：電子情報通信学会外部入力プレース付きペトリネットにおける同時進行性と状態フィードバック
高井重昌, 潮 俊光, 児玉慎三
システム制御情報学会論文誌 Vol. 5 No. 8 p. 317-324 1992年8月 研究論文（学術雑誌）
出版者・発行元：システム制御情報学会
外部入力プレース付きペトリネットにおける許容フィードバックの性質
高井重昌, 潮 俊光, 児玉慎三
電子情報通信学会論文誌分冊A Vol. J75-A No. 8 p. 1405-1411 1992年8月 研究論文（学術雑誌）
出版者・発行元：電子情報通信学会分散状態フィードバックによる離散事象システムの安定化
高井重昌, 潮 俊光
電子情報通信学会論文誌分冊A Vol. J75-A No. 3 p. 543-551 1992年3月 研究論文（学術雑誌）
出版者・発行元：電子情報通信学会任意の制御パターンをもつ離散事象システムの安定化
高井重昌, 潮 俊光
電子情報通信学会論文誌分冊A Vol. J75-A No. 3 p. 534-542 1992年3月 研究論文（学術雑誌）
出版者・発行元：電子情報通信学会スーパバイザ制御の理論と応用
高井重昌
電子情報通信学会誌 Vol. 105 No. 2 p. 121-127 2022年2月 記事・総説・解説・論説等（学術雑誌）
IoT時代に向けたイベントベースト制御
小林孝一, 高井重昌
計測と制御 Vol. 60 No. 1 p. 4-7 2021年1月
模倣関係に基づく非決定性離散事象システムのスーパバイザ制御
高井重昌
計測と制御 Vol. 60 No. 1 p. 8-13 2021年1月 記事・総説・解説・論説等（学術雑誌）
離散事象システムのスーパバイザ制御理論-IV : 分散スーパバイザ制御
高井 重昌
システム/制御/情報 : システム制御情報学会誌 Vol. 56 No. 9 p. 498-505 2012年9月15日
出版者・発行元：システム制御情報学会
離散事象システムのスーパバイザ制御理論-III : 部分観測と可観測性
高井 重昌
システム/制御/情報 : システム制御情報学会誌 = Systems, control and information Vol. 56 No. 7 p. 381-388 2012年7月15日
出版者・発行元：システム制御情報学会
離散事象システムのスーパバイザ制御理論-II : 最大可制御部分言語の計算とその応用
高井 重昌
システム/制御/情報 : システム制御情報学会誌 Vol. 56 No. 5 p. 263-270 2012年5月15日
出版者・発行元：システム制御情報学会
離散事象システムのスーパバイザ制御理論-I : スーパバイザと可制御性
高井 重昌
システム/制御/情報 : システム制御情報学会誌 Vol. 56 No. 3 p. 144-151 2012年3月15日
出版者・発行元：システム制御情報学会
離散事象システムにおける可診断性の検証
高井 重昌
計測と制御 = Journal of the Society of Instrument and Control Engineers Vol. 48 No. 11 p. 822-827 2009年11月10日
出版者・発行元：計測自動制御学会
ペトリネットによる離散事象システムのモデル化と制御
高井 重昌
生産と技術 Vol. 61 No. 4 p. 17-22 2009年
出版者・発行元：生産技術振興協会
コンカレント離散事象システムのスーパバイザ制御
高井 重昌, 潮 俊光
システム/制御/情報 : システム制御情報学会誌 = Systems, control and information Vol. 51 No. 2 p. 96-101 2007年2月15日
出版者・発行元：システム制御情報学会
第40回離散事象システム研究会
高井 重昌
計測と制御 = Journal of the Society of Instrument and Control Engineers 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 Vol. 88 No. 11 p. 2963-2963 2005年11月1日
出版者・発行元：一般社団法人電子情報通信学会
ハイブリッドシステムモデルに基づく制御
高井 重昌, 鈴木 達也
フルードパワーシステム : 日本フルードパワーシステム学会誌 : journal of the Japan Fluid Power System Society Vol. 34 No. 4 p. 262-266 2003年7月15日
時間付き離散事象システムのスーパバイザ制御
高井 重昌
システム/制御/情報 : システム制御情報学会誌 = Systems, control and information Vol. 46 No. 3 p. 138-143 2002年3月15日
出版者・発行元：システム制御情報学会
max-plus代数ってなに?
高井 重昌
システム/制御/情報 : システム制御情報学会誌 = Systems, control and information Vol. 44 No. 1 p. 39-40 2000年1月15日
出版者・発行元：システム制御情報学会
max-plus代数による離散事象制御
高井 重昌
システム/制御/情報 : システム制御情報学会誌 = Systems, control and information Vol. 42 No. 8 p. 434-439 1998年8月
出版者・発行元：システム制御情報学会
制御の事典
高井重昌
朝倉書店 2015年7月 事典・辞書
ISBN: 9784254231410
Formal Methods in Manufacturing
Shigemasa Takai, Ratnesh Kumar
CRC Press 2014年2月 学術書
機械工学便覧 デザイン編β6 制御システム
高井重昌
丸善 2006年4月 事典・辞書
ISBN: 9784888981378
アナログ電子回路
高井重昌
オーム社 2002年10月 教科書・概説・概論
ISBN: 9784274132599
光メカトロニクス入門
高井重昌
共立出版 1996年4月 教科書・概説・概論
ISBN: 9784320085381
交互方向乗数法を用いた圧延システムの分散スケジューリングに関する研究
宮本俊幸, 梅田豊裕, 高井重昌
第68回 システム制御情報学会 研究発表講演会 2024年5月26日
informed-RRT*を用いた月極域における水探査のための経路計画手法
保津明範, 高井重昌, 橋本和宗
計測自動制御学会 第11回 制御部門マルチシンポジウム 2024年3月19日
ローカルモデルによるストリングスタビリティを満たす隊列走行制御
中井椋太, 橋本和宗, 高井重昌
電子情報通信学会高信頼制御通信研究会 2023年12月21日
センサーデータを用いた制御バリア関数のベイズ的メタ学習
橋本航, 橋本和宗, 和地瞭良, 沈迅, 岸田昌子, 高井重昌
第66回自動制御連合講演会 2023年10月7日
LSTMを用いた隊列走行のストリングスタビリティを満たすコントローラの設計
中井椋太, 橋本和宗, 高井重昌
第66回自動制御連合講演会 2023年10月7日
非決定性離散事象システムの双模倣制御における決定性スーパバイザの存在性に関する一考察
高井重昌
電子情報通信学会システム数理と応用研究会 2023年3月17日
隊列走行のためのストリングスタビリティ制約付き安全制御
熊本光宏, 橋本和宗, 高井重昌
第10回計測自動制御学会制御部門マルチシンポジウム 2023年3月11日
SIRモデルに対する事象駆動型制御ポリシーの設計
丁力辰, 橋本和宗, 高井重昌
第10回計測自動制御学会制御部門マルチシンポジウム 2023年3月9日
信号時相論理仕様に対するエンコーダ・デコーダ型ニューラル制御器の学習
橋本航, 橋本和宗, 高井重昌
第65回自動制御連合講演会 2022年11月12日
分散凸最適化における主双対劣勾配アルゴリズムの動的リグレット解析
多田圭伸, 林直樹, 高井重昌
第65回自動制御連合講演会 2022年11月12日
交互方向乗数法を用いた分散スケジューリングの安定性の考察と改良アルゴリズムの提案
二井矢直樹, 宮本俊幸, 井上大地, 梅田豊裕, 高井重昌
スケジューリング・シンポジウム 2022 2022年9月16日
災害時のEVによる電力及び物資の配送計画のための集荷配送問題に対する適応的大規模近傍探索の適用
廣島天晴, 宮本俊幸, 高井重昌, 北村聖一, 内藤健人, 森一之
2022年電気学会電子・情報・システム部門大会 2022年8月31日
通信遅延を考慮した制約付きオンライン最適化問題に対する分散主双対アルゴリズム
井上慧人, 林直樹, 高井重昌
第35回 回路とシステムワークショップ 2022年8月20日
SDGsへのシステムと信号処理サブソサイエティの貢献
高井重昌, 前田義信, 池田奈美子, 田中聡久, 尾崎敦夫
電子情報通信学会システム数理と応用研究会 2022年6月17日
深層距離学習を用いた多様な環境に適用できるメタフィードバックコントローラの学習
中西広樹, 橋本和宗, 高井重昌
第66回システム制御情報学会研究発表講演会 2022年5月20日
深層強化学習を用いた自己駆動型制御の設計
原野柚希, 橋本和宗, 高井 重昌
第66回システム制御情報学会研究発表講演会 2022年5月19日
センサ故障を考慮した離散事象システムの分散型診断
福田拡也, 高井重昌
2022年電子情報通信学会総合大会 2022年3月16日
スライディングモード制御を用いた合意制御の2リンクロボットマニピュレータシステムへの応用
亀岡佳弘, 林直樹, 高井重昌
第9回計測自動制御学会制御部門マルチシンポジウム 2022年3月10日
マルチエージェントシステムにおける分散非凸最適化問題に対する量子化勾配降下アルゴリズム
吉田淳哉, 林直樹, 高井重昌
第9回計測自動制御学会制御部門マルチシンポジウム 2022年3月9日
事象と状態の観測に基づく時間付き非決定離散事象システムの双模倣制御
Mouheeb Aous, Shigemasa Takai
電子情報通信学会システム数理と応用研究会 2022年1月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年7月14日
事象の強制に条件付き判断を用いた時間付き離散事象システムの分散スーパバイザ制御
三浦 進平, 高井 重昌
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2017年6月19日
ターゲットの速度を考慮したボロノイ被覆制御のカメラセンサネットワークへの応用
伊藤 龍弥, 林 直樹, 高井 重昌
システム制御情報学会研究発表講演会講演論文集 2017年5月23日
非決定離散事象システムの模倣制御におけるノンブロッキングスーパバイザの存在性
山田 悠貴, 高井 重昌
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2016年11月24日
合意制御に基づく劣勾配法による事象駆動型分散最適化
梶山 祐一, 林 直樹, 高井 重昌
システム制御情報学会研究発表講演会講演論文集 2016年5月25日
ペロン行列を用いたバイラテラルフィルタによるグラフ信号処理の検討
石川 和幸, 林 直樹, 高井 重昌
システム制御情報学会研究発表講演会講演論文集 2016年5月25日
離散事象システムにおける部分観測のもとでの状態アトラクション制御
沢崎 遼馬, 高井 重昌
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2016年3月3日
事象観測遅延とパケット損失のあるネットワーク化Mealyオートマトンのスーパバイザ制御
増田 直之, 潮 俊光, 高井 重昌
電子情報通信学会総合大会講演論文集 2016年3月1日
非決定離散事象システムの双模倣制御に関する一考察
串 直紀, 高井 重昌
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2016年1月25日
条件付き判断を用いた分散スーパバイザの許容性の改善 (ソフトウェアサイエンス)
吉田 翔, 高井 重昌
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2016年1月25日
リアルタイムシステムのスケジュール可能性に対するロバスト性の検討
加藤 雅也, 林 直樹, 高井 重昌
システム制御情報学会研究発表講演会講演論文集 2015年5月20日
収束時間を考慮した離散時間平均合意ダイナミクスの検討
三宅 志織, 林 直樹, 高井 重昌
システム制御情報学会研究発表講演会講演論文集 2015年5月20日
分散シンプレックス法による線形計画問題の秘匿性を考慮した解法
藤村 勇人, 林 直樹, 高井 重昌
システム制御情報学会研究発表講演会講演論文集 2015年5月20日
収束性を考慮した平均合意ダイナミクスの検討
野村 健二, 林 直樹, 高井 重昌
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2014年11月20日
分散シンプレックス法を用いた発電機起動停止計画問題の最適化
浅井 俊紀, 林 直樹, 高井 重昌
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2014年11月20日
事象と状態の観測に基づく非決定離散事象システムの分散型模倣制御
星野 正法, 高井 重昌
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2014年11月20日
収束性を考慮した平均合意ダイナミクスの検討
野村 健二, 林 直樹, 高井 重昌
研究報告アルゴリズム（AL） 2014年11月13日
分散シンプレックス法を用いた発電機起動停止計画問題の最適化
浅井 俊紀, 林 直樹, 高井 重昌
研究報告アルゴリズム（AL） 2014年11月13日
事象と状態の観測に基づく非決定離散事象システムの分散型模倣制御
星野 正法, 高井 重昌
研究報告アルゴリズム（AL） 2014年11月13日
平均合意ダイナミクスを用いた分散変化点検出法
瀬川 昂平, 林 直樹, 高井 重昌
システム制御情報学会研究発表講演会講演論文集 2014年5月21日
オンライン故障検出による安全な協調制御
安部 洸暉, 林 直樹, 高井 重昌
システム制御情報学会研究発表講演会講演論文集 2014年5月21日
工場エネルギー管理システムによる自家発プラントの運用改善
北村聖一, 森一之, 泉井良夫, 宮本俊幸, 高井重昌
電子情報通信学会大会講演論文集(CD-ROM) 2014年
PTZカメラセンサネットワークにおける協調トラッキング
浜田 健太, 林 直樹, 高井 重昌
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2013年11月6日
円の代数的あてはめ問題へのコンセンサスアルゴリズムの応用
村西 悠, 林 直樹, 高井 重昌
システム制御情報学会研究発表講演会講演論文集 2013年5月15日
コンカレント同期合成でモデル化された離散事象システムの可観測性解析
王 龍江, 高井 重昌
電子情報通信学会技術研究報告 : 信学技報 2013年1月22日
不確実性を考慮した工場EMS
北村聖一, 森一之, 泉井良夫, 宮本俊幸, 高井重昌
電気学会電子・情報・システム部門大会講演論文集(CD-ROM) 2013年
抽象化を用いた部分観測離散事象システムの検証
横谷 美怜, 高井 重昌
電子情報通信学会技術研究報告 : 信学技報 2012年11月1日
ANDルールを用いた離散事象システムの分散型オンライン診断
山本 聖, 高井 重昌
電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report 2012年10月25日
ANDルールを用いた離散事象システムの分散型オンライン診断
山本 聖, 高井 重昌
電子情報通信学会技術研究報告. CAS, 回路とシステム 2012年10月25日
事象と状態の観測に基づく非決定離散事象システムの双模倣制御
木村 克行, 野村 雅司, 高井 重昌
電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report 2012年3月1日
離散事象システムの分散型故障診断における冗長性解析
中田 修平, 高井 重昌
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 2012年1月19日
Decentralized Supervisory Control for Timed Discrete Event Systems Using a Partition of the Forcible Event Set
野村 雅司, 高井 重昌
電子情報通信学会技術研究報告 : 信学技報 2011年11月17日
A-12-8 時間付き離散事象システムに対するANDルールのもとでの分散スーパバイザの存在条件の簡単化(A-12.コンカレント工学,一般セッション)
野村 雅司, 高井 重昌
電子情報通信学会総合大会講演論文集 2011年2月28日
離散事象システムにおける安全性制約をもつ分散型故障予知診断器の存在性の検証
原田 洋樹, 高井 重昌
電子情報通信学会技術研究報告. CST, コンカレント工学 2011年1月13日
時間付き離散事象システムにおける分散スーパバイザ制御
野村 雅司, 高井 重昌
電子情報通信学会技術研究報告. CST, コンカレント工学 2010年11月11日
A-12-1 安全性制約をもつ離散事象システムの分散型故障予知診断(A-12.コンカレント工学,一般セッション)
原田 洋樹, 高井 重昌
電子情報通信学会ソサイエティ大会講演論文集 2010年8月31日
離散事象システムにおけるオパシティのためのモジュラスーパバイザ制御
高井 重昌
電子情報通信学会技術研究報告. SIP, 信号処理 : IEICE technical report 2010年6月14日
AS-3-6 離散事象システムにおける分散型診断器の最適性(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
高井 重昌
電子情報通信学会総合大会講演論文集 2010年3月2日
時間付き離散事象システムにおけるスーパバイザの存在条件の簡単化
野村 雅司, 高井 重昌
電子情報通信学会技術研究報告. CST, コンカレント工学 2010年1月14日
非決定出力関数をもつ Mealy オートマトンで表される離散事象システムの診断
高井 重昌, 潮 俊光
電子情報通信学会技術研究報告. CST, コンカレント工学 2009年11月9日
観測マスクをもつ離散事象システムにおける最大可制御オペイク部分言語の計算
依藤 梢, 高井 重昌
電子情報通信学会技術研究報告. CST, コンカレント工学 2009年5月27日
離散事象システムにおける最大可制御オペイク部分言語の計算公式
高井 重昌, 岡 有亮
電子情報通信学会技術研究報告. CST, コンカレント工学 2008年7月28日
Mealy オートマトンを用いた離散事象システムのモデリング
潮 俊光, 高井 重昌
電子情報通信学会技術研究報告. CST, コンカレント工学 2008年6月2日
近似モデルに基づく非有界ペトリネットのスーパバイザ制御
高井 重昌, 白 永明
電子情報通信学会技術研究報告. CST, コンカレント工学 2006年1月20日
動的なデフォルト制御を用いた分散スーパバイザ制御
高井 重昌, 潮 俊光
電子情報通信学会技術研究報告. CST, コンカレント工学 2005年1月20日
有限オートマトンによる非有界ペトリネットの到達可能グラフの有限近似
白 永明, 高井 重昌
電子情報通信学会技術研究報告. CST, コンカレント工学 2004年6月4日
ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語
池内 直哉, 大家 浩一, 高井 重昌
電子情報通信学会技術研究報告. CST, コンカレント工学 2002年7月30日
離散事象システムのロバストスーパバイザ制御
高井 重昌
電子情報通信学会技術研究報告. CST, コンカレント工学 1997年11月27日
時間付きイベントグラフにおいて実現可能な発火時刻系列集合
高井 重昌, 児玉 慎三
電子情報通信学会技術研究報告. CST, コンカレント工学 1997年1月24日
コンプリメントなプレースからなるペトリネットと禁止マーキング問題
Chang Wooi Voon, 潮 俊光, 高井 重昌, 熊谷 貞俊, 児玉 慎三
電子情報通信学会技術研究報告. CST, コンカレント工学 1994年7月18日
離散事象システムにおける分散状態フィードバックの存在性
高井 重昌, 潮 俊光, 児玉 慎三
電子情報通信学会技術研究報告. CAS, 回路とシステム 1994年1月21日
Associate Editor for Journal of Control, Automation and Electrical Systems
2023年6月 ～ 継続中
Member of the International Program Committee of the 7th International Conference on Control, Decision and Information Technologies
IEEE
2020年6月 ～ 2020年7月
Member of the Scientific Program Committee of the 14th International Workshop on Discrete Event Systems
IFAC
2018年5月 ～ 2018年6月
Member of the Program Committee for the 13th International Workshop on Discrete Event Systems
IEEE
2016年5月 ～ 2016年6月
Associate Editor for the IEEE Conference on Decision and Control and American Control Conference
IEEE
2007年7月 ～ 2015年7月
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年4月 ～
Industry Subgroup "Internet of Things" Co-Chair for the 22nd IFAC World Congress
IFAC
2023年7月 ～
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年9月 ～
Technical Program Co-Chair for the 37th International Technical Conference on Circuits/Systems, Computers, and Communications
2022年7月 ～
Publicity Chair for the 17th IEEE International Conference on Control & Automation
IEEE
2022年6月 ～
Member of the International Program Committee for the 8th International Conference on Control, Decision and Information Technologies
2022年5月 ～
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年9月 ～
Member of the Program Committee of the 7th International Conference on Event-based Control, Communication, and Signal Processing
2021年6月 ～
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年9月 ～
Associate Editor for the 21st IFAC World Congress
IFAC
2020年7月 ～
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年9月 ～
Member of the International Program Committee of the 6th International Conference on Control, Decision and Information Technologies
IEEE
2019年4月 ～
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年9月 ～
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年9月 ～
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年9月 ～
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年9月 ～
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年9月 ～
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年9月 ～
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年9月 ～
Member of the Executive Committee (International Relations Co-Chairs) for the ISCIE/ASME 2014 International Symposium on Flexible Automation
ISCIE
2014年7月 ～
Member of the Program Committee for the 12th International Workshop on Discrete Event Systems
IFAC
2014年5月 ～
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年9月 ～
Member of the Program Committee for the 2013 IEEE Conference on Automation Science and Engineering
IEEE
2013年8月 ～
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年9月 ～
平成21年電気関係学会関西支部連合大会実行委員会委員
気学会・電子情報通信学会・照明学会・映像情報メディア学会・日本音響学会・電気設備学会各関西支部
2009年11月 ～
Member of the Program Committee for the 2009 CACS International Automatic Control Conference
The Chinese Automatic Control Society
2009年11月 ～
Distributed zeroth-order online optimization with communication delays
Inoue Keito, Hayashi Naoki, Takai Shigemasa
IET Control Theory and Applications Vol. 19 No. 1 2025年1月2日
Reliable decentralized failure diagnosis of discrete event systems using single-level inference
Hamada Takumi, Takai Shigemasa
Discrete Event Dynamic Systems: Theory and Applications Vol. 34 No. 4 p. 497-537 2024年9月20日
離散事象システムの状態フィードバック制御
高井 重昌
