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　Research paper (scientific journal)

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　Research paper (scientific journal)

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　Research paper (scientific journal)

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　Research paper (scientific journal)

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　Research paper (scientific journal)

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/07　Research paper (international conference proceedings)

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/07　Research paper (international conference proceedings)

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/06　Research paper (scientific journal)

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/05　Research paper (scientific journal)

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/05　Research paper (scientific journal)

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/05　Research paper (scientific journal)

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/04　Research paper (international conference proceedings)

A lifting approach to learning-based self-triggered control with Gaussian processes

Wang Zhijun, Kazumune Hashimoto, Wataru Hashimoto, Shigemasa Takai

Advanced Robotics　Vol. 38　No. 6　p. 410-420　2024/04　Research paper (scientific journal)

Synthesis of event-triggered controllers for SIRS epidemic models

Lichen Ding, Kazumune Hashimoto, Shigemasa Takai

Nonlinear Analysis: Hybrid Systems　Vol. 51　p. 1-16　2024/02　Research paper (scientific journal)

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/01　Research paper (scientific journal)

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/01　Research paper (scientific journal)

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　Research paper (scientific journal)

適応的大規模近傍探索を用いたEV による電力及び物資の配送計画

廣島天晴, 宮本俊幸, 北村聖一, 内藤健人, 森 一之, 高井重昌, 泉井良夫

電気学会論文誌Ｃ　Vol. 143　No. 9　p. 959-970　2023/09　Research paper (scientific journal)

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/08　Research paper (scientific journal)

Codiagnosability for Intersection-Based Decentralized Diagnosis of Discrete Event Systems

Shigemasa Takai, Takashi Yamamoto

Proceedings of the 22nd IFAC World Congress　p. 3585-3590　2023/07　Research paper (international conference proceedings)

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/06/14　Research paper (scientific journal)

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/06　Research paper (scientific journal)

Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications

Shigemasa Takai

Automatica　Vol. 152　p. 1-5　2023/06　Research paper (scientific journal)

合意に基づく分散スケジューリング法へのハイブリッドメタヒューリスティクスの適用

宮本俊幸, 井上大地, 梅田豊裕, 高井重昌

システム制御情報学会論文誌　Vol. 36　No. 2　p. 27-39　2023/02　Research paper (scientific journal)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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　Research paper (scientific journal)

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/09　Research paper (international conference proceedings)

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/09　Research paper (scientific journal)

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/07　Research paper (international conference proceedings)

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/07　Research paper (international conference proceedings)

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/07　Research paper (scientific journal)

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/06　Research paper (international conference proceedings)

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/06　Research paper (scientific journal)

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/05　Research paper (scientific journal)

STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks

Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai

IEEE Robotics and Automation Letters　Vol. 7　No. 2　p. 5246-5253　2022/04　Research paper (scientific journal)

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/02　Research paper (scientific journal)

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/01　Research paper (scientific journal)

Modular similarity control of nondeterministic discrete event systems with modular specifications

IEEE Control Systems Letters　Vol. 6　p. 1358-1363　2022/01　Research paper (scientific journal)

Logarithmic Regret for Distributed Online Subgradient Method over Unbalanced Directed Networks

Makoto YAMASHITA, Naoki HAYASHI, Takeshi HATANAKA, Shigemasa TAKAI

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences　Vol. E104-A　No. 8　p. 1019-1026　2021/08　Research paper (scientific journal)

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/08　Research paper (scientific journal)

Synthesis of maximally permissive supervisors for nondeterministic discrete event systems with nondeterministic specifications

Shigemasa Takai

Vol. 66　No. 7　p. 3197-3204　2021/07　Research paper (scientific journal)

A general framework for diagnosis of discrete event systems subject to sensor failures

Automatica　Vol. 129　p. 1-12　2021/07　Research paper (scientific journal)

Distributed primal-dual perturbation algorithm over unbalanced directed networks

Hiroaki Sakuma, Naoki Hayashi, Shigemasa Takai

IEEE Access　Vol. 9　p. 75324-75335　2021/05　Research paper (scientific journal)

Linear convergence of consensus-based quantized optimization for smooth and strongly convex cost functions

Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai

Vol. 66　No. 3　p. 1254-1261　2021/03　Research paper (scientific journal)

Dynamic Regret Analysis for Event-Triggered Distributed Online Optimization Algorithm

Makoto YAMASHITA, Naoki HAYASHI, Shigemasa TAKAI

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences　Vol. E104-A　No. 2　p. 430-437　2021/02　Research paper (scientific journal)

分散スケジューリング問題に対する合意に基づく解法

宮本俊幸, 梅田豊裕, 高井重昌

システム制御情報学会論文誌　p. 58-67　2021/02　Research paper (scientific journal)

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/02　Research paper (scientific journal)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

Distributed Blade Pitch Angle Control in Floating Offshore Wind Farm with Coordination of Total Power Generation

Wataru HASHIMOTO, Naoki HAYASHI, Naoyuki HARA, Shigemasa TAKAI

Transactions of the Society of Instrument and Control Engineers　Vol. 56　No. 8　p. 395-402　2020/08　Research paper (scientific journal)

Distributed job shop scheduling using consensus alternating direction method of multipliers

Toshiyuki Miyamoto, Toyohiro Umeda, Shigemasa Takai

Proceedings of the 21st IFAC World Congress　Vol. 53　No. 2　p. 10785-10790　2020/07　Research paper (international conference proceedings)

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/07　Research paper (international conference proceedings)

Distributed 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/02　Research paper (scientific journal)

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/02　Research paper (scientific journal)

合意制御に基づく協調型トンプソン抽出の検討

神村素輝, 林 直樹, 高井重昌

システム制御情報学会論文誌　Vol. 33　No. 2　p. 57-65　2020/02　Research paper (scientific journal)

Decentralized Supervisory Control of Timed Discrete Event Systems with Conditional Decisions for Enforcing Forcible Events

Shimpei MIURA, Shigemasa TAKAI

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences　Vol. E103-A　No. 2　p. 417-427　2020/02　Research paper (scientific journal)

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/01/29　Research paper (scientific journal)

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　Research paper (international conference proceedings)

Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications

Shigemasa Takai

Automatica　Vol. 108　p. 1-11　2019/10　Research paper (scientific journal)

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/09　Research paper (international conference proceedings)

Verification of codiagnosability for decentralized diagnosis of discrete event systems subject to permanent sensor failures

Akihito Wada, Shigemasa Takai

Proceedings of the 2019 European Control Conference　p. 1726-1731　2019/06　Research paper (international conference proceedings)

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/02　Research paper (scientific journal)

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/02　Research paper (scientific journal)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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/09　Research paper (international conference proceedings)

Codiagnosability for decentralized diagnosis of discrete event systems subject to permanent sensor failures

Akihito Wada, Nadda Chawalarat, Shigemasa Takai

Proceedings of the SICE Annual Conference 2018　p. 1069-1072　2018/09　Research paper (international conference proceedings)

Distributed 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/07　Research paper (scientific journal)

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/06/01　Research paper (scientific journal)

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/05/01　Research paper (scientific journal)

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/05　Research paper (international conference proceedings)

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/02/01　Research paper (scientific journal)

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/02/01　Research paper (scientific journal)

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/01/18　Research paper (international conference proceedings)

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/09　Research paper (international conference proceedings)

A Generalized Inference-Based Prognosis Framework for Discrete Event Systems

Shigemasa Takai, Ratnesh Kumar

IFAC-PapersOnLine　Vol. 50　No. 1　p. 6819-6824　2017/07/01　Research paper (scientific journal)

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/07/01　Research paper (scientific journal)

合意制御に基づく分散事象駆動型劣勾配アルゴリズムによる制約なし凸最適化

梶山祐一, 林 直樹, 高井重昌

システム制御情報学会論文誌　Vol. 30　No. 6　p. 253-262　2017/06　Research paper (scientific journal)

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/06　Research paper (scientific journal)

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/03　Research paper (scientific journal)

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/03　Research paper (scientific journal)

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/03　Research paper (scientific journal)

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/02　Research paper (scientific journal)

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　Research paper (international conference proceedings)

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/09　Research paper (international conference proceedings)

