Shigemasa Takai

156 papers B 2C 15Journal 104Unranked 35
YearRankTypeTitle / Venue / Authors
2026 J jnl
Consensus-based primal-dual method with event-triggered communication.
Int. J. Control
Wataru Hashimoto, Naoki Hayashi, Naoyuki Hara, Natsuki Kawaguchi, Takao Sato, Shigemasa Takai
2026 J jnl
Intersection-based architectures for decentralized diagnosis of discrete event systems.
Autom.
Shigemasa Takai, Takashi Yamamoto
2025 J jnl
Clustering-based Recurrent Neural Network Controller synthesis under Signal Temporal Logic Specifications.
CoRR
Kazunobu Serizawa, Kazumune Hashimoto, Wataru Hashimoto, Masako Kishida, Shigemasa Takai
2025 — conf
Predicting Pedestrian Confidence Regions by Distributional Robust Optimization: Incorporating Parameter and Distributional Uncertainty in the Social Force Model.
CCTA
Taiwei Li, Norika Arai, Xun Shen, Kazumune Hashimoto, Kai Cai, Xingguo Zhang, Ye Wang, Pongsathorn Raksincharoensak, Shigemasa Takai
2025 J jnl
Reference-Free Iterative Learning Model Predictive Control with Neural Certificates.
CoRR
Wataru Hashimoto, Kazumune Hashimoto, Masako Kishida, Shigemasa Takai
2025 — conf
Robust Codiagnosability for Decentralized Diagnosis of Uncertain Discrete Event Systems.
ECC
Shigemasa Takai
2024 J jnl
A General Architecture for Intersection-Based Decentralized Supervisory Control of Discrete Event Systems.
IEEE Trans. Autom. Control.
Akihito Hayano, Shigemasa Takai
2024 J jnl
A lifting approach to learning-based self-triggered control with Gaussian processes.
Adv. Robotics
Zhijun Wang, Kazumune Hashimoto, Wataru Hashimoto, Shigemasa Takai
2024 J jnl
Data-efficient safe learning and control with on-board sensors: Bayesian meta-learning and barrier function based approach.
Adv. Robotics
Wataru Hashimoto, Kazumune Hashimoto, Akifumi Wachi, Xun Shen, Masako Kishida, Shigemasa Takai
2024 C conf
Deterministic Decentralized Supervisors for Bisimilarity Control of Nondeterministic Discrete Event Systems.
ACC
Akari Kimura, Shigemasa Takai
2024 J jnl
Distributed Event-Triggered Stochastic Gradient-Tracking for Nonconvex Optimization.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Daichi Ishikawa, Naoki Hayashi, Shigemasa Takai
2024 J jnl
Distributed Online Adaptive Gradient Descent With Event-Triggered Communication.
IEEE Trans. Control. Netw. Syst.
Koki Okamoto, Naoki Hayashi, Shigemasa Takai
2024 J jnl
Distributed online primal-dual subgradient method on unbalanced directed networks.
Adv. Robotics
Keishin Tada, Naoki Hayashi, Shigemasa Takai
2024 J jnl
Distributed primal-dual method on unbalanced digraphs with row stochasticity.
Int. J. Control
Hiroaki Sakuma, Naoki Hayashi, Shigemasa Takai
2024 J jnl
Nonexistence of Upper Bound to Inferencing Level in Decentralized Discrete Event Control.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar
2024 J jnl
Reliable decentralized failure diagnosis of discrete event systems using single-level inference.
Discret. Event Dyn. Syst.
Takumi Hamada, Shigemasa Takai
2024 C conf
Safe Reinforcement Learning Using Model Predictive Control with Probabilistic Control Barrier Function.
ACC
Xun Shen, Akifumi Wachi, Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai
2023 J jnl
Bayesian Meta-Learning on Control Barrier Functions with Data from On-Board Sensors.
CoRR
Wataru Hashimoto, Kazumune Hashimoto, Akifumi Wachi, Xun Shen, Masako Kishida, Shigemasa Takai
2023 J jnl
Cooperative tracking in camera sensor networks with sliding mode control.
Adv. Robotics
Yoshihiro Kameoka, Naoki Hayashi, Shigemasa Takai
2023 J jnl
Distributed Online Optimization With Dynamic Coupling Constraints Under Time-Varying Communication Delays.
IEEE Access
Keito Inoue, Naoki Hayashi, Shigemasa Takai
2023 J jnl
Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems.
IEEE Trans. Autom. Control.
Jinglun Li, Shigemasa Takai
2023 J jnl
Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications.
Autom.
Shigemasa Takai
2023 J jnl
Quantized Gradient Descent Algorithm for Distributed Nonconvex Optimization.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Junya Yoshida, Naoki Hayashi, Shigemasa Takai
2023 J jnl
Synthesis of Event-triggered Controllers for SIRS Epidemic Models.
CoRR
Lichen Ding, Kazumune Hashimoto, Shigemasa Takai
2022 — conf
A General Intersection-Based Architecture for Decentralized Supervisory Control of Discrete Event Systems.
CDC
Akihito Hayano, Shigemasa Takai
2022 J jnl
A Lifting Approach to Learning-Based Self-Triggered Control with Gaussian Processes.
CoRR
Zhijun Wang, Kazumune Hashimoto, Wataru Hashimoto, Shigemasa Takai
2022 J jnl
Cooperative Target Tracking by Multiagent Camera Sensor Networks via Gaussian Process.
IEEE Access
Takashi Adachi, Naoki Hayashi, Shigemasa Takai
2022 J jnl
Decentralized diagnosis of discrete event systems subject to permanent sensor failures.
Discret. Event Dyn. Syst.
Akihito Wada, Shigemasa Takai
2022 J jnl
Deterministic supervisory control with flexible upper-bounds on observation delay and control delay.
Autom.
Weilin Wang, Yanwei Zang, Shigemasa Takai, Lachlan L. H. Andrew, Chaohui Gong
2022 — conf
Distributed Inequality Constrained Online Optimization for Unbalanced Digraphs using Row Stochastic Property.
CDC
Keishin Tada, Naoki Hayashi, Shigemasa Takai
2022 — conf
Learning-Based Iterative Optimal Control for Unknown Systems Using Gaussian Process Regression.
ECC
Wataru Hashimoto, Kazumune Hashimoto, Yuga Onoue, Shigemasa Takai
2022 J jnl
Maximally Permissive Modular Similarity Control of Composite Nondeterministic Discrete Event Systems.
IEEE Control. Syst. Lett.
Jinglun Li, Shigemasa Takai
2022 J jnl
Modular Similarity Control of Nondeterministic Discrete Event Systems With Modular Specifications.
IEEE Control. Syst. Lett.
Jinglun Li, Shigemasa Takai
2022 J jnl
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks.
CoRR
Wataru Hashimoto, Kazumune Hashimoto, Masako Kishida, Shigemasa Takai
2022 J jnl
Reliable Decentralized Supervisory Control of Discrete Event Systems with Single-Level Inference.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shigemasa Takai, Sho Yoshida
2022 C conf
Reliable Diagnosability for Decentralized Diagnosis of Discrete Event Systems with Single-Level Inference.
ACC
Takumi Hamada, Shigemasa Takai
2022 J jnl
STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks.
IEEE Robotics Autom. Lett.
Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai
2022 J jnl
Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems.
Autom.
Jinglun Li, Shigemasa Takai
2021 J jnl
A general framework for diagnosis of discrete event systems subject to sensor failures.
Autom.
Shigemasa Takai
2021 J jnl
Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kohei Shimatani, Shigemasa Takai
2021 J jnl
Distributed Primal-Dual Perturbation Algorithm Over Unbalanced Directed Networks.
IEEE Access
Hiroaki Sakuma, Naoki Hayashi, Shigemasa Takai
2021 J jnl
Dynamic Regret Analysis for Event-Triggered Distributed Online Optimization Algorithm.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Makoto Yamashita, Naoki Hayashi, Shigemasa Takai
2021 J jnl
Linear Convergence of Consensus-Based Quantized Optimization for Smooth and Strongly Convex Cost Functions.
IEEE Trans. Autom. Control.
Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai
2021 J jnl
Logarithmic Regret for Distributed Online Subgradient Method over Unbalanced Directed Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Makoto Yamashita, Naoki Hayashi, Takeshi Hatanaka, Shigemasa Takai
2021 J jnl
STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks.
CoRR
Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai
2021 J jnl
Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications.
IEEE Trans. Autom. Control.
Shigemasa Takai
2020 J jnl
Consensus-Based Quantized Algorithm for Convex Optimization with Smooth Cost Functions.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Naoki Hayashi, Yuichi Kajiyama, Shigemasa Takai
2020 J jnl
Decentralized Supervisory Control of Timed Discrete Event Systems with Conditional Decisions for Enforcing Forcible Events.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shimpei Miura, Shigemasa Takai
2020 J jnl
Distributed Subgradient Method for Constrained Convex Optimization with Quantized and Event-Triggered Communication.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Naoki Hayashi, Kazuyuki Ishikawa, Shigemasa Takai
2020 — conf
Maximally Permissive Nonblocking Similarity Control of Nondeterministic Discrete Event Systems.
CDC
Jinglun Li, Shigemasa Takai
2019 J jnl
Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications.
Autom.
Shigemasa Takai
2019 J jnl
Comments on "Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification".
IEEE Trans Autom. Sci. Eng.
Ratnesh Kumar, Shigemasa Takai
2019 J jnl
Distributed Constrained Convex Optimization with Accumulated Subgradient Information over Undirected Switching Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai
2019 J jnl
Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Jinglun Li, Shigemasa Takai
2019 — conf
Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Partial Observation.
CDC
Jinglun Li, Shigemasa Takai
2019 — conf
Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Subject to Permanent Sensor Failures.
ECC
Akihito Wada, Shigemasa Takai
2018 J jnl
Consensus-Based Distributed Particle Swarm Optimization with Event-Triggered Communication.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kazuyuki Ishikawa, Naoki Hayashi, Shigemasa Takai
2018 — conf
Decentralized Control of Timed Discrete Event Systems with Conditional Decisions for Enforcement of Forcible Events.
CDC
Shimpei Miura, Shigemasa Takai
2018 J jnl
Distributed Subgradient Method With Edge-Based Event-Triggered Communication.
IEEE Trans. Autom. Control.
Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai
2018 — conf
Event-Triggered Consensus-Based Optimization Algorithm for Smooth and Strongly Convex Cost Functions.
CDC
Naoki Hayashi, Tomohiro Sugiura, Yuichi Kajiyama, Shigemasa Takai
2018 J jnl
Implementation of inference-based diagnosis: computing delay bound and ambiguity levels.
Discret. Event Dyn. Syst.
Shigemasa Takai, Ratnesh Kumar
2018 — conf
Maximally Permissive Supervisory Control of Nondeterministic Discrete Event Systems with Nondeterministic Specifications.
CDC
Shigemasa Takai
2018 J jnl
Nonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hiroki Yamada, Shigemasa Takai
2018 J jnl
Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems.
IEEE Trans. Autom. Control.
Naoki Kushi, Shigemasa Takai
2018 B conf
Uniform Ultimate Boundedness of Event-Triggered Control for Time-Varying Nonlinear Systems.
SMC
Kenta Suzuki, Naoki Hayashi, Shigemasa Takai
2017 J jnl
A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar
2017 J jnl
Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions.
Discret. Event Dyn. Syst.
Shoichi Yokota, Takashi Yamamoto, Shigemasa Takai
2017 J jnl
Decentralized Similarity Control of Composite Nondeterministic Discrete Event Systems with Local Specifications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Masanori Hoshino, Shigemasa Takai
2017 — conf
Distributed multi-step subgradient algorithm for constrained convex optimization with undirected time-varying communications.
CDC
Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai
2016 — conf
Delay bound of inference-based decentralized diagnosis in discrete event systems.
WODES
Shigemasa Takai, Ratnesh Kumar
2016 J jnl
Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions.
IEEE Trans. Autom. Control.
Toshimitsu Ushio, Shigemasa Takai
2016 — conf
Reliable conditional-coobservability for decentralized supervisory control of discrete event systems with conditional decisions.
CDC
Sho Yoshida, Shigemasa Takai
2016 J jnl
Synthesis of Output Feedback Controllers for Bisimilarity Control of Transition Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Nam Tung Vu, Shigemasa Takai
2015 — conf
A generalized inference-based diagnosis framework for discrete event systems capturing both disjunctive and conjunctive decision-making.
CDC
Shigemasa Takai, Ratnesh Kumar
2015 — conf
Cooperative target tracking by 2-level hierarchical PTZ camera sensor networks.
CDC
Kohei Segawa, Kenta Hamada, Naoki Hayashi, Shigemasa Takai
2015 J jnl
Diagnosability of discrete event systems subject to permanent sensor failures.
Int. J. Control
Naoki Kanagawa, Shigemasa Takai
2015 — conf
Distributed event-triggered control for Voronoi coverage.
EBCCSP
Naoki Hayashi, Yu Muranishi, Shigemasa Takai
2015 J jnl
GTS-based communication task scheduling for quantized output consensus over IEEE 802.15.4 wireless networks.
Autom.
Naoki Hayashi, Shigemasa Takai
2015 J jnl
Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takashi Yamamoto, Shigemasa Takai
2015 J jnl
Robust prognosability for a set of partially observed discrete event systems.
Autom.
Shigemasa Takai
2015 C conf
Supervisor synthesis for similarity control of nondeterministic discrete event systems.
ETFA
Naoki Kushi, Shigemasa Takai
2015 C conf
Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems.
ETFA
Shigemasa Takai, Ratnesh Kumar
2014 — conf
Abstraction-Based Verification for Partially Observed Discrete Event Systems.
WODES
Misato Yokotani, Shigemasa Takai
2014 J jnl
Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations.
IEICE Trans. Inf. Syst.
Katsuyuki Kimura, Shigemasa Takai
2014 J jnl
Comments on "Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" versus "Decentralized Failure Diagnosis of Discrete Event Systems": Complexity Clarification.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Shigemasa Takai
2014 — conf
Computation of the delay bound in decentralized diagnosis of discrete event systems with conditional decisions.
CDC
Shoichi Yokota, Shigemasa Takai
2014 C conf
Consensus-based distribution estimation of 1-D diffusion phenomena.
ACC
Naoki Hayashi, Shigemasa Takai
2014 — conf
Distributed estimation of 1-D convection-diffusion phenomena by discrete-time event-triggered consensus dynamics.
CDC
Yu Muranishi, Kenta Hamada, Naoki Hayashi, Shigemasa Takai
2014 J jnl
Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Katsuyuki Kimura, Shigemasa Takai
2014 J jnl
Reliable Decentralized Diagnosis of Discrete Event Systems Using the Conjunctive Architecture.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takashi Yamamoto, Shigemasa Takai
2014 C conf
Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures.
ETFA
Naoki Kanagawa, Shigemasa Takai
2013 — conf
A GTS scheduling for consensus problems over IEEE 802.15.4 wireless networks.
ECC
Naoki Hayashi, Shigemasa Takai
2013 J jnl
A Synthesis Method for Decentralized Supervisors for Timed Discrete Event Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Masashi Nomura, Shigemasa Takai
2013 J jnl
Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Masashi Nomura, Shigemasa Takai
2012 — conf
Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations.
WODES
Katsuyuki Kimura, Masashi Nomura, Shigemasa Takai
2012 J jnl
Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Masashi Nomura, Shigemasa Takai
2012 J jnl
Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar
2012 C conf
Robust failure prognosis of partially observed discrete event systems.
ACC
Shigemasa Takai
2012 J jnl
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions.
IEEE Trans. Autom. Control.
Shigemasa Takai, Toshimitsu Ushio
2012 J jnl
Verification of robust diagnosability for partially observed discrete event systems.
Autom.
Shigemasa Takai
2011 J jnl
Decentralized Supervisory Control of Timed Discrete Event Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Masashi Nomura, Shigemasa Takai
2011 J jnl
Inference-Based Decentralized Prognosis in Discrete Event Systems.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar
2011 J jnl
Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shigemasa Takai, Yuta Watanabe
2010 J jnl
Decentralized Control of Discrete-Event Systems With Multiple Local Specifications.
IEEE Trans Autom. Sci. Eng.
Shengbing Jiang, Ratnesh Kumar, Shigemasa Takai, Wenbin Qiu
2010 J jnl
Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management.
IEEE Trans. Syst. Man Cybern. Part A
Shigemasa Takai, Ratnesh Kumar
2010 J jnl
Decentralized Prognosis of Failures in Discrete Event Systems.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Shigemasa Takai
2010 C conf
Decentralized diagnosis of discrete event systems modeled by Mealy automata with nondeterministic output functions.
ACC
Shigemasa Takai, Toshimitsu Ushio
2010 — conf
Robust failure diagnosis of partially observed discrete event systems.
WODES
Shigemasa Takai
2010 J jnl
Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar
2009 — conf
Distributed prognosis of discrete event systems under bounded-delay communications.
CDC
Shigemasa Takai, Ratnesh Kumar
2009 J jnl
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng.
Ratnesh Kumar, Shigemasa Takai
2009 C conf
Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions.
ACC
Toshimitsu Ushio, Shigemasa Takai
2009 C conf
Verification and synthesis for secrecy in discrete-event systems.
ACC
Shigemasa Takai, Ratnesh Kumar
2008 — conf
Inference-based decentralized prognosis in discrete event systems.
CDC
Shigemasa Takai, Ratnesh Kumar
2008 J jnl
Synthesis of Inference-Based Decentralized Control for Discrete Event Systems.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar
2007 J jnl
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems.
IEEE Trans. Autom. Control.
Ratnesh Kumar, Shigemasa Takai
2007 C conf
Synthesis of Over-Approximating Inference-based Decentralized Supervisors for Discrete Event Systems.
ACC
Shigemasa Takai, Ratnesh Kumar
2006 J jnl
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation.
Discret. Event Dyn. Syst.
Shigemasa Takai, Toshimitsu Ushio
2006 J jnl
Computation of Controllable Sublanguages for Unbounded Petri Nets Using Their Approximation Models.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shigemasa Takai, Yongming Bai
2006 C conf
Inference-based ambiguity management in decentralized decision-making: decentralized diagnosis of discrete event systems.
ACC
Ratnesh Kumar, Shigemasa Takai
2006 — conf
Synthesis of Inference-based Decentralized Control for Discrete Event Systems.
CDC
Shigemasa Takai, Ratnesh Kumar
2005 J jnl
Characterization of co-observable languages and formulas for their super/sublanguages.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio
2005 J jnl
Control-invariance of hybrid systems with forcible events.
Autom.
Toshimitsu Ushio, Shigemasa Takai
2005 J jnl
Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shigemasa Takai, Toshimitsu Ushio
2005 — conf
Inference-based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems.
CDC/ECC
Ratnesh Kumar, Shigemasa Takai
2005 J jnl
Maximally permissive mutually and globally nonblocking supervision with application to switching control.
Autom.
Ratnesh Kumar, Shigemasa Takai, Martin Fabian, Toshimitsu Ushio
2005 J jnl
Special Section on Concurrent/Hybrid Systems: Theory and Applications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shigemasa Takai
2005 J jnl
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation.
Discret. Event Dyn. Syst.
Shigemasa Takai, Toshimitsu Ushio
2004 J jnl
Maximizing robustness of supervisors for partially observed discrete event systems.
Autom.
Shigemasa Takai
2003 J jnl
Effective computation of an L
Syst. Control. Lett.
Shigemasa Takai, Toshimitsu Ushio
2003 J jnl
Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shigemasa Takai, Toshimitsu Ushio
2003 C conf
Reliable decentralized supervisory control of discrete event systems with the conjunctive and disjunctive fusion rules.
ACC
Shigemasa Takai, Toshimitsu Ushio
2003 — conf
Supervisor synthesis for a class of concurrent discrete event systems.
CDC
Shigemasa Takai, Toshiniitsu Ushio
2002 J jnl
A modified normality condition for decentralized supervisory control of discrete event systems.
Autom.
Shigemasa Takai, Toshimitsu Ushio
2002 — conf
Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems.
CDC
Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio
2002 — conf
Improving closed-loop stability of second-order LTI systems by hybrid static output feedback.
CDC
Guisheng Zhai, Shigemasa Takai, Anthony N. Michel, Xuping Xu
2002 J jnl
Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications.
IEEE Trans. Autom. Control.
Shigemasa Takai
2001 C conf
A modified normality condition for decentralized supervisory control of discrete event systems.
ACC
Shigemasa Takai, Toshimitsu Ushio
2001 — conf
Controller failure time analysis for H
CDC
Guisheng Zhai, Xinkai Chen, Shigemasa Takai, Kazunori Yasuda
2001 — conf
Stability analysis of linear time-invariant systems with controller failures.
ECC
Guisheng Zhai, Shigemasa Takai, Kazunori Yasuda
2001 — conf
Strong co-observability conditions for decentralized supervisory control of discrete event systems.
CDC
Shigemasa Takai, Toshimitsu Ushio
2001 — conf
Weak normality for supervisory control of discrete event systems under partial observation.
ECC
Shigemasa Takai, Toshimitsu Ushio
2000 — conf
On-line decentralized supervisory control of discrete event systems.
CDC
Shigemasa Takai, Toshimitsu Ushio
2000 B conf
Reliable decentralized supervisory control of discrete event systems with marked language specifications.
SMC
Shigemasa Takai, Toshimitsu Ushio
2000 J jnl
Reliable decentralized supervisory control of discrete event systems.
IEEE Trans. Syst. Man Cybern. Part B
Shigemasa Takai, Toshimitsu Ushio
2000 J jnl
Supervisory control of partially observed discrete event systems with arbitrary control patterns.
Int. J. Syst. Sci.
Shigemasa Takai
1999 J jnl
Minimizing the set of local supervisors in fully decentralized supervision.
IEEE Trans. Autom. Control.
Shigemasa Takai
1999 J jnl
Supervisory control of timed event graphs with partial specifications.
Int. J. Syst. Sci.
Shigemasa Takai, Yoshinori Ito
1998 J jnl
Formulas for the extremal controllable sequences in timed-event graphs.
IEEE Trans. Autom. Control.
Shigemasa Takai, Shinzo Kodama
1998 J jnl
On the language generated under fully decentralized supervision.
IEEE Trans. Autom. Control.
Shigemasa Takai
1998 J jnl
Optimal state-space partition for control of discrete-event systems with static specifications.
IEEE Trans. Autom. Control.
Shigemasa Takai
1997 J jnl
A characterization of realizable behavior in supervisory control of timed event graphs.
Autom.
Shigemasa Takai
1997 J jnl
Estimate based limited lookahead supervisory control for closed language specifications.
Autom.
Shigemasa Takai
1995 J jnl
Stabilization and blocking in state feedback control of discrete event systems.
Discret. Event Dyn. Syst.
Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama
1995 J jnl
Static-state feedback control of discrete-event systems under partial observation.
IEEE Trans. Autom. Control.
Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama
1995 J jnl
The infimal controllable and N-observable superpredicate of a given predicate.
IEEE Trans. Autom. Control.
Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama