研究業績リスト
（2024年11月21日更新）

学術論文誌発表論文

  1. Wataru Hashimoto, Kazumune Hashimoto, Masako Kishida, and Shigemasa Takai: Robust learning-based iterative model predictive control for unknown non-linear systems; IET Control Theory & Applications, accepted for publication.
  2. 二川健太，橋本和宗，高井重昌：クラスタリングを用いたニューラル制御器の学習；システム制御情報学会論文誌，採録決定
  3. 保津明範，橋本和宗，高井重昌： Informed RRT*アルゴリズムを用いた月極域における水探査のための経路計画手法；計測自動制御学会論文集，採録決定
  4. Keito Inoue, Naoki Hayashi, and Shigemasa Takai: Distributed zeroth-order online optimization with communication delays; IET Control Theory & Applications, accepted for publication.
  5. Takumi Hamada and Shigemasa Takai: Reliable decentralized failure diagnosis of discrete event systems using single-level inference; Discrete Event Dynamic Systems: Theory and Applications, accepted for publication.
  6. Wataru Hashimoto, Kazumune Hashimoto, Akifumi Wachi, Xun Shen, Masako Kishida, and Shigemasa Takai: Data-efficient safe learning and control with on-board sensors: Bayesian meta-learning and barrier function based approach; Advanced Robotics, Vol. 38, No. 21, pp. 1501-1514, 2024.
  7. Shigemasa Takai and Ratnesh Kumar: Nonexistence of upper bound to inferencing level in decentralized discrete event control; IEEE Transactions on Automatic Control, Vol. 69, No. 11, pp. 7964-7971, 2024.
  8. Imam Robandi, Mohamad Almas Prakasa, Muhammad Ruswandi Djalal, Shigemasa Takai, Arimbi Kumala Sari, and Mochammad Adri Satria Musti: Novel hybrid arithmetic-equilibrium optimizer as robust tuner for power system stabilizer (PSS) parameters in interconnected electrical power system; e-Prime - Advances in Electrical Engineering, Electronics and Energy, Vol. 10, Article No. 100788, 11 pages, 2024.
  9. Koki Okamoto, Naoki Hayashi, and Shigemasa Takai: Distributed online adaptive gradient descent with event-triggered communication; IEEE Transactions on Control of Network Systems, Vol. 11, No. 2, pp. 610-622, 2024.
  10. Keishin Tada, Naoki Hayashi, and Shigemasa Takai: Distributed online primal-dual subgradient method on unbalanced directed networks; Advanced Robotics, Vol. 38, No. 9-10, pp. 591-602, 2024.
  11. Hiroaki Sakuma, Naoki Hayashi, and Shigemasa Takai: Distributed primal-dual method on unbalanced digraphs with row stochasticity; International Journal of Control, Vol. 97, No. 6, pp. 1377-1388, 2024.
  12. Daichi Ishikawa, Naoki Hayashi, and Shigemasa Takai: Quantized distributed event-triggered stochastic gradient-tracking for nonconvex optimization; IEICE Transactions on Fundamentals, Vol. E107-A, No. 5, pp. 762-769, 2024.
  13. Wang Zhijun, Kazumune Hashimoto, Wataru Hashimoto, and Shigemasa Takai: A lifting approach to learning-based self-triggered control with Gaussian processes; Advanced Robotics, Vol. 38, No. 6, pp. 410-420, 2024.
  14. Lichen Ding, Kazumune Hashimoto, and Shigemasa Takai: Synthesis of event-triggered controllers for SIRS epidemic models; Nonlinear Analysis: Hybrid Systems, Vol. 51, Article No. 101437, 16 pages, 2024.
  15. Keishin Tada, Naoki Hayashi, and Shigemasa Takai: Constrained distributed online convex optimization with bandit feedback for unbalanced digraphs; IET Control Theory & Applications, Vol. 18, No. 2, pp. 184-200, 2024.
  16. Akihito Hayano and Shigemasa Takai: A general architecture for intersection-based decentralized supervisory control of discrete event systems; IEEE Transactions on Automatic Control, Vol. 69, No. 1, pp. 674-680, 2024.
  17. 二井矢直樹，宮本俊幸，井上大地，梅田豊裕，高井重昌：ADMMを用いた分散スケジューリングの安定性解析と改良アルゴリズムの提案；システム制御情報学会論文誌，Vol. 36, No. 12, pp. 418-428, 2023.
  18. Junya Yoshida, Naoki Hayashi, and Shigemasa Takai: Quantized gradient descent algorithm for distributed nonconvex optimization; IEICE Transactions on Fundamentals, Vol. E106-A, No. 10, pp. 1297-1304, 2023.
  19. 廣島天晴，宮本俊幸，北村聖一，内藤健人，森　一之，高井重昌，泉井良夫：適応的大規模近傍探索を用いたEV による電力及び物資の配送計画；電気学会論文誌C，Vol. 143, No. 9, pp. 959-970, 2023.
  20. Keito Inoue, Naoki Hayashi, and Shigemasa Takai: Distributed online optimization with dynamic coupling constraints under time-varying communication delays; IEEE Access, Vol. 11, pp. 87256-87269, 2023.
  21. Konika Rani, Norimasa Ozaki, Yoichiro Hironaka, Kazumune Hashimoto, Ryosuke Kodama, Kanji Mukai, Hirotaka Nakamura, Shigemasa Takai, and Hideo Nagatomo: Prediction of superimposed laser shot number for copper using deep convolutional neural network; Optics Express, Vol. 31, No. 15/17, pp. 24045-24053, 2023.
  22. Jinglun Li and Shigemasa Takai: Maximally permissive supervisors for nonblocking similarity control of nondeterministic discrete-event systems; IEEE Transactions on Automatic Control, Vol. 68, No. 6, pp. 3529-3544, 2023.
  23. Shigemasa Takai: Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications; Automatica, Vol. 125, Article No. 110940, 5 pages, 2023.
  24. 宮本俊幸，井上大地，梅田豊裕，高井重昌：合意に基づく分散スケジューリング法へのハイブリッドメタヒューリスティクスの適用；システム制御情報学会論文誌，Vol. 36, No. 2, pp. 27-39, 2023.
  25. Yoshihiro Kameoka, Naoki Hayashi, and Shigemasa Takai: Cooperative tracking in camera sensor networks with sliding mode control; Advanced Robotics, Vol. 37, No. 1-2, pp. 130-140, 2023.
  26. Weilin Wang, Yanwei Zang, Shigemasa Takai, Lachlan L. H. Andrew, and Chaohui Gong: Deterministic supervisory control with flexible upper-bounds on observation delay and control delay; Automatica, Vol. 144, Article No. 110480, 13 pages, 2022.
  27. Takashi Adachi, Naoki Hayashi, and Shigemasa Takai: Cooperative target tracking by multiagent camera sensor networks via Gaussian process; IEEE Access, Vol. 10, pp. 71717-71727, 2022.
  28. Akihito Wada and Shigemasa Takai: Decentralized diagnosis of discrete event systems subject to permanent sensor failures; Discrete Event Dynamic Systems: Theory and Applications, Vol. 32, No. 2, pp. 159-193, 2022.
  29. Shigemasa Takai and Sho Yoshida: Reliable decentralized supervisory control of discrete event systems with single-level inference; IEICE Transactions on Fundamentals, Vol. E105-A, No. 5, pp. 799-807, 2022.
  30. Wataru Hashimoto, Kazumune Hashimoto, and Shigemasa Takai: STL2vec: Signal temporal logic embeddings for control synthesis with recurrent neural networks; IEEE Robotics and Automation Letters, Vol. 7, No. 2, pp. 5246-5253, 2022.
  31. Jinglun Li and Shigemasa Takai: Maximally permissive modular similarity control of composite nondeterministic discrete event systems; IEEE Control Systems Letters, Vol. 6, pp. 2305-2310, 2022.
  32. Jinglun Li and Shigemasa Takai: Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems; Automatica, Vol. 135, Article No. 109978, 13 pages, 2022.
  33. Jinglun Li and Shigemasa Takai: Modular similarity control of nondeterministic discrete event systems with modular specifications; IEEE Control Systems Letters, Vol. 6, pp. 1358-1363, 2022.
  34. Makoto Yamashita, Naoki Hayashi, Takeshi Hatanaka, and Shigemasa Takai: Logarithmic regret for distributed online subgradient method over unbalanced directed networks; IEICE Transactions on Fundamentals, Vol. E104-A, No. 8, pp. 1019-1026, 2021.
  35. Takashi Adachi, Naoki Hayashi, and Shigemasa Takai: Distributed gradient descent method with edge-based event-driven communication for non-convex optimization; IET Control Theory & Applications, Vol. 15, No. 12, pp. 1588-1598, 2021.
  36. Shigemasa Takai: Synthesis of maximally permissive supervisors for nondeterministic discrete event systems with nondeterministic specifications; IEEE Transactions on Automatic Control, Vol. 66, No. 7, pp. 3197-3204, 2021.
  37. Hiroaki Sakuma, Naoki Hayashi, and Shigemasa Takai: Distributed primal-dual perturbation algorithm over unbalanced directed networks; IEEE Access, Vol. 9, pp. 75324-75335, 2021.
  38. Shigemasa Takai: A general framework for diagnosis of discrete event systems subject to sensor failures; Automatica, Vol. 129, Article No. 109669, 12 pages, 2021.
  39. Yuichi Kajiyama, Naoki Hayashi, and Shigemasa Takai: Linear convergence of consensus-based quantized optimization for smooth and strongly convex cost functions; IEEE Transactions on Automatic Control, Vol. 66. No. 3, pp. 1254-1261, 2021.
  40. 宮本俊幸，梅田豊裕，高井重昌：分散スケジューリング問題に対する合意に基づく解法；システム制御情報学会論文誌，Vol. 34, No. 2, pp. 58-67, 2021.
  41. Kohei Shimatani and Shigemasa Takai: Deterministic supervisors for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications; IEICE Transactions on Fundamentals, Vol. E104-A, No. 2, pp. 438-446, 2021.
  42. Makoto Yamashita, Naoki Hayashi, and Shigemasa Takai: Dynamic regret analysis for event-triggered distributed online optimization algorithm; IEICE Transactions on Fundamentals, Vol. E104-A, No. 2, pp. 430-437, 2021.
  43. 橋本　航，林　直樹，原　尚之，高井重昌：浮体式洋上ウィンドファームにおける総発電量の調整を考慮した分散ブレードピッチ角制御；計測自動制御学会論文集，Vol. 56, No. 8, pp. 395-402, 2020.
  44. 神村素輝，林　直樹，高井重昌：合意制御に基づく協調型トンプソン抽出の検討；システム制御情報学会論文誌，Vol. 33, No. 2, pp. 57-65, 2020.
  45. Naoki Hayashi, Yuichi Kajiyama, and Shigemasa Takai: Consensus-based quantized algorithm for convex optimization with smooth cost functions; IEICE Transactions on Fundamentals, Vol. E103-A, No. 2, pp. 435-442, 2020.
  46. Naoki Hayashi, Kazuyuki Ishikawa, and Shigemasa Takai: Distributed subgradient method for constrained convex optimization with quantized and event-triggered communication; IEICE Transactions on Fundamentals, Vol. E103-A, No. 2, pp. 428-434, 2020.
  47. Shimpei Miura and Shigemasa Takai: Decentralized supervisory control of timed discrete event systems with conditional decisions for enforcing forcible events; IEICE Transactions on Fundamentals, Vol. E103-A, No. 2, pp. 417-427, 2020.
  48. Naoki Hayashi, Tomohiro Sugiura, Yuichi Kajiyama, and Shigemasa Takai: Distributed event-triggered algorithm for unconstrained convex optimization over weight-balanced directed networks; IET Control Theory & Applications, Vol. 14, No. 2, pp. 253-261, 2020.
  49. Shigemasa Takai: Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications; Automatica, Vol. 108, Article No. 108470, 11 pages, 2019.
  50. Jinglun Li and Shigemasa Takai: Maximally permissive nonblocking supervisors for similarity control of nondeterministic discrete event systems under event and state observations; IEICE Transactions on Fundamentals, Vol. E102-A, No. 2, pp. 399-403, 2019.
  51. Yuichi Kajiyama, Naoki Hayashi, and Shigemasa Takai: Distributed constrained convex optimization with accumulated subgradient information over undirected switching networks; IEICE Transactions on Fundamentals, Vol. E102-A, No. 2, pp. 343-350, 2019.
  52. Yuichi Kajiyama, Naoki Hayashi, and Shigemasa Takai: Distributed subgradient method with edge-based event-triggered communication; IEEE Transactions on Automatic Control, Vol. 63, No. 7, pp. 2248-2255, 2018.
  53. Shigemasa Takai and Ratnesh Kumar: Implementation of inference-based diagnosis: Computing delay bound and ambiguity levels; Discrete Event Dynamic Systems: Theory and Applications, Vol. 28, No. 2, pp. 315-348, 2018.
  54. Naoki Kushi and Shigemasa Takai: Synthesis of similarity enforcing supervisors for nondeterministic discrete event systems; IEEE Transactions on Automatic Control, Vol. 63, No. 5, pp. 1457-1464, 2018.
  55. Kazuyuki Ishikawa, Naoki Hayashi, and Shigemasa Takai: Consensus-based distributed particle swarm optimization with event-triggered communication; IEICE Transactions on Fundamentals, Vol. E101-A, No. 2, pp. 338-344, 2018.
  56. Hiroki Yamada and Shigemasa Takai: Nonblocking similarity control of nondeterministic discrete event systems under event and state observations; IEICE Transactions on Fundamentals, Vol. E101-A, No. 2, pp. 328-337, 2018.
  57. 梶山祐一，林　直樹，高井重昌：合意制御に基づく分散事象駆動型劣勾配アルゴリズムによる制約なし凸最適化；システム制御情報学会論文誌，Vol. 30, No. 6, pp. 253-262, 2017. （2019年度システム制御情報学会学会賞論文賞）
  58. Shigemasa Takai and Ratnesh Kumar: A generalized framework for inference-based diagnosis of discrete event systems capturing both disjunctive and conjunctive decision-making; IEEE Transactions on Automatic Control, Vol. 62, No. 6, pp. 2778-2793, 2017.
  59. Naoki Hayashi, Kohei Segawa, and Shigemasa Takai: 2D Voronoi coverage control with Gaussian density functions by line integration; SICE Journal of Control, Measurement, and System Integration, Vol. 10, No. 2，pp. 110-116, 2017.
  60. Naoki Hayashi and Shigemasa Takai: Distributed source identification by two-hop consensus dynamics with uniform time-varying communication time-delays; SICE Journal of Control, Measurement, and System Integration, Vol. 10, No. 2，pp. 70-76, 2017.
  61. Shoichi Yokota, Takashi Yamamoto, and Shigemasa Takai: Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions; Discrete Event Dynamic Systems: Theory and Applications, Vol. 27, No. 1，pp. 45-84, 2017.
  62. Masanori Hoshino and Shigemasa Takai: Decentralized similarity control of composite nondeterministic discrete event systems with local specifications; IEICE Transactions on Fundamentals, Vol. E100-A, No. 2, pp. 395-405, 2017.
  63. Shiori Miyake, Naoki Hayashi, and Shigemasa Takai: Discrete-time average consensus with multi-hop communication; SICE Journal of Control, Measurement, and System Integration, Vol. 9, No. 5, pp. 187-191, 2016.
  64. 吉田　翔，高井重昌：条件付き判断をもつ分散スーパバイザの許容性の改善；電子情報通信学会論文誌分冊A，Vol. J99-A, No. 9，pp. 361-373, 2016.
  65. Misato Yokotani, Tetsuya Kondo, and Shigemasa Takai: Abstraction-based verification and synthesis for prognosis of discrete event systems; Asian Journal of Control, Vol. 18, No. 4, pp. 1279-1288, 2016.
  66. Shinji Iwase, Naoki Hayashi, and Shigemasa Takai: A gradient-based approach for discrete-time average consensus with self-triggered control; SICE Journal of Control, Measurement, and System Integration, Vol. 9, No. 3, pp. 122-127, 2016.
  67. Toshimitsu Ushio and Shigemasa Takai: Nonblocking supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions; IEEE Transactions on Automatic Control, Vol. 61, No. 3, pp. 799-804, 2016.
  68. Nam Tung Vu and Shigemasa Takai: Synthesis of output feedback controllers for bisimilarity control of transition systems; IEICE Transactions on Fundamentals, Vol. E99-A, No. 2, pp. 483-490, 2016.
  69. 瀬川昂平，浜田健太，林　直樹，高井重昌：2レベル階層型PTZカメラセンサネットワークによるイベントトリガ型協調追跡；計測自動制御学会論文集，Vol. 52, No. 1, pp. 19-27, 2016.
  70. Naoki Kanagawa and Shigemasa Takai: Diagnosability of discrete event systems subject to permanent sensor failures; International Journal of Control, Vol. 88, No. 12, pp. 2598-2610, 2015.
  71. 野村健二，林　直樹，高井重昌：収束速度の改善を考慮した2-ホップ平均合意ダイナミクスの検討；電子情報通信学会論文誌分冊A，Vol. J98-A, No. 10, pp. 587-594, 2015. （第73回（平成28年度）電子情報通信学会論文賞）
  72. Naoki Hayashi and Shigemasa Takai: GTS-based communication task scheduling for quantized output consensus over IEEE 802.15.4 wireless networks; Automatica, Vol. 55, pp. 6-11, 2015.
  73. 串　直紀，高井重昌：トランジションシステムの模倣制御における出力フィードバックコントローラの最大許容性；電子情報通信学会論文誌分冊A，Vol. J98-A, No. 3, pp. 255-266, 2015.
  74. Mustafa Seckin Durmus, Shigemasa Takai, and Mehmet Turan Soylemez: Decision making strategies in fixed-block railway signaling systems: A discrete event systems approach; IEEJ Transactions on Electrical and Electronic Engineering, Vol. 10, No. 2, pp. 186-194, 2015.
  75. Takashi Yamamoto and Shigemasa Takai: Online synthesis of conjunctive decentralized diagnosers for discrete event systems; IEICE Transactions on Fundamentals, Vol. E98-A, No. 2, pp. 650-653, 2015.
  76. Shigemasa Takai: Robust prognosability for a set of partially observed discrete event systems; Automatica, Vol. 51, pp. 123-130, 2015.
  77. Kenta Hamada, Naoki Hayashi, and Shigemasa Takai: Event-triggered and self-triggered control for discrete-time average consensus problems; SICE Journal of Control, Measurement, and System Integration, Vol. 7, No. 5, pp. 297-303, 2014.
  78. Mustafa Seckin Durmus, Shigemasa Takai, and Mehmet Turan Soylemez: Fault diagnosis in fixed-block railway signaling systems: A discrete event systems approach; IEEJ Transactions on Electrical and Electronic Engineering, Vol. 9, No. 5, pp. 523-531, 2014.
  79. Takashi Yamamoto and Shigemasa Takai: Reliable decentralized diagnosis of discrete event systems using the conjunctive architecture; IEICE Transactions on Fundamentals, Vol. E97-A, No. 7, pp. 1605-1614, 2014.
  80. Katsuyuki Kimura and Shigemasa Takai: Maximally permissive similarity enforcing supervisors for nondeterministic discrete event systems under event and state observations; IEICE Transactions on Fundamentals, Vol. E97-A, No. 7, pp. 1500-1507, 2014.
  81. Katsuyuki Kimura and Shigemasa Takai: Bisimilarity control of nondeterministic discrete event systems under event and state observations; IEICE Transactions on Information and Systems, Vol. E97-D, No. 5, pp. 1140-1148, 2014.
  82. ブートゥンナム，高井重昌：出力フィードバックによるトランジションシステムの模倣制御；電子情報通信学会論文誌分冊A，Vol. J97-A, No. 3, pp. 140-149, 2014.
  83. 村西　悠，林　直樹，高井重昌：平均コンセンサスアルゴリズムによる分散円あてはめ；システム制御情報学会論文誌，Vol. 27, No. 1, pp. 14-19, 2014.
  84. Mustafa Seckin Durmus and Shigemasa Takai: Modeling moving-block railway systems: A generalized batches Petri net approach; SICE Journal of Control, Measurement, and System Integration, Vol. 6, No. 6, pp. 403-410, 2013.
  85. Shuhei Nakata and Shigemasa Takai: Reliable decentralized failure diagnosis of discrete event systems; SICE Journal of Control, Measurement, and System Integration, Vol. 6, No. 5, pp. 353-359, 2013.
  86. Masashi Nomura and Shigemasa Takai: A synthesis method for decentralized supervisors for timed discrete event systems; IEICE Transactions on Fundamentals, Vol. E96-A, No. 4, pp. 835-839, 2013.
  87. 北村聖一，森　一之，泉井良夫，宮本俊幸，高井重昌：不確実性を考慮した工場自家発プラントの運転最適化；電気学会論文誌C，Vol. 133, No. 4, pp. 822-830, 2013. （平成26年電気学会電子・情報・システム部門誌優秀論文賞）
  88. Masashi Nomura and Shigemasa Takai: Computation of sublanguages for synthesizing decentralized supervisors for timed discrete event systems; IEICE Transactions on Fundamentals, Vol. E96-A, No. 1, pp. 345-355, 2013.
  89. Shigemasa Takai: Verification of robust diagnosability for partially observed discrete event systems; Automatica, Vol. 48, No. 8, pp. 1913-1919, 2012.
  90. Masashi Nomura and Shigemasa Takai: Decentralized supervisory control of timed discrete event systems using a partition of the forcible event set; IEICE Transactions on Fundamentals, Vol. E95-A, No. 5, pp. 952-960, 2012.
  91. Shigemasa Takai and Ratnesh Kumar: Distributed failure prognosis of discrete event systems with bounded-delay communications; IEEE Transactions on Automatic Control, Vol. 57, No. 5, pp. 1259-1265, 2012.
  92. Shigemasa Takai and Toshimitsu Ushio: Verification of codiagnosability for discrete event systems modeled by Mealy automata with nondeterministic output functions; IEEE Transactions on Automatic Control, Vol. 57, No. 3, pp. 798-804, 2012.
  93. Masashi Nomura and Shigemasa Takai: Decentralized supervisory control of timed discrete event systems; IEICE Transactions on Fundamentals, Vol. E94-A, No. 12, pp. 2802-2809, 2011.
  94. Shigemasa Takai and Yuta Watanabe: Modular synthesis of maximally permissive opacity-enforcing supervisors for discrete event systems; IEICE Transactions on Fundamentals, Vol. E94-A, No. 3, pp. 1041-1044, 2011.
  95. Shigemasa Takai and Ratnesh Kumar: Inference-based decentralized prognosis in discrete event systems; IEEE Transactions on Automatic Control, Vol. 56, No. 1, pp. 165-171, 2011.
  96. 野村雅司，高井重昌：時間付き離散事象システムにおける部分観測スーパバイザの存在条件の簡単化；電子情報通信学会論文誌分冊A，Vol. J93-A, No. 9, pp. 638-641, 2010.
  97. Shigemasa Takai and Ratnesh Kumar: Synthesis of over-approximating inference-based decentralized supervisors for discrete event systems; IEEE Transactions on Automatic Control, Vol. 55, No. 8, pp. 1881-1887, 2010.
  98. Shengbing Jiang, Ratnesh Kumar, Shigemasa Takai, and Wenbin Qiu: Decentralized control of discrete event systems with multiple local specifications; IEEE Transactions on Automation Science and Engineering, Vol. 7, No. 3, pp. 512-522, 2010.
  99. 高井重昌，潮　俊光：非決定出力関数をもつMealyオートマトンで表現される離散事象システムの診断；システム制御情報学会論文誌，Vol. 23, No. 6, pp. 128-135, 2010.
  100. Shigemasa Takai and Ratnesh Kumar: Decentralized diagnosis for nonfailures of discrete event systems using inference-based ambiguity management; IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, Vol. 40, No. 2, pp. 406-412, 2010.
  101. Ratnesh Kumar and Shigemasa Takai: Decentralized prognosis of failures in discrete event systems; IEEE Transactions on Automatic Control, Vol. 55, No. 1, pp. 48-59, 2010.
  102. 河本　大，高井重昌：事象センサの故障を考慮した離散事象システムの診断； 電子情報通信学会論文誌分冊A，Vol. J92-A, No. 8, pp. 551-558, 2009.
  103. Ratnesh Kumar and Shigemasa Takai: Inference-based ambiguity management in decentralized decision-making: Decentralized diagnosis of discrete-event systems; IEEE Transactions on Automation Science and Engineering, Vol. 6, No. 3, pp. 479-491, 2009.
  104. 潮　俊光，高井重昌：非決定出力関数をもつMealyオートマトンで表される離散事象システムのスーパバイザ制御；システム制御情報学会論文誌，Vol. 22, No. 4, pp. 154-160, 2009.
  105. Shigemasa Takai and Yusuke Oka: A formula for the supremal controllable and opaque sublanguage arising in supervisory control; SICE Journal of Control, Measurement, and System Integration, Vol. 1, No. 4, pp. 307-311, 2008.
  106. Shigemasa Takai and Ratnesh Kumar: Synthesis of inference-based decentralized control for discrete event systems; IEEE Transactions on Automatic Control, Vol. 53, No. 2, pp. 522-534, 2008.
  107. Ratnesh Kumar and Shigemasa Takai: Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems; IEEE Transactions on Automatic Control, Vol. 52, No. 10, pp. 1783-1794, 2007.
  108. 北村敦司，高井重昌，森　武宏：コンカレント同期合成でモデル化された離散事象システムにおけるスーパバイザの存在条件；電子情報通信学会論文誌分冊A，Vol. J90-A, No. 10, pp. 742-749, 2007.
  109. Shigemasa Takai and Yongming Bai: Computation of controllable sublanguages for unbounded Petri nets using their approximation models; IEICE Transactions on Fundamentals, Vol. E89-A, No. 11, pp. 3250-3253, 2006.
  110. 梁瀬裕行，潮　俊光，足立正和，高井重昌：最大デッドロックフリー可制御部分述語の計算とその警報器設計への応用；電子情報通信学会論文誌分冊A，Vol. J89-A, No. 5, pp. 333-339, 2006. （第63回（平成18年度）電子情報通信学会論文賞）
  111. Shigemasa Takai and Toshimitsu Ushio: A new class of supervisors for timed discrete event systems under partial observation; Discrete Event Dynamic Systems: Theory and Applications, Vol. 16, No. 2, pp. 257-278, 2006.
  112. Shigemasa Takai and Toshimitsu Ushio: Decentralized supervisory control of discrete event systems using dynamic default control; IEICE Transactions on Fundamentals, Vol. E88-A, No. 11, pp. 2982-2988, 2005.
  113. Ratnesh Kumar, Shigemasa Takai, Martin Fabian, and Toshimitsu Ushio: Maximally permissive mutually and globally nonblocking supervision with application to switching control; Automatica, Vol. 41, No. 8, pp. 1299-1312, 2005.
  114. Shigemasa Takai, Ratnesh Kumar, and Toshimitsu Ushio: Characterization of co-observable languages and formulas for their super/sublanguages; IEEE Transactions on Automatic Control, Vol. 50, No. 4, pp. 434-447, 2005.
  115. Toshimitsu Ushio and Shigemasa Takai: Control-invariance of hybrid systems with forcible events; Automatica, Vol. 41, No. 4, pp. 669-675, 2005.
  116. Shigemasa Takai and Toshimitsu Ushio: Supervisory control of a class of concurrent discrete event systems under partial observation; Discrete Event Dynamic Systems: Theory and Applications, Vol. 15, No. 1, pp. 7-32, 2005.
  117. Yoshitaka Ukawa, Toshimitsu Ushio, Masakazu Adachi, and Shigemasa Takai: Formal detection of three automation surprises in human-machine interaction; IEICE Transactions on Fundamentals, Vol. E87-A, No. 11, pp. 2878-2884, 2004.
  118. Shigemasa Takai and Toshimitsu Ushio: Supervisory control of a class of concurrent discrete event systems; IEICE Transactions on Fundamentals, Vol. E87-A, No. 4, pp. 850-855, 2004.
  119. Guisheng Zhai, Xinkai Chen, Shigemasa Takai, and Kazunori Yasuda: Stability and H_infinity disturbance attenuation analysis for LTI control systems with controller failures; Asian Journal of Control, Vol. 6, No. 1, pp. 104-111, 2004.
  120. Shigemasa Takai: Maximizing robustness of supervisors for partially observed discrete event systems; Automatica, Vol. 40, No. 3, pp. 531-535, 2004.
  121. Shigemasa Takai and Toshimitsu Ushio: Reliable decentralized supervisory control of discrete event systems with the conjunctive and disjunctive fusion rules; IEICE Transactions on Fundamentals, Vol. E86-A, No. 11, pp. 2731-2738, 2003.
  122. Guisheng Zhai, Shigemasa Takai, Anthony N. Michel, and Xuping Xu: Improving closed-loop stability of second-order LTI systems by hybrid static output feedback; International Journal of Hybrid Systems, Vol. 3, No. 2 & 3, pp. 237-250, 2003.
  123. Shigemasa Takai and Toshimitsu Ushio: Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control; Systems & Control Letters, Vol. 49, No. 3, pp. 191-200, 2003.
  124. Shigemasa Takai and Toshimitsu Ushio: Reliable decentralized supervisory control for marked language specifications; Asian Journal of Control, Vol. 5, No. 1, pp. 160-167, 2003.
  125. 池内直哉，大家浩一，高井重昌：ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語；システム制御情報学会論文誌，Vol. 16, No. 3, pp. 147-149, 2003.
  126. 高井重昌，石丸洋平：スーパバイザ制御における可観測性とノーマル性の関係；システム制御情報学会論文誌，Vol. 15, No. 8, pp. 447-449, 2002.
  127. 潮　俊光，高井重昌：強制事象のあるハイブリッドシステムにおける状態フィードバック制御；システム制御情報学会論文誌，Vol. 15, No. 3, pp. 143-149, 2002.
  128. Shigemasa Takai: Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications; IEEE Transactions on Automatic Control, Vol. 47, No. 1, pp. 132-136, 2002.
  129. Shigemasa Takai and Toshimitsu Ushio: A modified normality condition for decentralized supervisory control of discrete event systems; Automatica, Vol. 38, No. 1, pp. 185-189, 2002.
  130. Shigemasa Takai and Toshimitsu Ushio: Weak normality for nonblocking supervisory control of discrete event systems under partial observation; IEICE Transactions on Fundamentals, Vol. E84-A, No. 11, pp. 2822-2828, 2001.
  131. Shigemasa Takai and Toshimitsu Ushio: On-line synthesis of decentralized supervisors for discrete event systems; IEICE Transactions on Fundamentals, Vol. E83-A, No. 11, pp. 2282-2285, 2000.
  132. Shigemasa Takai and Toshimitsu Ushio: Synthesis of reliable decentralized supervisors for discrete event systems; IEICE Transactions on Fundamentals, Vol. E83-A, No. 11, pp. 2212-2218, 2000.
  133. Guisheng Zhai, Shigemasa Takai, and Kazunori Yasuda: Controller failure time analysis for linear time-invariant systems; Transactions of SICE, Vol. 36, No. 11, pp. 1050-1052, 2000.
  134. Shigemasa Takai and Toshimitsu Ushio: Reliable decentralized supervisory control of discrete event systems; IEEE Transactions on Systems, Man, and Cybernetics-Part B: Cybernetics, Vol. 30, No. 5, pp. 661-667, 2000.
  135. Shigemasa Takai: Supervisory control of partially observed discrete event systems with arbitrary control patterns; International Journal of Systems Science, Vol. 31, No. 5, pp. 649-656, 2000.
  136. Shigemasa Takai: Robust supervisory control of a class of timed discrete event systems under partial observation; Systems & Control Letters, Vol. 39, No. 4, pp. 267-273, 2000.
  137. Shigemasa Takai and Yoshinori Ito: Supervisory control of timed event graphs with partial specifications; International Journal of Systems Science, Vol. 30, No. 11, pp. 1187-1192, 1999.
  138. Shigemasa Takai: Minimizing the set of local supervisors in fully decentralized supervision; IEEE Transactions on Automatic Control, Vol. 44, No. 7, pp. 1441-1444, 1999.
  139. Shigemasa Takai, Toshimitsu Ushio, and Shinzo Kodama: Supervisory control of discrete event systems using partial event and state observations; International Journal of Intelligent Control and Systems, Vol. 2, No. 3, pp. 453-466, 1998.
  140. Shigemasa Takai, Akiteru Takae, and Shinzo Kodama: The extremal languages arising in supervisory control for service specifications; International Journal of Intelligent Control and Systems, Vol. 2, No. 1, pp. 161-175, 1998.
  141. Shigemasa Takai and Shinzo Kodama: Formulas for the extremal controllable sequences in timed-event graphs; IEEE Transactions on Automatic Control, Vol. 43, No. 10, pp. 1465-1468, 1998.
  142. Shigemasa Takai: On the language generated under fully decentralized supervision; IEEE Transactions on Automatic Control, Vol. 43, No. 9, pp. 1253-1256, 1998.
  143. Shigemasa Takai: Optimal state-space partition for control of discrete-event systems with static specifications; IEEE Transactions on Automatic Control, Vol. 43, No. 7, pp. 1013-1016, 1998.
  144. Shigemasa Takai and Shinzo Kodama: Characterization of all M-controllable subpredicates of a given predicate; International Journal of Control, Vol. 70, No. 4, pp. 541-549, 1998.
  145. 高井重昌：Synchronous Compositionによる部分観測システムのスーパバイザ制御；システム制御情報学会論文誌，Vol. 11, No. 5, pp. 277-279, 1998.
  146. Shigemasa Takai: A characterization of realizable behavior in supervisory control of timed event graphs; Automatica, Vol. 33, No. 11, pp. 2077-2080, 1997.
  147. Shigemasa Takai: Estimate based limited lookahead supervisory control for closed language specifications; Automatica, Vol. 33, No. 9, pp. 1739-1743, 1997.
  148. Shigemasa Takai and Shinzo Kodama: M-controllable subpredicates arising in state feedback control of discrete event systems; International Journal of Control, Vol. 67, No. 4, pp. 553-566, 1997.
  149. Shigemasa Takai, Toshimitsu Ushio, and Shinzo Kodama: Balanced state feedback controllers for discrete event systems described by the Golaszewski-Ramadge model; IEICE Transactions on Fundamentals, Vol. E80-A, No. 5, pp. 928-931, 1997.
  150. Jae-won Yang, Shigemasa Takai, Toshimitsu Ushio, Sadatoshi Kumagai, and Shinzo Kodama: Stabilization of timed discrete event systems with forcible events; IEICE Transactions on Fundamentals, Vol. E80-A, No. 3, pp. 571-573, 1997.
  151. 高井重昌，楠本　聡，児玉慎三：部分観測のもとでのペトリネットのモジュラ制御；システム制御情報学会論文誌， Vol. 9, No. 12, pp. 598-605, 1996.
  152. 高井重昌，潮　俊光，児玉慎三：事象と状態の部分観測に基づく分散スーパバイザ制御；システム制御情報学会論文誌，Vol. 9, No. 7, pp. 305-312, 1996.
  153. 高井重昌：束理論による離散事象システムの状態フィードバック制御；計測自動制御学会論文集，Vol. 32, No. 4, pp. 533-538, 1996.
  154. 高井重昌，大室真一，児玉慎三：事象と状態の部分観測によるスーパバイザ制御--不可観測事象をもつシステムへの拡張；システム制御情報学会論文誌，Vol. 9, No. 4, pp. 197-199, 1996.
  155. 高井重昌，潮　俊光，児玉慎三：離散事象システムにおけるコマンド型スーパバイザ制御； 計測自動制御学会論文集，Vol. 32, No. 3, pp. 429-431, 1996.
  156. 高江昭輝，高井重昌，潮　俊光，熊谷貞俊，児玉慎三：外部入力プレース付き時間ペトリネットにおける最大許容フィードバック；電子情報通信学会論文誌分冊A，Vol. J78-A, No. 12, pp. 1593-1600, 1995.
  157. Shigemasa Takai, Toshimitsu Ushio, and Shinzo Kodama: Static-state feedback control of discrete-event systems under partial observation; IEEE Transactions on Automatic Control, Vol. 40, No. 11, pp. 1950-1954, 1995.
  158. 高井重昌，潮　俊光，児玉慎三：離散事象システムにおける$\Gamma$-可制御性と状態フィードバック；計測自動制御学会論文集，Vol. 31, No. 9, pp. 1488-1494, 1995.
  159. Shigemasa Takai, Toshimitsu Ushio, and Shinzo Kodama: The infimal controllable and n-observable superpredicate of a given predicate; IEEE Transactions on Automatic Control, Vol. 40, No. 7, pp. 1249-1253, 1995.
  160. Wooi Voon Chang, Toshimitsu Ushio, Shigemasa Takai, Sadatoshi Kumagai, and Shinzo Kodama: A forbidden marking problem in controlled complementary-places Petri nets; IEICE Transactions on Fundamentals, Vol. E78-A, No. 3, pp. 382-388, 1995.
  161. Shigemasa Takai, Toshimitsu Ushio, and Shinzo Kodama: Stabilization and blocking in state feedback control of discrete event systems; Discrete Event Dynamic Systems: Theory and Applications, Vol. 5, No. 1, pp. 33-57, 1995.
  162. 高井重昌，潮　俊光，児玉慎三：外部入力プレース付きペトリネットにおける部分観測と許容フィードバック；日本応用数理学会論文誌，Vol. 4, No. 4, pp. 275-285, 1994.
  163. Shigemasa Takai, Toshimitsu Ushio, and Shinzo Kodama: Concurrency and maximally permissive feedback in Petri nets with external input places; International Journal of Control, Vol. 60, No. 4, pp. 617-629, 1994.
  164. 高井重昌，潮　俊光，児玉慎三：離散事象システムにおける部分観測のもとでの状態フィードバックの存在条件；システム制御情報学会論文誌，Vol. 7, No. 1, pp. 9-17, 1994. （1995年度システム制御情報学会学会賞論文賞）
  165. 高井重昌，潮　俊光，児玉慎三：大規模離散事象システムにおける分散状態フィードバックの構成法；電子情報通信学会論文誌分冊A，Vol. J76-A, No. 8, pp. 1150-1157, 1993.
  166. 高井重昌，潮　俊光，児玉慎三：大規模離散事象システムの分散状態フィードバック制御；システム制御情報学会論文誌，Vol. 6, No. 4, pp. 196-203, 1993
  167. 高井重昌，潮　俊光，児玉慎三：ブロッキングが発生しない離散事象システムの状態フィードバック制御；電子情報通信学会論文誌分冊A，Vol. J76-A, No. 1, pp. 68-70, 1993.
  168. 高井重昌，潮　俊光，児玉慎三：外部入力プレース付きペトリネットにおける同時進行性と状態フィードバック；システム制御情報学会論文誌，Vol. 5, No. 8, pp. 317-324, 1992.
  169. 高井重昌，潮　俊光，児玉慎三：外部入力プレース付きペトリネットにおける許容フィードバックの性質；電子情報通信学会論文誌分冊A，Vol. J75-A, No. 8, pp. 1405-1411, 1992.
  170. 高井重昌，潮　俊光：分散状態フィードバックによる離散事象システムの安定化；電子情報通信学会論文誌分冊A，Vol. J75-A, No. 3, pp. 543-551, 1992.
  171. 高井重昌，潮　俊光：任意の制御パターンをもつ離散事象システムの安定化；電子情報通信学会論文誌分冊A，Vol. J75-A, No. 3, pp. 534-542, 1992.

