default search action
Shigemasa Takai
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j94]Zhijun Wang, Kazumune Hashimoto, Wataru Hashimoto, Shigemasa Takai:
A lifting approach to learning-based self-triggered control with Gaussian processes. Adv. Robotics 38(6): 410-420 (2024) - [j93]Keishin Tada, Naoki Hayashi, Shigemasa Takai:
Distributed online primal-dual subgradient method on unbalanced directed networks. Adv. Robotics 38(9-10): 591-602 (2024) - [j92]Wataru Hashimoto, Kazumune Hashimoto, Akifumi Wachi, Xun Shen, Masako Kishida, Shigemasa Takai:
Data-efficient safe learning and control with on-board sensors: Bayesian meta-learning and barrier function based approach. Adv. Robotics 38(21): 1501-1514 (2024) - [j91]Daichi Ishikawa, Naoki Hayashi, Shigemasa Takai:
Distributed Event-Triggered Stochastic Gradient-Tracking for Nonconvex Optimization. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 107(5): 762-769 (2024) - [j90]Hiroaki Sakuma, Naoki Hayashi, Shigemasa Takai:
Distributed primal-dual method on unbalanced digraphs with row stochasticity. Int. J. Control 97(6): 1377-1388 (2024) - [j89]Akihito Hayano
, Shigemasa Takai
A General Architecture for Intersection-Based Decentralized Supervisory Control of Discrete Event Systems. IEEE Trans. Autom. Control. 69(1): 674-680 (2024) - [j88]Shigemasa Takai
Nonexistence of Upper Bound to Inferencing Level in Decentralized Discrete Event Control. IEEE Trans. Autom. Control. 69(11): 7964-7971 (2024) - [j87]Koki Okamoto, Naoki Hayashi
Distributed Online Adaptive Gradient Descent With Event-Triggered Communication. IEEE Trans. Control. Netw. Syst. 11(2): 610-622 (2024) - [c50]Xun Shen, Akifumi Wachi, Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai:
Safe Reinforcement Learning Using Model Predictive Control with Probabilistic Control Barrier Function. ACC 2024: 74-79 - [c49]Akari Kimura, Shigemasa Takai:
Deterministic Decentralized Supervisors for Bisimilarity Control of Nondeterministic Discrete Event Systems. ACC 2024: 5441-5446 - 2023
- [j86]Keito Inoue, Naoki Hayashi
Distributed Online Optimization With Dynamic Coupling Constraints Under Time-Varying Communication Delays. IEEE Access 11: 87256-87269 (2023) - [j85]Yoshihiro Kameoka, Naoki Hayashi, Shigemasa Takai:
Cooperative tracking in camera sensor networks with sliding mode control. Adv. Robotics 37(1-2): 130-140 (2023) - [j84]Shigemasa Takai:
Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications. Autom. 152: 110940 (2023) - [j83]Junya Yoshida, Naoki Hayashi, Shigemasa Takai:
Quantized Gradient Descent Algorithm for Distributed Nonconvex Optimization. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 106(10): 1297-1304 (2023) - [j82]Jinglun Li
Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems. IEEE Trans. Autom. Control. 68(6): 3529-3544 (2023) - [i5]Wataru Hashimoto, Kazumune Hashimoto, Akifumi Wachi, Xun Shen, Masako Kishida, Shigemasa Takai:
Bayesian Meta-Learning on Control Barrier Functions with Data from On-Board Sensors. CoRR abs/2308.05306 (2023) - [i4]Lichen Ding, Kazumune Hashimoto, Shigemasa Takai:
Synthesis of Event-triggered Controllers for SIRS Epidemic Models. CoRR abs/2310.09480 (2023) - 2022
- [j81]Takashi Adachi, Naoki Hayashi
Cooperative Target Tracking by Multiagent Camera Sensor Networks via Gaussian Process. IEEE Access 10: 71717-71727 (2022) - [j80]Jinglun Li
Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems. Autom. 135: 109978 (2022) - [j79]Weilin Wang, Yanwei Zang, Shigemasa Takai, Lachlan L. H. Andrew, Chaohui Gong:
Deterministic supervisory control with flexible upper-bounds on observation delay and control delay. Autom. 144: 110480 (2022) - [j78]Jinglun Li
Modular Similarity Control of Nondeterministic Discrete Event Systems With Modular Specifications. IEEE Control. Syst. Lett. 6: 1358-1363 (2022) - [j77]Jinglun Li
Maximally Permissive Modular Similarity Control of Composite Nondeterministic Discrete Event Systems. IEEE Control. Syst. Lett. 6: 2305-2310 (2022) - [j76]Akihito Wada, Shigemasa Takai
Decentralized diagnosis of discrete event systems subject to permanent sensor failures. Discret. Event Dyn. Syst. 32(2): 159-193 (2022) - [j75]Shigemasa Takai, Sho Yoshida:
Reliable Decentralized Supervisory Control of Discrete Event Systems with Single-Level Inference. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A(5): 799-807 (2022) - [j74]Wataru Hashimoto
STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks. IEEE Robotics Autom. Lett. 7(2): 5246-5253 (2022) - [c48]Takumi Hamada, Shigemasa Takai:
Reliable Diagnosability for Decentralized Diagnosis of Discrete Event Systems with Single-Level Inference. ACC 2022: 3746-3751 - [c47]Keishin Tada, Naoki Hayashi, Shigemasa Takai:
Distributed Inequality Constrained Online Optimization for Unbalanced Digraphs using Row Stochastic Property. CDC 2022: 2283-2288 - [c46]Akihito Hayano, Shigemasa Takai:
A General Intersection-Based Architecture for Decentralized Supervisory Control of Discrete Event Systems. CDC 2022: 4244-4249 - [c45]Wataru Hashimoto, Kazumune Hashimoto, Yuga Onoue, Shigemasa Takai:
Learning-Based Iterative Optimal Control for Unknown Systems Using Gaussian Process Regression. ECC 2022: 1554-1559 - [i3]Zhijun Wang, Kazumune Hashimoto, Wataru Hashimoto, Shigemasa Takai:
A Lifting Approach to Learning-Based Self-Triggered Control with Gaussian Processes. CoRR abs/2202.10174 (2022) - [i2]Wataru Hashimoto, Kazumune Hashimoto, Masako Kishida, Shigemasa Takai:
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks. CoRR abs/2212.05200 (2022) - 2021
- [j73]Hiroaki Sakuma, Naoki Hayashi
Distributed Primal-Dual Perturbation Algorithm Over Unbalanced Directed Networks. IEEE Access 9: 75324-75335 (2021) - [j72]Shigemasa Takai:
A general framework for diagnosis of discrete event systems subject to sensor failures. Autom. 129: 109669 (2021) - [j71]Makoto Yamashita, Naoki Hayashi, Shigemasa Takai:
Dynamic Regret Analysis for Event-Triggered Distributed Online Optimization Algorithm. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 104-A(2): 430-437 (2021) - [j70]Kohei Shimatani, Shigemasa Takai:
Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 104-A(2): 438-446 (2021) - [j69]Makoto Yamashita, Naoki Hayashi, Takeshi Hatanaka, Shigemasa Takai:
Logarithmic Regret for Distributed Online Subgradient Method over Unbalanced Directed Networks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 104-A(8): 1019-1026 (2021) - [j68]Yuichi Kajiyama
Linear Convergence of Consensus-Based Quantized Optimization for Smooth and Strongly Convex Cost Functions. IEEE Trans. Autom. Control. 66(3): 1254-1261 (2021) - [j67]Shigemasa Takai
Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications. IEEE Trans. Autom. Control. 66(7): 3197-3204 (2021) - [i1]Wataru Hashimoto, Kazumune Hashimoto, Shigemasa Takai:
STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks. CoRR abs/2109.04636 (2021) - 2020
- [j66]Shimpei Miura, Shigemasa Takai:
Decentralized Supervisory Control of Timed Discrete Event Systems with Conditional Decisions for Enforcing Forcible Events. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 103-A(2): 417-427 (2020) - [j65]Naoki Hayashi, Kazuyuki Ishikawa, Shigemasa Takai:
Distributed Subgradient Method for Constrained Convex Optimization with Quantized and Event-Triggered Communication. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 103-A(2): 428-434 (2020) - [j64]Naoki Hayashi, Yuichi Kajiyama, Shigemasa Takai:
Consensus-Based Quantized Algorithm for Convex Optimization with Smooth Cost Functions. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 103-A(2): 435-442 (2020) - [c44]Jinglun Li, Shigemasa Takai:
Maximally Permissive Nonblocking Similarity Control of Nondeterministic Discrete Event Systems. CDC 2020: 73-78
2010 – 2019
- 2019
- [j63]Shigemasa Takai:
Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications. Autom. 108 (2019) - [j62]Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai:
Distributed Constrained Convex Optimization with Accumulated Subgradient Information over Undirected Switching Networks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 102-A(2): 343-350 (2019) - [j61]Jinglun Li, Shigemasa Takai:
Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 102-A(2): 399-403 (2019) - [j60]Ratnesh Kumar
Comments on "Predictability of Failure Event Occurrences in Decentralized Discrete-Event Systems and Polynomial-Time Verification". IEEE Trans Autom. Sci. Eng. 16(4): 1988-1989 (2019) - [c43]Jinglun Li, Shigemasa Takai:
Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Partial Observation. CDC 2019: 1037-1042 - [c42]Akihito Wada, Shigemasa Takai:
Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Subject to Permanent Sensor Failures. ECC 2019: 1726-1731 - 2018
- [j59]Shigemasa Takai
Implementation of inference-based diagnosis: computing delay bound and ambiguity levels. Discret. Event Dyn. Syst. 28(2): 315-348 (2018) - [j58]Hiroki Yamada, Shigemasa Takai:
Nonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 101-A(2): 328-337 (2018) - [j57]Kazuyuki Ishikawa, Naoki Hayashi, Shigemasa Takai:
Consensus-Based Distributed Particle Swarm Optimization with Event-Triggered Communication. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 101-A(2): 338-344 (2018) - [j56]Naoki Kushi
Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems. IEEE Trans. Autom. Control. 63(5): 1457-1464 (2018) - [j55]Yuichi Kajiyama
Distributed Subgradient Method With Edge-Based Event-Triggered Communication. IEEE Trans. Autom. Control. 63(7): 2248-2255 (2018) - [c41]Naoki Hayashi, Tomohiro Sugiura, Yuichi Kajiyama, Shigemasa Takai:
Event-Triggered Consensus-Based Optimization Algorithm for Smooth and Strongly Convex Cost Functions. CDC 2018: 2120-2125 - [c40]Shimpei Miura, Shigemasa Takai:
Decentralized Control of Timed Discrete Event Systems with Conditional Decisions for Enforcement of Forcible Events. CDC 2018: 3956-3961 - [c39]Shigemasa Takai:
Maximally Permissive Supervisory Control of Nondeterministic Discrete Event Systems with Nondeterministic Specifications. CDC 2018: 3975-3980 - [c38]Kenta Suzuki, Naoki Hayashi, Shigemasa Takai:
Uniform Ultimate Boundedness of Event-Triggered Control for Time-Varying Nonlinear Systems. SMC 2018: 2007-2012 - 2017
- [j54]Shoichi Yokota, Takashi Yamamoto
Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions. Discret. Event Dyn. Syst. 27(1): 45-84 (2017) - [j53]Masanori Hoshino, Shigemasa Takai:
Decentralized Similarity Control of Composite Nondeterministic Discrete Event Systems with Local Specifications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 100-A(2): 395-405 (2017) - [j52]Shigemasa Takai, Ratnesh Kumar:
A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making. IEEE Trans. Autom. Control. 62(6): 2778-2793 (2017) - [c37]Yuichi Kajiyama, Naoki Hayashi, Shigemasa Takai:
Distributed multi-step subgradient algorithm for constrained convex optimization with undirected time-varying communications. CDC 2017: 4650-4655 - 2016
- [j51]Nam Tung Vu, Shigemasa Takai:
Synthesis of Output Feedback Controllers for Bisimilarity Control of Transition Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 99-A(2): 483-490 (2016) - [j50]Toshimitsu Ushio, Shigemasa Takai:
Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions. IEEE Trans. Autom. Control. 61(3): 799-804 (2016) - [c36]Sho Yoshida, Shigemasa Takai:
Reliable conditional-coobservability for decentralized supervisory control of discrete event systems with conditional decisions. CDC 2016: 414-419 - [c35]Shigemasa Takai, Ratnesh Kumar:
Delay bound of inference-based decentralized diagnosis in discrete event systems. WODES 2016: 224-229 - 2015
- [j49]Shigemasa Takai:
Robust prognosability for a set of partially observed discrete event systems. Autom. 51: 123-130 (2015) - [j48]Naoki Hayashi, Shigemasa Takai:
GTS-based communication task scheduling for quantized output consensus over IEEE 802.15.4 wireless networks. Autom. 55: 6-11 (2015) - [j47]Takashi Yamamoto
Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 98-A(2): 650-653 (2015) - [j46]Naoki Kanagawa, Shigemasa Takai:
Diagnosability of discrete event systems subject to permanent sensor failures. Int. J. Control 88(12): 2598-2610 (2015) - [c34]Kohei Segawa, Kenta Hamada, Naoki Hayashi, Shigemasa Takai:
Cooperative target tracking by 2-level hierarchical PTZ camera sensor networks. CDC 2015: 2975-2980 - [c33]Shigemasa Takai, Ratnesh Kumar:
A generalized inference-based diagnosis framework for discrete event systems capturing both disjunctive and conjunctive decision-making. CDC 2015: 3522-3527 - [c32]Naoki Hayashi, Yu Muranishi, Shigemasa Takai:
Distributed event-triggered control for Voronoi coverage. EBCCSP 2015: 1-4 - [c31]Naoki Kushi, Shigemasa Takai:
Supervisor synthesis for similarity control of nondeterministic discrete event systems. ETFA 2015: 1-4 - [c30]Shigemasa Takai, Ratnesh Kumar:
Verification of generalized inference diagnosability for decentralized diagnosis in discrete event systems. ETFA 2015: 1-8 - 2014
- [j45]Katsuyuki Kimura, Shigemasa Takai:
Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations. IEICE Trans. Inf. Syst. 97-D(5): 1140-1148 (2014) - [j44]Katsuyuki Kimura, Shigemasa Takai:
Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 97-A(7): 1500-1507 (2014) - [j43]Takashi Yamamoto
Reliable Decentralized Diagnosis of Discrete Event Systems Using the Conjunctive Architecture. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 97-A(7): 1605-1614 (2014) - [j42]Ratnesh Kumar, Shigemasa Takai:
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. 59(5): 1391-1392 (2014) - [c29]Naoki Hayashi, Shigemasa Takai:
Consensus-based distribution estimation of 1-D diffusion phenomena. ACC 2014: 2569-2574 - [c28]Yu Muranishi, Kenta Hamada, Naoki Hayashi, Shigemasa Takai:
Distributed estimation of 1-D convection-diffusion phenomena by discrete-time event-triggered consensus dynamics. CDC 2014: 1995-2000 - [c27]Shoichi Yokota, Shigemasa Takai:
Computation of the delay bound in decentralized diagnosis of discrete event systems with conditional decisions. CDC 2014: 5961-5966 - [c26]Naoki Kanagawa, Shigemasa Takai:
Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures. ETFA 2014: 1-8 - [c25]Misato Yokotani, Shigemasa Takai:
Abstraction-Based Verification for Partially Observed Discrete Event Systems. WODES 2014: 356-361 - 2013
- [j41]Masashi Nomura, Shigemasa Takai:
Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 96-A(1): 345-355 (2013) - [j40]Masashi Nomura, Shigemasa Takai:
A Synthesis Method for Decentralized Supervisors for Timed Discrete Event Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 96-A(4): 835-839 (2013) - [c24]Naoki Hayashi, Shigemasa Takai:
A GTS scheduling for consensus problems over IEEE 802.15.4 wireless networks. ECC 2013: 1764-1769 - 2012
- [j39]Shigemasa Takai:
Verification of robust diagnosability for partially observed discrete event systems. Autom. 48(8): 1913-1919 (2012) - [j38]Masashi Nomura, Shigemasa Takai:
Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 95-A(5): 952-960 (2012) - [j37]Shigemasa Takai, Toshimitsu Ushio:
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions. IEEE Trans. Autom. Control. 57(3): 798-804 (2012) - [j36]Shigemasa Takai, Ratnesh Kumar:
Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications. IEEE Trans. Autom. Control. 57(5): 1259-1265 (2012) - [c23]Shigemasa Takai:
Robust failure prognosis of partially observed discrete event systems. ACC 2012: 6077-6082 - [c22]Katsuyuki Kimura, Masashi Nomura, Shigemasa Takai:
Bisimilarity enforcing supervisory control of nondeterministic systems under event and state observations. WODES 2012: 169-174 - 2011
- [j35]Shigemasa Takai, Yuta Watanabe:
Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 94-A(3): 1041-1044 (2011) - [j34]Masashi Nomura, Shigemasa Takai:
Decentralized Supervisory Control of Timed Discrete Event Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 94-A(12): 2802-2809 (2011) - [j33]Shigemasa Takai, Ratnesh Kumar:
Inference-Based Decentralized Prognosis in Discrete Event Systems. IEEE Trans. Autom. Control. 56(1): 165-171 (2011) - 2010
- [j32]Ratnesh Kumar, Shigemasa Takai:
Decentralized Prognosis of Failures in Discrete Event Systems. IEEE Trans. Autom. Control. 55(1): 48-59 (2010) - [j31]Shigemasa Takai, Ratnesh Kumar:
Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems. IEEE Trans. Autom. Control. 55(8): 1881-1887 (2010) - [j30]Shengbing Jiang, Ratnesh Kumar, Shigemasa Takai, Wenbin Qiu:
Decentralized Control of Discrete-Event Systems With Multiple Local Specifications. IEEE Trans Autom. Sci. Eng. 7(3): 512-522 (2010) - [j29]Shigemasa Takai, Ratnesh Kumar:
Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management. IEEE Trans. Syst. Man Cybern. Part A 40(2): 406-412 (2010) - [c21]Shigemasa Takai, Toshimitsu Ushio:
Decentralized diagnosis of discrete event systems modeled by Mealy automata with nondeterministic output functions. ACC 2010: 2613-2618 - [c20]Shigemasa Takai:
Robust failure diagnosis of partially observed discrete event systems. WODES 2010: 205-210
2000 – 2009
- 2009
- [j28]Ratnesh Kumar, Shigemasa Takai:
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 6(3): 479-491 (2009) - [c19]Toshimitsu Ushio, Shigemasa Takai:
Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions. ACC 2009: 4260-4265 - [c18]Shigemasa Takai, Ratnesh Kumar:
Verification and synthesis for secrecy in discrete-event systems. ACC 2009: 4741-4746 - [c17]Shigemasa Takai, Ratnesh Kumar:
Distributed prognosis of discrete event systems under bounded-delay communications. CDC 2009: 1235-1240 - 2008
- [j27]Shigemasa Takai, Ratnesh Kumar:
Synthesis of Inference-Based Decentralized Control for Discrete Event Systems. IEEE Trans. Autom. Control. 53(2): 522-534 (2008) - [c16]Shigemasa Takai, Ratnesh Kumar:
Inference-based decentralized prognosis in discrete event systems. CDC 2008: 871-876 - 2007
- [j26]Ratnesh Kumar, Shigemasa Takai:
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems. IEEE Trans. Autom. Control. 52(10): 1783-1794 (2007) - [c15]Shigemasa Takai, Ratnesh Kumar:
Synthesis of Over-Approximating Inference-based Decentralized Supervisors for Discrete Event Systems. ACC 2007: 4268-4273 - 2006
- [j25]Shigemasa Takai, Toshimitsu Ushio:
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation. Discret. Event Dyn. Syst. 16(2): 257-278 (2006) - [j24]Shigemasa Takai, Yongming Bai:
Computation of Controllable Sublanguages for Unbounded Petri Nets Using Their Approximation Models. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 89-A(11): 3250-3253 (2006) - [c14]Ratnesh Kumar, Shigemasa Takai:
Inference-based ambiguity management in decentralized decision-making: decentralized diagnosis of discrete event systems. ACC 2006: 1-6 - [c13]Shigemasa Takai, Ratnesh Kumar:
Synthesis of Inference-based Decentralized Control for Discrete Event Systems. CDC 2006: 410-415 - 2005
- [j23]Toshimitsu Ushio, Shigemasa Takai:
Control-invariance of hybrid systems with forcible events. Autom. 41(4): 669-675 (2005) - [j22]Ratnesh Kumar, Shigemasa Takai, Martin Fabian, Toshimitsu Ushio:
Maximally permissive mutually and globally nonblocking supervision with application to switching control. Autom. 41(8): 1299-1312 (2005) - [j21]Shigemasa Takai, Toshimitsu Ushio:
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation. Discret. Event Dyn. Syst. 15(1): 7-32 (2005) - [j20]Shigemasa Takai:
Special Section on Concurrent/Hybrid Systems: Theory and Applications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(11): 2963 (2005) - [j19]Shigemasa Takai, Toshimitsu Ushio:
Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(11): 2982-2988 (2005) - [j18]Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio:
Characterization of co-observable languages and formulas for their super/sublanguages. IEEE Trans. Autom. Control. 50(4): 434-447 (2005) - [c12]Ratnesh Kumar, Shigemasa Takai:
Inference-based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems. CDC/ECC 2005: 3480-3485 - 2004
- [j17]Shigemasa Takai:
Maximizing robustness of supervisors for partially observed discrete event systems. Autom. 40(3): 531-535 (2004) - 2003
- [j16]Shigemasa Takai, Toshimitsu Ushio:
Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 86-A(11): 2731-2738 (2003) - [j15]Shigemasa Takai, Toshimitsu Ushio:
Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control. Syst. Control. Lett. 49(3): 191-200 (2003) - [c11]Shigemasa Takai, Toshimitsu Ushio:
Reliable decentralized supervisory control of discrete event systems with the conjunctive and disjunctive fusion rules. ACC 2003: 1050-1055 - [c10]Shigemasa Takai, Toshiniitsu Ushio:
Supervisor synthesis for a class of concurrent discrete event systems. CDC 2003: 2686-2691 - 2002
- [j14]Shigemasa Takai, Toshimitsu Ushio:
A modified normality condition for decentralized supervisory control of discrete event systems. Autom. 38(1): 185-189 (2002) - [j13]Shigemasa Takai:
Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications. IEEE Trans. Autom. Control. 47(1): 132-136 (2002) - [c9]Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio:
Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems. CDC 2002: 578-583 - [c8]Guisheng Zhai, Shigemasa Takai, Anthony N. Michel, Xuping Xu:
Improving closed-loop stability of second-order LTI systems by hybrid static output feedback. CDC 2002: 2792-2797 - 2001
- [c7]Shigemasa Takai, Toshimitsu Ushio:
A modified normality condition for decentralized supervisory control of discrete event systems. ACC 2001: 973-974 - [c6]Guisheng Zhai, Xinkai Chen, Shigemasa Takai, Kazunori Yasuda:
Controller failure time analysis for H∞ control systems. CDC 2001: 1029-1030 - [c5]Shigemasa Takai, Toshimitsu Ushio:
Strong co-observability conditions for decentralized supervisory control of discrete event systems. CDC 2001: 4098-4103 - [c4]Guisheng Zhai, Shigemasa Takai, Kazunori Yasuda:
Stability analysis of linear time-invariant systems with controller failures. ECC 2001: 138-142 - [c3]Shigemasa Takai, Toshimitsu Ushio:
Weak normality for supervisory control of discrete event systems under partial observation. ECC 2001: 1589-1594 - 2000
- [j12]Shigemasa Takai:
Supervisory control of partially observed discrete event systems with arbitrary control patterns. Int. J. Syst. Sci. 31(5): 649-656 (2000) - [j11]Shigemasa Takai, Toshimitsu Ushio:
Reliable decentralized supervisory control of discrete event systems. IEEE Trans. Syst. Man Cybern. Part B 30(5): 661-667 (2000) - [c2]Shigemasa Takai, Toshimitsu Ushio:
On-line decentralized supervisory control of discrete event systems. CDC 2000: 7-8 - [c1]Shigemasa Takai, Toshimitsu Ushio:
Reliable decentralized supervisory control of discrete event systems with marked language specifications. SMC 2000: 2180-2185
1990 – 1999
- 1999
- [j10]Shigemasa Takai, Yoshinori Ito:
Supervisory control of timed event graphs with partial specifications. Int. J. Syst. Sci. 30(11): 1187-1192 (1999) - [j9]Shigemasa Takai:
Minimizing the set of local supervisors in fully decentralized supervision. IEEE Trans. Autom. Control. 44(7): 1441-1444 (1999) - 1998
- [j8]Shigemasa Takai:
Optimal state-space partition for control of discrete-event systems with static specifications. IEEE Trans. Autom. Control. 43(7): 1013-1016 (1998) - [j7]Shigemasa Takai:
On the language generated under fully decentralized supervision. IEEE Trans. Autom. Control. 43(9): 1253-1256 (1998) - [j6]Shigemasa Takai, Shinzo Kodama:
Formulas for the extremal controllable sequences in timed-event graphs. IEEE Trans. Autom. Control. 43(10): 1465-1468 (1998) - 1997
- [j5]Shigemasa Takai:
Estimate based limited lookahead supervisory control for closed language specifications. Autom. 33(9): 1739-1743 (1997) - [j4]Shigemasa Takai:
A characterization of realizable behavior in supervisory control of timed event graphs. Autom. 33(11): 2077-2080 (1997) - 1995
- [j3]Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama:
Stabilization and blocking in state feedback control of discrete event systems. Discret. Event Dyn. Syst. 5(1): 33-57 (1995) - [j2]Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama:
The infimal controllable and N-observable superpredicate of a given predicate. IEEE Trans. Autom. Control. 40(7): 1249-1253 (1995) - [j1]Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama:
Static-state feedback control of discrete-event systems under partial observation. IEEE Trans. Autom. Control. 40(11): 1950-1954 (1995)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: