The following pages link to Ratnesh Kumar (Q434479):
Displayed 50 items.
- (Q162635) (redirect page) (← links)
- Semantic translation of Simulink diagrams to input/output extended finite automata (Q434480) (← links)
- Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm'' [automatica 47 (2011) 782-788] (Q463849) (← links)
- (Q586169) (redirect page) (← links)
- Extremal solutions of inequations over lattices with applications to supervisory control (Q672379) (← links)
- Formulas for calculating supremal controllable and normal sublanguages (Q752649) (← links)
- Formulae relating controllability, observability, and co-observability (Q1129683) (← links)
- On controllability and normality of discrete event dynamical systems (Q1190393) (← links)
- Extension based limited lookahead supervision of discrete event systems (Q1298307) (← links)
- A discrete event systems approach for protocol conversion (Q1361804) (← links)
- Implementation of inference-based diagnosis: computing delay bound and ambiguity levels (Q1788696) (← links)
- Maximally permissive mutually and globally nonblocking supervision with application to switching control (Q2576128) (← links)
- Masked prioritized synchronization for interaction and control of discrete event systems (Q2730277) (← links)
- Failure Detection Framework for Stochastic Discrete Event Systems With Guaranteed Error Bounds (Q2982701) (← links)
- Stochastic Failure Prognosability of Discrete Event Systems (Q2982704) (← 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)
- Language Stability and Stabilizability of Discrete Event Dynamical Systems (Q3141555) (← links)
- A Event Occurrence Rules based Compact Modeling Formalism for a Class of Discrete Event Systems (Q3147797) (← links)
- (Q4203423) (← links)
- Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation (Q4337410) (← links)
- Modeling Discrete Event Systems With Faults Using a Rules-based Modeling Formalism (Q4465157) (← links)
- Prioritized Composition With Exclusion and Generation for the Interaction and Control of Discrete Event Systems (Q4465159) (← links)
- A probabilistic language formalism for stochastic discrete-event systems (Q4506660) (← links)
- Process objects/masked composition: an object-oriented approach for modeling and control of discrete-event systems (Q4506935) (← links)
- Control of stochastic discrete event systems modeled by probabilistic languages (Q4540354) (← links)
- A polynomial algorithm for testing diagnosability of discrete-event systems (Q4540472) (← links)
- Optimal Supervisory Control of Discrete Event Dynamical Systems (Q4698793) (← links)
- Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models (Q4698796) (← links)
- (Q4763559) (← links)
- (Q4782073) (← links)
- (Q4840936) (← links)
- Finite buffer realization of input-output discrete-event systems (Q4849700) (← links)
- Supervisory control of deterministic Petri nets with regular specification languages (Q4876593) (← links)
- Corrections to "Finite buffer realization of input-output discrete event systems" (Q4884150) (← links)
- Nonblocking supervisory control of nondeterministic systems via prioritized synchronization (Q4896783) (← links)
- Synthesis of Inference-Based Decentralized Control for Discrete Event Systems (Q4974151) (← links)
- Optimal Nonblocking Directed Control of Discrete Event Systems (Q4974282) (← links)
- A Framework for Fault-Tolerant Control of Discrete Event Systems (Q4974316) (← links)
- Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion (Q4974389) (← links)
- Computation of Diagnosable Fault-Occurrence Indices for Systems With Repeatable Faults (Q4974640) (← 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)
- Real-Time Control of Dense-Time Systems Using Digital-Clocks (Q4978928) (← links)
- Controlled Markov chains with safety upper bound (Q5266801) (← links)
- Optimal sensor selection for discrete-event systems with partial observation (Q5266908) (← links)
- Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization (Q5267073) (← links)
- Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications (Q5273787) (← links)
- Characterization of co-observable languages and formulas for their super/sublanguages (Q5274029) (← links)
- Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control (Q5274031) (← links)
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence (Q5281829) (← links)