Shigemasa Takai

According to our database, Shigemasa Takai authored at least 132 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

Zhijun Wang, Kazumune Hashimoto, Wataru Hashimoto, Shigemasa Takai

Adv. Robotics, March, 2024

A General Architecture for Intersection-Based Decentralized Supervisory Control of Discrete Event Systems.

Akihito Hayano, Shigemasa Takai

IEEE Trans. Autom. Control., January, 2024

2023

Quantized Gradient Descent Algorithm for Distributed Nonconvex Optimization.

Junya Yoshida, Naoki Hayashi, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., October, 2023

Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems.

Jinglun Li, Shigemasa Takai

IEEE Trans. Autom. Control., June, 2023

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

Shigemasa Takai

Autom., June, 2023

Cooperative tracking in camera sensor networks with sliding mode control.

Yoshihiro Kameoka, Naoki Hayashi, Shigemasa Takai

Adv. Robotics, January, 2023

Synthesis of Event-triggered Controllers for SIRS Epidemic Models.

Lichen Ding, Kazumune Hashimoto, Shigemasa Takai

CoRR, 2023

Bayesian Meta-Learning on Control Barrier Functions with Data from On-Board Sensors.

Wataru Hashimoto, Kazumune Hashimoto, Akifumi Wachi, Xun Shen, Masako Kishida, Shigemasa Takai

CoRR, 2023

Distributed Online Optimization With Dynamic Coupling Constraints Under Time-Varying Communication Delays.

Keito Inoue, Naoki Hayashi, Shigemasa Takai

IEEE Access, 2023

2022

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

Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai

IEEE Robotics Autom. Lett., 2022

Reliable Decentralized Supervisory Control of Discrete Event Systems with Single-Level Inference.

Shigemasa Takai, Sho Yoshida

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022

Decentralized diagnosis of discrete event systems subject to permanent sensor failures.

Akihito Wada, Shigemasa Takai

Discret. Event Dyn. Syst., 2022

Maximally Permissive Modular Similarity Control of Composite Nondeterministic Discrete Event Systems.

Jinglun Li, Shigemasa Takai

IEEE Control. Syst. Lett., 2022

Modular Similarity Control of Nondeterministic Discrete Event Systems With Modular Specifications.

Jinglun Li, Shigemasa Takai

IEEE Control. Syst. Lett., 2022

Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks.

Wataru Hashimoto, Kazumune Hashimoto, Masako Kishida, Shigemasa Takai

CoRR, 2022

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

Autom., 2022

Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems.

Jinglun Li, Shigemasa Takai

Autom., 2022

Cooperative Target Tracking by Multiagent Camera Sensor Networks via Gaussian Process.

Takashi Adachi, Naoki Hayashi, Shigemasa Takai

IEEE Access, 2022

Learning-Based Iterative Optimal Control for Unknown Systems Using Gaussian Process Regression.

Wataru Hashimoto, Kazumune Hashimoto, Yuga Onoue, Shigemasa Takai

Proceedings of the European Control Conference, 2022

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, 2022

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, 2022

Reliable Diagnosability for Decentralized Diagnosis of Discrete Event Systems with Single-Level Inference.

Takumi Hamada, Shigemasa Takai

Proceedings of the American Control Conference, 2022

2021

Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications.

Shigemasa Takai

IEEE Trans. Autom. Control., 2021

Linear Convergence of Consensus-Based Quantized Optimization for Smooth and Strongly Convex Cost Functions.

Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai

IEEE Trans. Autom. Control., 2021

Dynamic Regret Analysis for Event-Triggered Distributed Online Optimization Algorithm.

Makoto Yamashita, Naoki Hayashi, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021

Logarithmic Regret for Distributed Online Subgradient Method over Unbalanced Directed Networks.

Makoto Yamashita, Naoki Hayashi, Takeshi Hatanaka, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021

Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications.

Kohei Shimatani, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021

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

Shigemasa Takai

Autom., 2021

Distributed Primal-Dual Perturbation Algorithm Over Unbalanced Directed Networks.

Hiroaki Sakuma, Naoki Hayashi, Shigemasa Takai

IEEE Access, 2021

2020

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

Shimpei Miura, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

Consensus-Based Quantized Algorithm for Convex Optimization with Smooth Cost Functions.

Naoki Hayashi, Yuichi Kajiyama, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

Distributed Subgradient Method for Constrained Convex Optimization with Quantized and Event-Triggered Communication.

Naoki Hayashi, Kazuyuki Ishikawa, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020

Maximally Permissive Nonblocking Similarity Control of Nondeterministic Discrete Event Systems.

Jinglun Li, Shigemasa Takai

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Comments on "Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification".

Ratnesh Kumar, Shigemasa Takai

IEEE Trans Autom. Sci. Eng., 2019

Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations.

Jinglun Li, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019

Distributed Constrained Convex Optimization with Accumulated Subgradient Information over Undirected Switching Networks.

Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019

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

Shigemasa Takai

Autom., 2019

Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Subject to Permanent Sensor Failures.

Akihito Wada, Shigemasa Takai

Proceedings of the 17th European Control Conference, 2019

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, 2019

2018

Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems.

Naoki Kushi, Shigemasa Takai

IEEE Trans. Autom. Control., 2018

Distributed Subgradient Method With Edge-Based Event-Triggered Communication.

Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai

IEEE Trans. Autom. Control., 2018

Nonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations.

Hiroki Yamada, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018

Consensus-Based Distributed Particle Swarm Optimization with Event-Triggered Communication.

Kazuyuki Ishikawa, Naoki Hayashi, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018

Implementation of inference-based diagnosis: computing delay bound and ambiguity levels.

Shigemasa Takai, Ratnesh Kumar

Discret. Event Dyn. Syst., 2018

Uniform Ultimate Boundedness of Event-Triggered Control for Time-Varying Nonlinear Systems.

Kenta Suzuki, Naoki Hayashi, Shigemasa Takai

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Maximally Permissive Supervisory Control of Nondeterministic Discrete Event Systems with Nondeterministic Specifications.

Shigemasa Takai

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

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, 2018

Event-Triggered Consensus-Based Optimization Algorithm for Smooth and Strongly Convex Cost Functions.

Naoki Hayashi, Tomohiro Sugiura, Yuichi Kajiyama, Shigemasa Takai

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making.

Shigemasa Takai, Ratnesh Kumar

IEEE Trans. Autom. Control., 2017

Decentralized Similarity Control of Composite Nondeterministic Discrete Event Systems with Local Specifications.

Masanori Hoshino, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017

Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions.

Shoichi Yokota, Takashi Yamamoto, Shigemasa Takai

Discret. Event Dyn. Syst., 2017

Distributed multi-step subgradient algorithm for constrained convex optimization with undirected time-varying communications.

Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016

Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions.

Toshimitsu Ushio, Shigemasa Takai

IEEE Trans. Autom. Control., 2016

Synthesis of Output Feedback Controllers for Bisimilarity Control of Transition Systems.

Nam Tung Vu, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Delay bound of inference-based decentralized diagnosis in discrete event systems.

Shigemasa Takai, Ratnesh Kumar

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Reliable conditional-coobservability for decentralized supervisory control of discrete event systems with conditional decisions.

Sho Yoshida, Shigemasa Takai

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Diagnosability of discrete event systems subject to permanent sensor failures.

Naoki Kanagawa, Shigemasa Takai

Int. J. Control, 2015

Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems.

Takashi Yamamoto, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015

Robust prognosability for a set of partially observed discrete event systems.

Shigemasa Takai

Autom., 2015

GTS-based communication task scheduling for quantized output consensus over IEEE 802.15.4 wireless networks.

Naoki Hayashi, Shigemasa Takai

Autom., 2015

Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems.

Shigemasa Takai, Ratnesh Kumar

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Supervisor synthesis for similarity control of nondeterministic discrete event systems.

Naoki Kushi, Shigemasa Takai

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Distributed event-triggered control for Voronoi coverage.

Naoki Hayashi, Yu Muranishi, Shigemasa Takai

Proceedings of the International Conference on Event-based Control, 2015

A generalized inference-based diagnosis framework for discrete event systems capturing both disjunctive and conjunctive decision-making.

Shigemasa Takai, Ratnesh Kumar

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Cooperative target tracking by 2-level hierarchical PTZ camera sensor networks.

Kohei Segawa, Kenta Hamada, Naoki Hayashi, Shigemasa Takai

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Comments on "Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems" versus "Decentralized Failure Diagnosis of Discrete Event Systems": Complexity Clarification.

Ratnesh Kumar, Shigemasa Takai

IEEE Trans. Autom. Control., 2014

Reliable Decentralized Diagnosis of Discrete Event Systems Using the Conjunctive Architecture.

Takashi Yamamoto, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

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

Katsuyuki Kimura, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations.

Katsuyuki Kimura, Shigemasa Takai

IEICE Trans. Inf. Syst., 2014

Abstraction-Based Verification for Partially Observed Discrete Event Systems.

Misato Yokotani, Shigemasa Takai

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures.

Naoki Kanagawa, Shigemasa Takai

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Computation of the delay bound in decentralized diagnosis of discrete event systems with conditional decisions.

Shoichi Yokota, Shigemasa Takai

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Distributed estimation of 1-D convection-diffusion phenomena by discrete-time event-triggered consensus dynamics.

Yu Muranishi, Kenta Hamada, Naoki Hayashi, Shigemasa Takai

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Consensus-based distribution estimation of 1-D diffusion phenomena.

Naoki Hayashi, Shigemasa Takai

Proceedings of the American Control Conference, 2014

2013

A Synthesis Method for Decentralized Supervisors for Timed Discrete Event Systems.

Masashi Nomura, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems.

Masashi Nomura, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

A GTS scheduling for consensus problems over IEEE 802.15.4 wireless networks.

Naoki Hayashi, Shigemasa Takai

Proceedings of the 12th European Control Conference, 2013

2012

Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions.

Shigemasa Takai, Toshimitsu Ushio

IEEE Trans. Autom. Control., 2012

Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications.

Shigemasa Takai, Ratnesh Kumar

IEEE Trans. Autom. Control., 2012

Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set.

Masashi Nomura, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012

Verification of robust diagnosability for partially observed discrete event systems.

Shigemasa Takai

Autom., 2012

Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations.

Katsuyuki Kimura, Masashi Nomura, Shigemasa Takai

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Robust failure prognosis of partially observed discrete event systems.

Shigemasa Takai

Proceedings of the American Control Conference, 2012

2011

Inference-Based Decentralized Prognosis in Discrete Event Systems.

Shigemasa Takai, Ratnesh Kumar

IEEE Trans. Autom. Control., 2011

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

Shigemasa Takai, Yuta Watanabe

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011

Decentralized Supervisory Control of Timed Discrete Event Systems.

Masashi Nomura, Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011

2010

Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management.

Shigemasa Takai, Ratnesh Kumar

IEEE Trans. Syst. Man Cybern. Part A, 2010

Decentralized Control of Discrete-Event Systems With Multiple Local Specifications.

Shengbing Jiang, Ratnesh Kumar, Shigemasa Takai, Wenbin Qiu

IEEE Trans Autom. Sci. Eng., 2010

Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems.

Shigemasa Takai, Ratnesh Kumar

IEEE Trans. Autom. Control., 2010

Decentralized Prognosis of Failures in Discrete Event Systems.

Ratnesh Kumar, Shigemasa Takai

IEEE Trans. Autom. Control., 2010

Robust failure diagnosis of partially observed discrete event systems.

Shigemasa Takai

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Decentralized diagnosis of discrete event systems modeled by Mealy automata with nondeterministic output functions.

Shigemasa Takai, Toshimitsu Ushio

Proceedings of the American Control Conference, 2010

2009

Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems.

Ratnesh Kumar, Shigemasa Takai

IEEE Trans Autom. Sci. Eng., 2009

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

Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions.

Toshimitsu Ushio, Shigemasa Takai

Proceedings of the American Control Conference, 2009

Verification and synthesis for secrecy in discrete-event systems.

Shigemasa Takai, Ratnesh Kumar

Proceedings of the American Control Conference, 2009

2008

Synthesis of Inference-Based Decentralized Control for Discrete Event Systems.

Shigemasa Takai, Ratnesh Kumar

IEEE Trans. Autom. Control., 2008

2007

Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems.

Ratnesh Kumar, Shigemasa Takai

IEEE Trans. Autom. Control., 2007

2006

Computation of Controllable Sublanguages for Unbounded Petri Nets Using Their Approximation Models.

