The following pages link to Shigemasa Takai (Q225308):
Displayed 50 items.
- Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions (Q513180) (← links)
- A new class of supervisors for timed discrete event systems under partial observation (Q859740) (← links)
- A characterization of realizable behavior in supervisory control of timed event graphs (Q1129729) (← links)
- Decentralized state feedback control of discrete event systems (Q1323633) (← links)
- Maximizing robustness of supervisors for partially observed discrete event systems. (Q1428152) (← links)
- GTS-based communication task scheduling for quantized output consensus over IEEE 802.15.4 wireless networks (Q1689337) (← links)
- Supervisory control of a class of concurrent discrete event systems under partial observation (Q1773097) (← links)
- Control-invariance of hybrid systems with forcible events (Q1776418) (← links)
- Implementation of inference-based diagnosis: computing delay bound and ambiguity levels (Q1788696) (← links)
- Stabilization and blocking in state feedback control of discrete event systems (Q1842519) (← links)
- Robust supervisory control of a class of timed discrete event systems under partial observation (Q1978665) (← links)
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems (Q2059364) (← links)
- Deterministic supervisory control with flexible upper-bounds on observation delay and control delay (Q2165979) (← links)
- Estimate based limited lookahead supervisory control for closed language specifications (Q2275047) (← links)
- Robust prognosability for a set of partially observed discrete event systems (Q2342521) (← links)
- Verification of robust diagnosability for partially observed discrete event systems (Q2391506) (← links)
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control (Q2503503) (← links)
- Maximally permissive mutually and globally nonblocking supervision with application to switching control (Q2576128) (← links)
- A general framework for diagnosis of discrete event systems subject to sensor failures (Q2665161) (← links)
- Decentralized diagnosis of discrete event systems subject to permanent sensor failures (Q2673757) (← links)
- Diagnosability of discrete event systems subject to permanent sensor failures (Q2799301) (← links)
- Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems (Q2821258) (← links)
- Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions (Q2980649) (← links)
- Comments on “Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” versus “Decentralized Failure Diagnosis of Discrete Event Systems”: Complexity Clarification (Q2983189) (← links)
- Supervisory control of partially observed discrete event systems with arbitrary control patterns (Q3366378) (← links)
- Characterization of all M-controllable subpredicates of a given predicate (Q4259049) (← links)
- Concurrency and maximally permissive feedback in Petri nets with external input places (Q4311333) (← links)
- M -controllable subpredicates arising in state feed back control of discrete event systems (Q4348230) (← links)
- Optimal state-space partition for control of discrete-event systems with static specifications (Q4506523) (← links)
- Formulas for the extremal controllable sequences in timed-event graphs (Q4506569) (← links)
- Minimizing the set of local supervisors in fully decentralized supervision (Q4506850) (← links)
- On the language generated under fully decentralized supervision (Q4507220) (← links)
- Supervisory control of timed event graphs with partial specifications (Q4546954) (← links)
- Distributed Subgradient Method With Edge-Based Event-Triggered Communication (Q4682275) (← links)
- (Q4782032) (← links)
- (Q4782061) (← links)
- The infimal controllable and N-observable superpredicate of a given predicate (Q4850257) (← links)
- Static-state feedback control of discrete-event systems under partial observation (Q4859743) (← links)
- Synthesis of Inference-Based Decentralized Control for Discrete Event Systems (Q4974151) (← links)
- Decentralized Prognosis of Failures in Discrete Event Systems (Q4978656) (← links)
- Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems (Q4978908) (← links)
- Linear Convergence of Consensus-Based Quantized Optimization for Smooth and Strongly Convex Cost Functions (Q4990173) (← links)
- Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications (Q5002129) (← links)
- Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications (Q5267289) (← links)
- Characterization of co-observable languages and formulas for their super/sublanguages (Q5274029) (← links)
- Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems (Q5282253) (← links)
- Inference-Based Decentralized Prognosis in Discrete Event Systems (Q5347583) (← links)
- A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making (Q5352628) (← links)
- Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions (Q5352760) (← links)
- Distributed Failure Prognosis of Discrete Event Systems With Bounded-Delay Communications (Q5352819) (← links)