Discrete-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/09　Research paper (scientific journal)

条件付き判断をもつ分散スーパバイザの許容性の改善

吉田 翔, 高井 重昌

電子情報通信学会論文誌分冊A　Vol. J99-A　No. 9　p. 361-373　2016/09　Research paper (scientific journal)

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/07　Research paper (scientific journal)

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/05　Research paper (scientific journal)

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/03　Research paper (scientific journal)

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/02　Research paper (scientific journal)

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　Research paper (international conference proceedings)

Event-based Cooperative Target Tracking by 2-level Hierarchical PTZ Camera Sensor Networks

SEGAWA Kohei, HAMADA Kenta, HAYASHI Naoki, TAKAI Shigemasa

Transactions of the Society of Instrument and Control Engineers　Vol. 52　No. 1　p. 19-27　2016/01　Research paper (scientific journal)

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　Research paper (scientific journal)

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　Research paper (international conference proceedings)

収束速度の改善を考慮した2-ホップ平均合意ダイナミクスの検討

野村健二, 林 直樹, 高井重昌

電子情報通信学会論文誌分冊A　Vol. J98-A　No. 10　p. 587-594　2015/10　Research paper (scientific journal)

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/09　Research paper (international conference proceedings)

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/09　Research paper (international conference proceedings)

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/06　Research paper (international conference proceedings)

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/05　Research paper (scientific journal)

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/03　Research paper (scientific journal)

Maximal permissiveness of the output feedback controller for similarity control of transition systems

Naoki Kushi, Shigemasa Takai

Vol. J98-A　No. 3　p. 255-266　2015/03　Research paper (scientific journal)

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/02　Research paper (scientific journal)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

Robust prognosability for a set of partially observed discrete event systems

Shigemasa Takai

AUTOMATICA　Vol. 51　No. 1　p. 123-130　2015/01　Research paper (scientific journal)

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/09　Research paper (international conference proceedings)

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/09　Research paper (scientific journal)

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/09　Research paper (scientific journal)

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/07　Research paper (international conference proceedings)

Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations

Katsuyuki Kimura, Shigemasa Takai

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　Vol. E97A　No. 7　p. 1500-1507　2014/07　Research paper (scientific journal)

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/07　Research paper (scientific journal)

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/05　Research paper (scientific journal)

Similarity control of transition systems by output feedback

Nam Tung Vu, Shigemasa Takai

Vol. J97-A　No. 3　p. 140-149　2014/03　Research paper (scientific journal)

Supervisory Control of Discrete Event Systems

TAKAI Shigemasa

IEICE Fundamentals Review　Vol. 7　No. 4　p. 317-325　2014

Abstraction-based verification for partially observed discrete event systems

Misato Yokotani, Shigemasa Takai

IFAC Proceedings Volumes (IFAC-PapersOnline)　Vol. 9　No. 3　p. 356-361　2014　Research paper (international conference proceedings)

Consensus-based distribution estimation of 1-D diffusion phenomena

Naoki Hayashi, Shigemasa Takai

Proceedings of the American Control Conference　p. 2569-2574　2014　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

平均コンセンサスアルゴリズムによる分散円あてはめ

村西 悠, 林 直樹, 高井重昌

システム制御情報学会論文誌　Vol. 27　No. 1　p. 14-19　2014/01　Research paper (scientific journal)

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　Research paper (international conference proceedings)

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　Research paper (scientific journal)

Abstraction-based verification of observability for discrete event systems

Misato Yokotani, Shigemasa Takai

Proceedings of the SICE Annual Conference 2013　p. 1016-1017　2013/09　Research paper (international conference proceedings)

Reliable 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/09　Research paper (scientific journal)

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　Research paper (international conference proceedings)

Conjunctive decentralized diagnosis of discrete event systems

Takashi Yamamoto, Shigemasa Takai

IFAC Proceedings Volumes (IFAC-PapersOnline)　Vol. 4　No. 1　p. 67-72　2013　Research paper (international conference proceedings)

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/01　Research paper (scientific journal)

Operation optimization of factory power generation plant considering an uncertainty

Shoichi Kitamura, Kazuyuki Mori, Yoshio Izui, Toshiyuki Miyamoto, Shigemasa Takai

IEEJ Transactions on Electronics, Information and Systems　Vol. 133　No. 4　p. 822-830　2013　Research paper (scientific journal)

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　Research paper (scientific journal)

Verification of robust diagnosability for partially observed discrete event systems

Shigemasa Takai

AUTOMATICA　Vol. 48　No. 8　p. 1913-1919　2012/08　Research paper (scientific journal)

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/05　Research paper (scientific journal)

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/05　Research paper (scientific journal)

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/03　Research paper (scientific journal)

Robust Failure Prognosis of Partially Observed Discrete Event Systems

Shigemasa Takai

2012 AMERICAN CONTROL CONFERENCE (ACC)　p. 6077-6082　2012　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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　Research paper (scientific journal)

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/06　Research paper (international conference proceedings)

Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems

Shigemasa Takai, Yuta Watanabe

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　Vol. E94A　No. 3　p. 1041-1044　2011/03　Research paper (scientific journal)

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/01　Research paper (scientific journal)

Simplification of existence conditions of partial observation supervisors for timed discrete event systems

Masashi Nomura, Shigemasa Takai

Vol. J93-A　No. 9　p. 638-641　2010/09　Research paper (scientific journal)

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/08　Research paper (international conference proceedings)

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/08　Research paper (scientific journal)

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/07　Research paper (scientific journal)

非決定出力関数をもつMealyオートマトンで表現される離散事象システムの診断

高井重昌, 潮 俊光

システム制御情報学会論文誌　Vol. 23　No. 6　p. 128-135　2010/06　Research paper (scientific journal)

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/03　Research paper (scientific journal)

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　Research paper (international conference proceedings)

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/01　Research paper (scientific journal)

事象センサの故障を考慮した離散事象システムの診断

河本 大, 高井重昌

電子情報通信学会論文誌分冊A　Vol. J92-A　No. 8　p. 551-558　2009/08　Research paper (scientific journal)

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/07　Research paper (scientific journal)

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/06　Research paper (international conference proceedings)

Verification and Synthesis for Secrecy in Discrete-Event Systems

Shigemasa Takai, Ratnesh Kumar

Proceedings of the 2009 American Control Conference　p. 4741-4746　2009/06　Research paper (international conference proceedings)

非決定出力関数をもつMealyオートマトンで表される離散事象システムのスーパバイザ制御

潮 俊光, 高井重昌

システム制御情報学会論文誌　Vol. 22　No. 4　p. 154-160　2009/04　Research paper (scientific journal)

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　Research paper (international conference proceedings)

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/09　Research paper (scientific journal)

Synthesis of inference-based decentralized control for discrete event systems

Shigemasa Takai, Ratnesh Kumar

IEEE Transactions on Automatic Control　Vol. 53　No. 2　p. 522-534　2008/03　Research paper (scientific journal)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

コンカレント同期合成でモデル化された離散事象システムにおけるスーパバイザの存在条件

北村敦司, 高井重昌, 森 武宏

電子情報通信学会論文誌分冊A　Vol. J90-A　No. 10　p. 742-749　2007/10　Research paper (scientific journal)

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　Research paper (scientific journal)

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　Research paper (international conference proceedings)

Inference-diagnosability: Nonconvergence and other complexity results

Shigemasa Takai, Ratnesh Kumar

PROCEEDINGS OF SICE ANNUAL CONFERENCE, VOLS 1-8　p. 530-+　2007　Research paper (international conference proceedings)

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　Research paper (scientific journal)

最大デッドロックフリー可制御部分述語の計算とその警報器設計への応用

梁瀬裕行, 潮 俊光, 足立正和, 高井重昌

電子情報通信学会論文誌分冊A　Vol. J89-A　No. 5　p. 333-339　2006/05　Research paper (scientific journal)

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/04　Research paper (scientific journal)

Online Supervisory Control of Discrete Event Systems with the Unknown Observable Event Set