Shigemasa Takai, Yongming Bai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation.

Shigemasa Takai, Toshimitsu Ushio

Discret. Event Dyn. Syst., 2006

2005

Characterization of co-observable languages and formulas for their super/sublanguages.

Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio

IEEE Trans. Autom. Control., 2005

Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control.

Shigemasa Takai, Toshimitsu Ushio

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

Special Section on Concurrent/Hybrid Systems: Theory and Applications.

Shigemasa Takai

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005

Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation.

Shigemasa Takai, Toshimitsu Ushio

Discret. Event Dyn. Syst., 2005

Control-invariance of hybrid systems with forcible events.

Toshimitsu Ushio, Shigemasa Takai

Autom., 2005

Maximally permissive mutually and globally nonblocking supervision with application to switching control.

Ratnesh Kumar, Shigemasa Takai, Martin Fabian, Toshimitsu Ushio

Autom., 2005

2004

Maximizing robustness of supervisors for partially observed discrete event systems.

Shigemasa Takai

Autom., 2004

2003

Effective computation of an L_m(G)-closed, controllable, and observable sublanguage arising in supervisory control.

Shigemasa Takai, Toshimitsu Ushio

Syst. Control. Lett., 2003

Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules.

Shigemasa Takai, Toshimitsu Ushio

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003

Supervisor synthesis for a class of concurrent discrete event systems.

Shigemasa Takai, Toshiniitsu Ushio

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications.

Shigemasa Takai

IEEE Trans. Autom. Control., 2002

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

Shigemasa Takai, Toshimitsu Ushio

Autom., 2002

Improving closed-loop stability of second-order LTI systems by hybrid static output feedback.

Guisheng Zhai, Shigemasa Takai, Anthony N. Michel, Xuping Xu

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems.

Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001

Stability analysis of linear time-invariant systems with controller failures.

Guisheng Zhai, Shigemasa Takai, Kazunori Yasuda

Proceedings of the 6th European Control Conference, 2001

Weak normality for supervisory control of discrete event systems under partial observation.

Shigemasa Takai, Toshimitsu Ushio

Proceedings of the 6th European Control Conference, 2001

Controller failure time analysis for H_∞ control systems.

Guisheng Zhai, Xinkai Chen, Shigemasa Takai, Kazunori Yasuda

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Strong co-observability conditions for decentralized supervisory control of discrete event systems.

Shigemasa Takai, Toshimitsu Ushio

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Reliable decentralized supervisory control of discrete event systems.

Shigemasa Takai, Toshimitsu Ushio

IEEE Trans. Syst. Man Cybern. Part B, 2000

Supervisory control of partially observed discrete event systems with arbitrary control patterns.

Shigemasa Takai

Int. J. Syst. Sci., 2000

Reliable decentralized supervisory control of discrete event systems with marked language specifications.

Shigemasa Takai, Toshimitsu Ushio

Proceedings of the IEEE International Conference on Systems, 2000

On-line decentralized supervisory control of discrete event systems.

Shigemasa Takai, Toshimitsu Ushio

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999

Minimizing the set of local supervisors in fully decentralized supervision.

Shigemasa Takai

IEEE Trans. Autom. Control., 1999

Supervisory control of timed event graphs with partial specifications.

Shigemasa Takai, Yoshinori Ito

Int. J. Syst. Sci., 1999

1998

Formulas for the extremal controllable sequences in timed-event graphs.

Shigemasa Takai, Shinzo Kodama

IEEE Trans. Autom. Control., 1998

On the language generated under fully decentralized supervision.

Shigemasa Takai

IEEE Trans. Autom. Control., 1998

Optimal state-space partition for control of discrete-event systems with static specifications.

Shigemasa Takai

IEEE Trans. Autom. Control., 1998

1997

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

Shigemasa Takai

Autom., 1997

Estimate based limited lookahead supervisory control for closed language specifications.

Shigemasa Takai

Autom., 1997

1995

Static-state feedback control of discrete-event systems under partial observation.

Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama

IEEE Trans. Autom. Control., 1995

The infimal controllable and N-observable superpredicate of a given predicate.

Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama

IEEE Trans. Autom. Control., 1995

Stabilization and blocking in state feedback control of discrete event systems.

Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama

Discret. Event Dyn. Syst., 1995