国際会議発表論文

  1. Yuki Uehara, Kazumune Hashimoto, and Shigemasa Takai: Sampling-based motion planning for lunar water exploration under time-variant illumination areas; Proceedings of the 2025 AIAA SciTech Forum, accepted for publication.
  2. Akari Kimura and Shigemasa Takai: Deterministic decentralized supervisors for bisimilarity control of nondeterministic discrete event systems; Proceedings of the 2024 American Control Conference, pp. 5426-5431, 2024.
  3. Xun Shen, Akifumi Wachi, Wataru Hashimoto, Kazumune Hashimoto, and Shigemasa Takai: Safe reinforcement learning using model predictive control with probabilistic control barrier function; Proceedings of the 2024 American Control Conference, pp. 74-79, 2024.
  4. Shigemasa Takai and Takashi Yamamoto: Verification of codiagnosability arising in intersection-based decentralized diagnosis of discrete event systems; Proceedings of the 17th International Workshop on Discrete Event Systems, pp. 132-137, 2024.
  5. Shigemasa Takai and Takashi Yamamoto: Codiagnosability for intersection-based decentralized diagnosis of discrete event systems; Proceedings of the 22nd IFAC World Congress, pp. 3585-3590, 2023.
  6. Akihito Hayano and Shigemasa Takai: A general intersection-based architecture for decentralized supervisory control of discrete event systems; Proceedings of the 61st IEEE Conference on Decision and Control, pp. 4244-4249, 2022.
  7. Keishin Tada, Naoki Hayashi, and Shigemasa Takai: Distributed inequality constrained online optimization for unbalanced digraphs using row stochastic property; Proceedings of the 61st IEEE Conference on Decision and Control, pp. 2283-2288, 2022.
  8. Takumi Hamada and Shigemasa Takai: Verification of reliable inference-diagnosability for decentralized diagnosis with single-level inference; Proceedings of the 16th International Workshop on Discrete Event Systems, pp. 244-249, 2022.
  9. Wataru Hashimoto, Kazumune Hashimoto, Yuga Onoue, and Shigemasa Takai: Learning-based iterative optimal control for unknown systems using Gaussian process regression; Proceedings of the 2022 European Control Conference, pp. 1554-1559, 2022.
  10. Akari Kimura and Shigemasa Takai: Decentralized control of nondeterministic discrete event systems with deterministic specifications; Proceedings of the 37th International Technical Conference on Circuits/Systems, Computers and Communications, pp. 1-4, 2022.
  11. Takumi Hamada and Shigemasa Takai: Reliable diagnosability for decentralized diagnosis of discrete event systems with single-level inference; Proceedings of the 2022 American Control Conference, pp. 3746-3751, 2022.
  12. Jinglun Li and Shigemasa Takai: Maximally permissive nonblocking similarity control of nondeterministic discrete event systems; Proceedings of the 59th IEEE Conference on Decision and Control, pp. 73-78, 2020.
  13. Shigemasa Takai: A generalized diagnosability condition for diagnosis of discrete event systems subject to sensor failures; Proceedings of the 15th International Workshop on Discrete Event Systems, pp. 344-349, 2020.
  14. Toshiyuki Miyamoto, Toyohiro Umeda, and Shigemasa Takai: Distributed job shop scheduling using consensus alternating direction method of multipliers; Proceedings of the 21st IFAC World Congress, pp. 10785-10790, 2020.
  15. Kohei Shimatani and Shigemasa Takai: Deterministic bisimilarity-enforcing supervisors for nondeterministic discrete event systems with deterministic specifications; Proceedings of the 35th International Technical Conference on Circuits/Systems, Computers and Communications, pp. 45-48, 2020.
  16. Jinglun Li and Shigemasa Takai: Maximally permissive similarity enforcing supervisors for nondeterministic discrete event systems under partial observation; Proceedings of the 58th IEEE Conference on Decision and Control, pp. 1037-1042, 2019.
  17. Ryoma Sawasaki and Shigemasa Takai: Sufficient condition for state attraction of discrete event systems under partial observation; Proceedings of the SICE Annual Conference 2019, pp. 1432-1435, 2019.
  18. Akihito Wada and Shigemasa Takai: Verification of codiagnosability for decentralized diagnosis of discrete event systems subject to permanent sensor failures; Proceedings of the 2019 European Control Conference, pp. 1726-1731, 2019.
  19. Shigemasa Takai: Maximally permissive supervisory control of nondeterministic discrete event systems with nondeterministic specifications; Proceedings of the 57th IEEE Conference on Decision and Control, pp. 3975-3980, 2018.
  20. Shimpei Miura and Shigemasa Takai: Decentralized control of timed discrete event systems with conditional decisions for enforcement of forcible events; Proceedings of the 57th IEEE Conference on Decision and Control, pp. 3956-3961, 2018.
  21. Naoki Hayashi, Tomohiro Sugiura, Yuichi Kajiyama, and Shigemasa Takai: Event-triggered consensus-based optimization algorithm for smooth and strongly convex cost functions; Proceedings of the 57th IEEE Conference on Decision and Control, pp. 2120-2125, 2018.
  22. Kenta Suzuki, Naoki Hayashi, and Shigemasa Takai: Uniform ultimate boundedness of event-triggered control for time-varying nonlinear systems; Proceedings of the 2018 IEEE International Conference on Systems, Man, and Cybernetics, pp. 2003-2008, 2018.
  23. Itsuki Okubo and Shigemasa Takai: Decentralized supervisor synthesis for composite nondeterministic discrete event systems with local specifications; Proceedings of the SICE Annual Conference 2018, pp. 1793-1796, 2018.
  24. Makoto Yamashita, Naoki Hayashi, and Shigemasa Takai: Regret analysis of distributed online subgradient method with event-triggered communication; Proceedings of the SICE Annual Conference 2018, pp. 1296-1300, 2018.
  25. Akihito Wada, Nadda Chawalarat, and Shigemasa Takai: Codiagnosability for decentralized diagnosis of discrete event systems subject to permanent sensor failures; Proceedings of the SICE Annual Conference 2018, pp. 1069-1072, 2018.
  26. Tatsuya Ito, Kohei Segawa, Naoki Hayashi, and Shigemasa Takai: Cooperative Voronoi tracking by multiple quadrotors with onborad PTZ cameras ; Proceedings of the SICE Annual Conference 2018, pp. 331-335, 2018.
  27. Shigemasa Takai: Synthesis of bisimilarity enforcing supervisors for nondeterministic discrete event systems; Proceedings of the 14th International Workshop on Discrete Event Systems, pp. 1-6, 2018. Correcting Notice
  28. Yuichi Kajiyama, Naoki Hayashi, and Shigemasa Takai: Distributed multi-step subgradient algorithm for constrained convex optimization with undirected time-varying communications; Proceedings of the 56th IEEE Conference on Decision and Control, pp. 4650-4655, 2017.
  29. Hiroki Yamada and Shigemasa Takai: Nonblocking supervisors for similarity control of nondeterministic discrete event systems under event and state observations; Proceedings of the SICE Annual Conference 2017, pp. 160-163, 2017.
  30. Yuichi Kajiyama, Naoki Hayashi, and Shigemasa Takai: Distributed event-triggered subgradient method for convex optimization with a common constraint set; Proceedings of the 20th IFAC World Congress, pp. 15319-15324, 2017.
  31. Shigemasa Takai and Ratnesh Kumar: A generalized inference-based prognosis framework for discrete event systems; Proceedings of the 20th IFAC World Congress, pp. 6819-6824, 2017.
  32. Sho Yoshida and Shigemasa Takai: Reliable conditional-coobservability for decentralized supervisory control of discrete event systems with conditional decisions; Proceedings of the 55th IEEE Conference on Decision and Control, pp. 414-419, 2016.
  33. Hayato Fujimura, Naoki Hayashi, and Shigemasa Takai: Linear convergence of distributed periodically-triggered ADMM for unconstrained optimization; Proceedings of the SICE Annual Conference 2016, pp. 1735-1736, 2016.
  34. Shigemasa Takai and Ratnesh Kumar: Delay bound of inference-based decentralized diagnosis in discrete event systems; Proceedings of the 13th International Workshop on Discrete Event Systems, pp. 224-229, 2016.
  35. Shigemasa Takai and Ratnesh Kumar: A generalized inference-based diagnosis framework for discrete event systems capturing both disjunctive and conjunctive decision-making; Proceedings of the 54th IEEE Conference on Decision and Control, pp. 3522-3527, 2015.
  36. Kohei Segawa, Kenta Hamada, Naoki Hayashi, and Shigemasa Takai: Cooperative target tracking by 2-level hierarchical PTZ camera sensor networks; Proceedings of the 54th IEEE Conference on Decision and Control, pp. 2975-2980, 2015.
  37. Koki Abe, Naoki Hayashi, and Shigemasa Takai: Cooperative Voronoi coverage with velocity feedback of centroids; Proceedings of the First International Symposium on Swarm Behavior and Bio-Inspired Robotics, pp. 372-374, 2015.
  38. Shigemasa Takai and Ratnesh Kumar: Verification of generalized inference diagnosability for decentralized diagnosis of discrete event systems; Proceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation, 125, 8 pages, 2015.
  39. Naoki Kushi and Shigemasa Takai: Supervisor synthesis for similarity control of nondeterministic discrete event systems; Proceedings of the 20th IEEE International Conference on Emerging Technologies and Factory Automation, 291, 4 pages, 2015.
  40. Naoki Hayashi, Yu Muranishi, and Shigemasa Takai: Distributed event-triggered control for Voronoi coverage; Proceedings of the First International Conference on Event-Based Control, Communication, and Signal Processing, 4 pages, 2015.
  41. Shoichi Yokota and Shigemasa Takai: Computation of the delay bound in decentralized diagnosis of discrete event systems with conditional decisions; Proceedings of the 53rd IEEE Conference on Decision and Control, pp. 5961-5966, 2014.
  42. Yu Muranishi, Kenta Hamada, Naoki Hayashi, and Shigemasa Takai: Distributed estimation of 1-D convection-diffusion phenomena by discrete-time event-triggered consensus dynamics; Proceedings of the 53rd IEEE Conference on Decision and Control, pp. 1995-2000, 2014.
  43. Naoki Kanagawa and Shigemasa Takai: Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures; Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation, PD-001147, 8 pages, 2014.
  44. Kenji Nomura, Naoki Hayashi, and Shigemasa Takai: Distributed event-triggered control for consensus problems with non-linear output functions; Proceedings of the ISCIE/ASME 2014 International Symposium on Flexible Automation, 2014-99S, 4 pages, 2014.
  45. Naoki Hayashi and Shigemasa Takai: Consensus-based distribution estimation of 1-D diffusion phenomena; Proceedings of the 2014 American Control Conference, pp. 2569-2574, 2014.
  46. Misato Yokotani and Shigemasa Takai: Abstraction-based verification for partially observed discrete event systems; Proceedings of the 12th International Workshop on Discrete Event Systems, pp. 356-361, 2014.
  47. Shoichi Kitamura, Kazuyuki Mori, Yoshio Izui, Toshiyuki Miyamoto, and Shigemasa Takai: Operation optimization method for factory power generation plant considering probability distribution; Proceedings of the IASTED International Symposium on Power and Energy, pp. 6-13, 2013.
  48. Misato Yokotani and Shigemasa Takai: Abstraction-based verification of observability for discrete event systems; Proceedings of the SICE Annual Conference 2013, pp. 1016-1017, 2013.
  49. Takashi Yamamoto and Shigemasa Takai: Conjunctive decentralized diagnosis of discrete event systems; Proceedings of the 4th IFAC Workshop on Dependable Control of Discrete Systems, pp. 67-72, 2013.
  50. Naoki Hayashi and Shigemasa Takai: A GTS scheduling for consensus problems over IEEE 802.15.4 wireless networks; Proceedings of the 12th European Control Conference, pp. 1764-1769, 2013.
  51. Katsuyuki Kimura, Masashi Nomura, and Shigemasa Takai: Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations; Proceedings of the 11th International Workshop on Discrete Event Systems, pp. 169-174, 2012.
  52. Ratnesh Kumar and Shigemasa Takai: A framework for control-reconfiguration following fault-detection in discrete event systems; Proceedings of the 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp. 848-853, 2012.
  53. Shigemasa Takai: Robust failure prognosis of partially observed discrete event systems; Proceedings of the 2012 American Control Conference, pp. 6077-6082, 2012.
  54. Masashi Nomura and Shigemasa Takai: A new forcing mechanism for decentralized supervisory control of timed discrete event systems; Proceedings of the 26th International Technical Conference on Circuits/Systems, Computers and Communications, pp. 11-14, 2011.
  55. Shigemasa Takai: Robust failure diagnosis of partially observed discrete event systems; Proceedings of the 10th International Workshop on Discrete Event Systems, pp. 205-210, 2010.
  56. Shigemasa Takai and Toshimitsu Ushio: Decentralized diagnosis of discrete event systems modeled by Mealy automata with nondeterministic output functions; Proceedings of the 2010 American Control Conference, pp. 2613-2618, 2010.
  57. Shigemasa Takai and Ratnesh Kumar: Distributed prognosis of discrete event systems under bounded-delay communications; Proceedings of the 48th IEEE Conference on Decision and Control, and the 28th Chinese Control Conference, pp. 1235-1240, 2009.
  58. Shigemasa Takai and Ratnesh Kumar: Verification and synthesis for secrecy in discrete-event systems; Proceedings of the 2009 American Control Conference, pp. 4741-4746, 2009.
  59. Toshimitsu Ushio and Shigemasa Takai: Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions; Proceedings of the 2009 American Control Conference, pp. 4260-4265, 2009.
  60. Shigemasa Takai and Ratnesh Kumar: Inference-based decentralized prognosis in discrete event systems; Proceedings of the 47th IEEE Conference on Decision and Control, pp. 871-876, 2008.
  61. Shigemasa Takai and Yusuke Oka: A Formula for the supremal controllable and opaque sublanguage in discrete event systems; Proceedings of the 2008 International Symposium on Nonlinear Theory and its Applications, pp. 656-659, 2008.
  62. Shigemasa Takai: A sufficient condition for diagnosability of large-scale discrete event systems; Proceedings of the 23rd International Technical Conference on Circuits/Systems, Computers and Communications, pp. 321-324, 2008.
  63. Ratnesh Kumar and Shigemasa Takai: Decentralized prognosis of failures in discrete event systems; Proceedings of the 9th International Workshop on Discrete Event Systems, pp. 376-381, 2008.
  64. Shigemasa Takai and Ratnesh Kumar: Inference-diagnosability: Nonconvergence and other complexity results; Proceedings of the SICE Annual Conference 2007, pp. 533-539, 2007.
  65. Shigemasa Takai and Ratnesh Kumar: Synthesis of over-approximating inference-based decentralized supervisors for discrete event systems; Proceedings of the 2007 American Control Conference, pp. 4268-4273, 2007.
  66. Shigemasa Takai and Ratnesh Kumar: Synthesis of inference-based decentralized control for discrete event systems; Proceedings of the 45th IEEE Conference on Decision and Control, pp. 410-415, 2006.
  67. Shigemasa Takai and Yongming Bai: Computation of controllable sublanguages for unbounded Petri nets using their approximation models; Proceedings of the 2006 International Symposium on Nonlinear Theory and its Applications, pp. 411-414, 2006.
  68. Shigemasa Takai and Ratnesh Kumar: Decentralized diagnosis for nonfailures of discrete event systems using inference-based ambiguity management; Proceedings of the 8th International Workshop on Discrete Event Systems, pp. 242-247, 2006.
  69. Ratnesh Kumar and Shigemasa Takai: Inference-based ambiguity management in decentralized decision-making: Decentralized diagnosis of discrete event systems; Proceedings of the 2006 American Control Conference, pp. 6069-6074, 2006.
  70. Ratnesh Kumar and Shigemasa Takai: Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems; Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference ECC 2005, pp. 3480-3485, 2005.
  71. Shigemasa Takai and Toshimitsu Ushio: Computation of closed, controllable, and weakly observable sublanguages for timed discrete event systems; Proceedings of the 16th IFAC World Congress, pp. 139-144, 2005.
  72. Shigemasa Takai and Toshimitsu Ushio: A new class of supervisors for timed discrete event systems under partial observation; Proceedings of the 43rd IEEE Conference on Decision and Control, pp. 497-502, 2004.
  73. Ratnesh Kumar, Shigemasa Takai, Martin Fabian, and Toshimitsu Ushio: Maximally permissive mutually & globally nonblocking supervisors for discrete event systems; Proceedings of the 7th International Workshop on Discrete Event Systems, pp. 69-74, 2004.
  74. Shigemasa Takai: Maximizing robustness of supervisors for partially observed discrete event systems; Proceedings of the 10th IFAC/IFORS/IMACS/IFIP/ Symposium on Large Scale Systems: Theory and Applications, pp. 361-366, 2004.
  75. Shigemasa Takai and Toshimitsu Ushio: Supervisor synthesis for a class of concurrent discrete event systems; Proceedings of the 42nd IEEE Conference on Decision and Control, pp. 2686-2691, 2003.
  76. Shigemasa Takai and Toshimitsu Ushio: Reliable decentralized supervisory control of discrete event systems with the conjunctive and disjunctive fusion rules; Proceedings of the 2003 American Control Conference, pp. 1050-1055, 2003.
  77. Guisheng Zhai, Shigemasa Takai, Anthony N. Michel, and Xuping Xu: Improving closed-loop stability of second-order LTI systems by hybrid static output feedback; Proceedings of the 41st IEEE Conference on Decision and Control, pp. 2792-2797, 2002.
  78. Shigemasa Takai, Ratnesh Kumar, and Toshimitsu Ushio: Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems; Proceedings of the 41st IEEE Conference on Decision and Control, pp. 578-583, 2002.
  79. Toshimitsu Ushio and Shigemasa Takai: State feedback control of hybrid automata with forcible events; Proceedings of the 6th International Workshop on Discrete Event Systems, pp. 317-322, 2002.
  80. Shigemasa Takai and Toshimitsu Ushio: Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control; Proceedings of the 6th International Workshop on Discrete Event Systems, pp. 34-39, 2002.
  81. Shigemasa Takai and Toshimitsu Ushio: Strong co-observability conditions for decentralized supervisory control of discrete event systems; Proceedings of the 40th IEEE Conference on Decision and Control, pp. 4098-4103, 2001.
  82. Guisheng Zhai, Xinkai Chen, Shigemasa Takai and Kazunori Yasuda: Controller failure time analysis for H_infinity control systems; Proceedings of the 40th IEEE Conference on Decision and Control, pp. 1029-1030, 2001.
  83. Shigemasa Takai and Toshimitsu Ushio: Weak normality for supervisory control of discrete event systems under partial observation; Proceedings of the 6th European Control Conference, pp. 1589-1594, 2001.
  84. Guisheng Zhai, Shigemasa Takai, and Kazunori Yasuda: Stability analysis of linear time-invariant systems with controller failures; Proceedings of the 6th European Control Conference, pp. 138-142, 2001.
  85. Shigemasa Takai and Toshimitsu Ushio: Strong co-observability for decentralized supervisory control of discrete event systems; Proceedings of the 9th IFAC/IFORS/IMACS/IFIP/ Symposium on Large Scale Systems: Theory and Applications, pp. 127-132, 2001.
  86. Shigemasa Takai and Toshimitsu Ushio: A modified normality condition for decentralized supervisory control of discrete event systems; Proceedings of the 2001 American Control Conference, pp. 973-974, 2001.
  87. Shigemasa Takai and Toshimitsu Ushio: On-line decentralized supervisory control of discrete event systems; Proceedings of the 39th IEEE Conference on Decision and Control, pp. 7-8, 2000.
  88. Shigemasa Takai and Toshimitsu Ushio: Reliable decentralized supervisory control of discrete event systems with marked language specifications; Proceedings of the 2000 IEEE International Conference on Systems, Man, and Cybernetics, pp. 2180-2185, 2000.
  89. Shigemasa Takai, Toshimitsu Ushio, and Yasunobu Furukawa: Separability of predicates and languages in large-scale discrete event systems; Proceedings of the 5th International Workshop on Discrete Event Systems, pp. 337-344, 2000.
  90. Shigemasa Takai and Toshimitsu Ushio: Synthesis of reliable decentralized supervisors for discrete event systems; Proceedings of the 5th International Workshop on Discrete Event Systems, pp. 131-138, 2000.
  91. Shigemasa Takai and Toshimitsu Ushio: Reliable decentralized supervisory control of discrete event systems; Proceedings of the 38th IEEE Conference on Decision and Control, pp. 2224-2229, 1999.
  92. Shigemasa Takai: Design of robust supervisors for prefix-closed language specifications; Proceedings of the 38th IEEE Conference on Decision and Control, pp. 1725-1730, 1999.
  93. Shigemasa Takai: Robust control of partially observed discrete event systems in the input/output semantics; Proceedings of the 14th IFAC World Congress, pp. 4717-4722, 1999.
  94. Shigemasa Takai: Estimate based limited lookahead control of discrete event systems with model uncertainty; Proceedings of the 4th International Symposium on Artificial Life and Robotics, pp. 110-113, 1999.
  95. Shigemasa Takai: Maximally permissive robust supervisors for a class of specification languages; Preprints of the 5th IFAC Conference on System Structure and Control, pp. 429-434, 1998.
  96. Shigemasa Takai: Optimal state space partition for state feedback control of discrete event systems; Proceedings of the 36th IEEE Conference on Decision and Control, pp. 3582-3583, 1997.
  97. Shigemasa Takai and Shinzo Kodama: A note on realizable sequences in supervisory control of timed event graphs; Proceedings of IFAC/IFIP Conference on Management and Control of Production and Logistics, pp. 155-160, 1997.
  98. Shigemasa Takai and Shinzo Kodama: On strongly controllable behavior in supervisory control of timed event graphs; Proceedings of the 4th European Control Conference, FR-M K2, 6 pages, 1997.
  99. Shigemasa Takai, Akiteru Takae, and Shinzo Kodama: The extremal languages in supervisory control of discrete event systems with service specifications; Proceedings of the 35th IEEE Conference on Decision and Control, pp. 2231-2236, 1996.
  100. Shigemasa Takai and Shinzo Kodama: Characterization of all M-controllable subpredicates arising in predicate based control; Proceedings of the 3rd International Workshop on Discrete Event Systems, pp. 127-132, 1996.
  101. Shigemasa Takai, Toshimitsu Ushio, and Shinzo Kodama: Decentralized supervisory control using partial event and state observations; Proceedings of the 34th IEEE Conference on Decision and Control, pp. 723-724, 1995.
  102. Shigemasa Takai, Toshimitsu Ushio, and Shinzo Kodama: A new class of supervisors for partially observed discrete event systems; Proceedings of the 1995 American Control Conference, pp. 2631-2635, 1995.
  103. Akiteru Takae, Shigemasa Takai, Toshimitsu Ushio, Sadatoshi Kumagai, and Shinzo Kodama: Maximally permissive controllers for controlled time Petri nets; Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 1058-1059, 1994.
  104. Youichi Nagao, Hideaki Ohta, Hironobu Urabe, Shinichi Nakano, Sadatoshi Kumagai, Toshimitsu Ushio, and Shigemasa Takai: Net-based cooperative control for autonomous distributed systems; Proceedings of the IEEE Symposium on Emerging Technologies & Factory Automation, pp. 350-357, 1994.
  105. Shigemasa Takai, Toshimitsu Ushio, and Shinzo Kodama: Modular state feedback control of discrete event systems under partial observation; Proceedings of the First Asian Control Conference, Vol. 2, pp. 893-896, 1994.
  106. Shigemasa Takai, Toshimitsu Ushio, and Shinzo Kodama: A note on static state feedback control of discrete event systems under partial observation; Proceedings of the 32nd IEEE Conference on Decision and Control, pp. 1206-1211, 1993.
  107. Shigemasa Takai, Toshimitsu Ushio, and Shinzo Kodama: Stabilization and blocking in state feedback control of discrete event systems; Proceedings of the 12th IFAC World Congress, pp. 583-586, 1993.