Kawamoto Dai, Takai Shigemasa, Mori Takehiro

Proceedings of the Annual Conference of the Institute of Systems, Control and Information Engineers　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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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　Research paper (scientific journal)

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/08　Research paper (scientific journal)

Control-invariance of hybrid systems with forcible events - Brief paper

T Ushio, S Takai

AUTOMATICA　Vol. 41　No. 4　p. 669-675　2005/04　Research paper (scientific journal)

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/04　Research paper (scientific journal)

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/03　Research paper (scientific journal)

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　Research paper (international conference proceedings)

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　Research paper (scientific journal)

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/04　Research paper (scientific journal)

Maximizing robustness of supervisors for partially observed discrete event systems

S Takai

AUTOMATICA　Vol. 40　No. 3　p. 531-535　2004/03　Research paper (scientific journal)

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/03　Research paper (scientific journal)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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　Research paper (scientific journal)

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/09　Research paper (scientific journal)

Effective 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/07　Research paper (scientific journal)

Reliable decentralized supervisory control for marked language specifications

S Takai, T Ushio

ASIAN JOURNAL OF CONTROL　Vol. 5　No. 1　p. 160-167　2003/03　Research paper (scientific journal)

ORルールとANDルールを用いた分散スーパバイザ制御系の生成言語

池内直哉, 大家浩一, 高井重昌

システム制御情報学会論文誌　Vol. 16　No. 3　p. 147-149　2003/03　Research paper (scientific journal)

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　Research paper (international conference proceedings)

スーパバイザ制御における可観測性とノーマル性の関係

高井重昌, 石丸洋平

システム制御情報学会論文誌　Vol. 15　No. 8　p. 447-449　2002/08　Research paper (scientific journal)

強制事象のあるハイブリッドシステムにおける状態フィードバック制御

潮 俊光, 高井重昌

システム制御情報学会論文誌　Vol. 15　No. 3　p. 143-149　2002/03　Research paper (scientific journal)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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/01　Research paper (scientific journal)

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/01　Research paper (scientific journal)

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　Research paper (scientific journal)

A modified normality condition for decentralized supervisory control of discrete event systems

S Takai, T Ushio

PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6　p. 973-974　2001　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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　Research paper (scientific journal)

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　Research paper (scientific journal)

On-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　Research paper (scientific journal)

Reliable 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　Research paper (scientific journal)

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/05　Research paper (scientific journal)

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/04　Research paper (scientific journal)

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　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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　Research paper (scientific journal)

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/07　Research paper (scientific journal)

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　Research paper (scientific journal)

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　Research paper (scientific journal)

On the language generated under fully decentralized supervision

S Takai

IEEE TRANSACTIONS ON AUTOMATIC CONTROL　Vol. 43　No. 9　p. 1253-1256　1998/09　Research paper (scientific journal)

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/07　Research paper (scientific journal)

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/07　Research paper (scientific journal)

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/05　Research paper (scientific journal)

Synchronous Compositionによる部分観測システムのスーパバイザ制御

高井重昌

システム制御情報学会論文誌　Vol. 11　No. 5　p. 277-279　1998/05　Research paper (scientific journal)

A characterization of realizable behavior in supervisory control of timed event graphs

S Takai

AUTOMATICA　Vol. 33　No. 11　p. 2077-2080　1997/11　Research paper (scientific journal)

Estimate based limited lookahead supervisory control for closed language specifications

S Takai

AUTOMATICA　Vol. 33　No. 9　p. 1739-1743　1997/09　Research paper (scientific journal)

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/07　Research paper (scientific journal)

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/05　Research paper (scientific journal)

Stabilization 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/03　Research paper (scientific journal)

部分観測のもとでのペトリネットのモジュラ制御

高井重昌, 楠本 聡, 児玉慎三

システム制御情報学会論文誌　Vol. 9　No. 12　p. 598-605　1996/12　Research paper (scientific journal)

事象と状態の部分観測に基づく分散スーパバイザ制御

高井重昌, 潮 俊光, 児玉慎三

