Shigemasa Takai
Orcid: 0000-0003-0165-4623
According to our database1,
Shigemasa Takai
authored at least 141 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
5
10
15
9
7
9
7
3
4
5
3
2
4
4
2
4
3
4
1
1
1
2
6
1
2
2
2
2
3
2
3
2
4
1
2
4
1
2
5
5
1
2
2
3
1
2
4
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Reliable decentralized failure diagnosis of discrete event systems using single-level inference.
Discret. Event Dyn. Syst., December, 2024
Nonexistence of Upper Bound to Inferencing Level in Decentralized Discrete Event Control.
IEEE Trans. Autom. Control., November, 2024
Data-efficient safe learning and control with on-board sensors: Bayesian meta-learning and barrier function based approach.
Adv. Robotics, November, 2024
IEEE Trans. Control. Netw. Syst., June, 2024
Adv. Robotics, May, 2024
Adv. Robotics, March, 2024
A General Architecture for Intersection-Based Decentralized Supervisory Control of Discrete Event Systems.
IEEE Trans. Autom. Control., January, 2024
Int. J. Control, 2024
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2024
Safe Reinforcement Learning Using Model Predictive Control with Probabilistic Control Barrier Function.
Proceedings of the American Control Conference, 2024
Deterministic Decentralized Supervisors for Bisimilarity Control of Nondeterministic Discrete Event Systems.
Proceedings of the American Control Conference, 2024
2023
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., October, 2023
Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems.
IEEE Trans. Autom. Control., June, 2023
Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications.
Autom., June, 2023
Adv. Robotics, January, 2023
CoRR, 2023
Distributed Online Optimization With Dynamic Coupling Constraints Under Time-Varying Communication Delays.
IEEE Access, 2023
2022
STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks.
IEEE Robotics Autom. Lett., 2022
Reliable Decentralized Supervisory Control of Discrete Event Systems with Single-Level Inference.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022
Decentralized diagnosis of discrete event systems subject to permanent sensor failures.
Discret. Event Dyn. Syst., 2022
Maximally Permissive Modular Similarity Control of Composite Nondeterministic Discrete Event Systems.
IEEE Control. Syst. Lett., 2022
Modular Similarity Control of Nondeterministic Discrete Event Systems With Modular Specifications.
IEEE Control. Syst. Lett., 2022
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks.
CoRR, 2022
Deterministic supervisory control with flexible upper-bounds on observation delay and control delay.
Autom., 2022
Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems.
Autom., 2022
Cooperative Target Tracking by Multiagent Camera Sensor Networks via Gaussian Process.
IEEE Access, 2022
Learning-Based Iterative Optimal Control for Unknown Systems Using Gaussian Process Regression.
Proceedings of the European Control Conference, 2022
Distributed Inequality Constrained Online Optimization for Unbalanced Digraphs using Row Stochastic Property.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
A General Intersection-Based Architecture for Decentralized Supervisory Control of Discrete Event Systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Reliable Diagnosability for Decentralized Diagnosis of Discrete Event Systems with Single-Level Inference.
Proceedings of the American Control Conference, 2022
2021
Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications.
IEEE Trans. Autom. Control., 2021
Linear Convergence of Consensus-Based Quantized Optimization for Smooth and Strongly Convex Cost Functions.
IEEE Trans. Autom. Control., 2021
Dynamic Regret Analysis for Event-Triggered Distributed Online Optimization Algorithm.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021
Logarithmic Regret for Distributed Online Subgradient Method over Unbalanced Directed Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021
Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021
A general framework for diagnosis of discrete event systems subject to sensor failures.
Autom., 2021
IEEE Access, 2021
2020
Decentralized Supervisory Control of Timed Discrete Event Systems with Conditional Decisions for Enforcing Forcible Events.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020
Consensus-Based Quantized Algorithm for Convex Optimization with Smooth Cost Functions.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020
Distributed Subgradient Method for Constrained Convex Optimization with Quantized and Event-Triggered Communication.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020
Maximally Permissive Nonblocking Similarity Control of Nondeterministic Discrete Event Systems.
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".
IEEE Trans Autom. Sci. Eng., 2019
Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019
Distributed Constrained Convex Optimization with Accumulated Subgradient Information over Undirected Switching Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019
Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications.
Autom., 2019
Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Subject to Permanent Sensor Failures.
Proceedings of the 17th European Control Conference, 2019
Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Partial Observation.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
2018
Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems.
IEEE Trans. Autom. Control., 2018
IEEE Trans. Autom. Control., 2018
Nonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018
Consensus-Based Distributed Particle Swarm Optimization with Event-Triggered Communication.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018
Implementation of inference-based diagnosis: computing delay bound and ambiguity levels.
Discret. Event Dyn. Syst., 2018
Uniform Ultimate Boundedness of Event-Triggered Control for Time-Varying Nonlinear Systems.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018
Maximally Permissive Supervisory Control of Nondeterministic Discrete Event Systems with Nondeterministic Specifications.
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.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Event-Triggered Consensus-Based Optimization Algorithm for Smooth and Strongly Convex Cost Functions.
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.
IEEE Trans. Autom. Control., 2017
Decentralized Similarity Control of Composite Nondeterministic Discrete Event Systems with Local Specifications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017
Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions.
Discret. Event Dyn. Syst., 2017
Distributed multi-step subgradient algorithm for constrained convex optimization with undirected time-varying communications.
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.
IEEE Trans. Autom. Control., 2016
Synthesis of Output Feedback Controllers for Bisimilarity Control of Transition Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016
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.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2015
Int. J. Control, 2015
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015
Autom., 2015
GTS-based communication task scheduling for quantized output consensus over IEEE 802.15.4 wireless networks.
Autom., 2015
Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Supervisor synthesis for similarity control of nondeterministic discrete event systems.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
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.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
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.
IEEE Trans. Autom. Control., 2014
Reliable Decentralized Diagnosis of Discrete Event Systems Using the Conjunctive Architecture.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014
Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014
Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations.
IEICE Trans. Inf. Syst., 2014
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.
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.
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.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the American Control Conference, 2014
2013
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013
Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013
Proceedings of the 12th European Control Conference, 2013
2012
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions.
IEEE Trans. Autom. Control., 2012
Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications.
IEEE Trans. Autom. Control., 2012
Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012
Autom., 2012
Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012
Proceedings of the American Control Conference, 2012
2011
IEEE Trans. Autom. Control., 2011
Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011
2010
Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management.
IEEE Trans. Syst. Man Cybern. Part A, 2010
IEEE Trans Autom. Sci. Eng., 2010
Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems.
IEEE Trans. Autom. Control., 2010
IEEE Trans. Autom. Control., 2010
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.
Proceedings of the American Control Conference, 2010
2009
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng., 2009
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.
Proceedings of the American Control Conference, 2009
Proceedings of the American Control Conference, 2009
2008
IEEE Trans. Autom. Control., 2008
2007
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems.
IEEE Trans. Autom. Control., 2007
2006
Computation of Controllable Sublanguages for Unbounded Petri Nets Using Their Approximation Models.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation.
Discret. Event Dyn. Syst., 2006
2005
Characterization of co-observable languages and formulas for their super/sublanguages.
IEEE Trans. Autom. Control., 2005
Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation.
Discret. Event Dyn. Syst., 2005
Maximally permissive mutually and globally nonblocking supervision with application to switching control.
Autom., 2005
2004
Autom., 2004
2003
Effective computation of an L<sub>m</sub>(G)-closed, controllable, and observable sublanguage arising in supervisory control.
Syst. Control. Lett., 2003
Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
2002
Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications.
IEEE Trans. Autom. Control., 2002
A modified normality condition for decentralized supervisory control of discrete event systems.
Autom., 2002
Improving closed-loop stability of second-order LTI systems by hybrid static output feedback.
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.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
2001
Proceedings of the 6th European Control Conference, 2001
Weak normality for supervisory control of discrete event systems under partial observation.
Proceedings of the 6th European Control Conference, 2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
Strong co-observability conditions for decentralized supervisory control of discrete event systems.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
IEEE Trans. Syst. Man Cybern. Part B, 2000
Supervisory control of partially observed discrete event systems with arbitrary control patterns.
Int. J. Syst. Sci., 2000
Reliable decentralized supervisory control of discrete event systems with marked language specifications.
Proceedings of the IEEE International Conference on Systems, 2000
Proceedings of the 39th IEEE Conference on Decision and Control, 2000
1999
IEEE Trans. Autom. Control., 1999
Int. J. Syst. Sci., 1999
1998
IEEE Trans. Autom. Control., 1998
IEEE Trans. Autom. Control., 1998
Optimal state-space partition for control of discrete-event systems with static specifications.
IEEE Trans. Autom. Control., 1998
1997
A characterization of realizable behavior in supervisory control of timed event graphs.
Autom., 1997
Estimate based limited lookahead supervisory control for closed language specifications.
Autom., 1997
1995
IEEE Trans. Autom. Control., 1995
IEEE Trans. Autom. Control., 1995
Discret. Event Dyn. Syst., 1995