ワークショップ等での講演論文

1. Shigemasa Takai and Toshimitsu Ushio: Supervisory control of a class of concurrent discrete event systems; Proceedings of the ATPN-Workshop on Discrete Event Systems Control, pp. 37-55, 2003.

解説

  1. 高井重昌：スーパバイザ制御の理論と応用； 電子情報通信学会誌，Vol. 105, No. 2, pp. 121-127, 2022.
  2. 高井重昌：模倣関係に基づく非決定性離散事象システムのスーパバイザ制御； 計測と制御， Vol. 60, No. 1, pp. 8-13, 2021.
  3. 高井重昌：交替模倣関係に基づく遷移システムのフィードバック制御； システム／制御／情報， Vol. 62, No. 6, pp. 221-226, 2018.
  4. 林　直樹，高井重昌： サイバーフィジカルシステムの研究動向と展望； 計測と制御， Vol. 53, No. 12, pp. 1076-1079, 2014.
  5. 高井重昌： 離散事象システムのスーパバイザ制御；電子情報通信学会基礎・境界ソサイエティFundamentals Review， Vol. 7, No. 4, pp. 317-325, 2014.
  6. 高井重昌： 離散事象システムのスーパバイザ制御理論−IV−分散スーパバイザ制御； システム／制御／情報， Vol. 56, No. 9, pp. 498-505, 2012.
  7. 高井重昌： 離散事象システムのスーパバイザ制御理論−III−部分観測と可観測性； システム／制御／情報， Vol. 56, No. 7, pp. 381-388, 2012.
  8. 高井重昌： 離散事象システムのスーパバイザ制御理論−II−最大可制御部分言語の計算とその応用； システム／制御／情報， Vol. 56, No. 5, pp. 263-270, 2012.
  9. 高井重昌： 離散事象システムのスーパバイザ制御理論−I−スーパバイザと可制御性； システム／制御／情報， Vol. 56, No. 3, pp. 144-151, 2012.
  10. 高井重昌： 離散事象システムにおける可診断性の検証； 計測と制御， Vol. 48, No. 11, pp. 822-827, 2009.
  11. 高井重昌，鈴木達也： 離散事象システム； 計測と制御， Vol. 46, No. 4, pp. 248-254, 2007.
  12. 高井重昌，潮　俊光： コンカレント離散事象システムのスーパバイザ制御； システム／制御／情報， Vol. 51, No. 2, pp. 96-101, 2007.
  13. 高井重昌： 再構成可能システムのための階層的スーパバイザ制御； 計測と制御， Vol. 44, No. 7, pp. 458-463, 2005.
  14. 高井重昌，鈴木達也： ハイブリッドシステムモデルに基づく制御； フルードパワーシステム， Vol. 34, No. 4, pp. 262-266, 2003.
  15. 高井重昌： 時間付き離散事象システムのスーパバイザ制御； システム／制御／情報， Vol. 46, No. 3, pp. 138-143, 2002.
  16. 高井重昌： 離散事象システムの分散スーパバイザ制御； 計測と制御，Vol. 40, No. 12, pp. 927-931, 2001.
  17. 高井重昌： max-plus代数による離散事象制御； システム／制御／情報， Vol. 42, No. 8, pp. 434-439, 1998.

高井重昌のホームページへ