システム制御情報学会論文誌　Vol. 9　No. 7　p. 305-312　1996/07　Research paper (scientific journal)

束理論による離散事象システムの状態フィードバック制御

高井重昌

計測自動制御学会論文集　Vol. 32　No. 4　p. 533-538　1996/04　Research paper (scientific journal)

事象と状態の部分観測によるスーパバイザ制御-不可観測事象をもつシステムへの拡張

高井重昌, 大室真一, 児玉慎三

システム制御情報学会論文誌　Vol. 9　No. 4　p. 197-199　1996/04　Research paper (scientific journal)

離散事象システムにおけるコマンド型スーパバイザ制御

高井重昌, 潮 俊光, 児玉慎三

計測自動制御学会論文集　Vol. 32　No. 3　p. 429-431　1996/03　Research paper (scientific journal)

外部入力プレース付き時間ペトリネットにおける最大許容フィードバック

高江昭輝, 高井重昌, 潮 俊光, 熊谷貞俊, 児玉慎三

電子情報通信学会論文誌分冊A　Vol. J78-A　No. 12　p. 1593-1600　1995/12　Research paper (scientific journal)

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　Research paper (scientific journal)

離散事象システムにおけるΓ-可制御性と状態フィードバック

高井重昌, 潮 俊光, 児玉慎三

計測自動制御学会論文集　Vol. 31　No. 9　p. 1488-1494　1995/09　Research paper (scientific journal)

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/07　Research paper (scientific journal)

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/03　Research paper (scientific journal)

Decentralized supervisory control using partial event and state observations

S Takai, T Ushio, S Kodama

PROCEEDINGS OF THE 34TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4　p. 723-724　1995　Research paper (international conference proceedings)

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　Research paper (international conference proceedings)

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/01　Research paper (scientific journal)

外部入力プレース付きペトリネットにおける部分観測と許容フィードバック

高井重昌, 潮 俊光, 児玉慎三

日本応用数理学会論文誌　Vol. 4　No. 4　p. 275-285　1994/12　Research paper (scientific journal)

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　Research paper (scientific journal)

離散事象システムにおける部分観測のものでの状態フィードバックの存在条件

高井重昌, 潮 俊光, 児玉慎三

システム制御情報学会論文誌　Vol. 7　No. 1　p. 9-17　1994/01　Research paper (scientific journal)

大規模離散事象システムにおける分散状態フィードバックの構成法

高井重昌, 潮 俊光, 児玉慎三

電子情報通信学会論文誌分冊A　Vol. J76-A　No. 8　p. 1150-1157　1993/08　Research paper (scientific journal)

大規模離散事象システムの分散状態フィードバック制御

高井重昌, 潮 俊光, 児玉慎三

システム制御情報学会論文誌　Vol. 6　No. 4　p. 196-203　1993/04　Research paper (scientific journal)

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　Research paper (international conference proceedings)

ブロッキングが発生しない離散事象システムの状態フィードバック制御

高井重昌, 潮 俊光, 児玉慎三

電子情報通信学会論文誌分冊A　Vol. J76　No. 1　p. 68-70　1993/01　Research paper (scientific journal)

外部入力プレース付きペトリネットにおける同時進行性と状態フィードバック

高井重昌, 潮 俊光, 児玉慎三

システム制御情報学会論文誌　Vol. 5　No. 8　p. 317-324　1992/08　Research paper (scientific journal)

外部入力プレース付きペトリネットにおける許容フィードバックの性質

高井重昌, 潮 俊光, 児玉慎三

電子情報通信学会論文誌分冊A　Vol. J75-A　No. 8　p. 1405-1411　1992/08　Research paper (scientific journal)

分散状態フィードバックによる離散事象システムの安定化

高井重昌, 潮 俊光

電子情報通信学会論文誌分冊A　Vol. J75-A　No. 3　p. 543-551　1992/03　Research paper (scientific journal)

任意の制御パターンをもつ離散事象システムの安定化

高井重昌, 潮 俊光

電子情報通信学会論文誌分冊A　Vol. J75-A　No. 3　p. 534-542　1992/03　Research paper (scientific journal)