The following pages link to Xiang Yin (Q286343):
Displayed 50 items.
- Decentralized fault prognosis of discrete event systems with guaranteed performance bound (Q286345) (← links)
- Modeling concurrency with interval traces (Q515576) (← links)
- Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685) (← links)
- Bifurcation analysis and chaotic behavior of a discrete-time delayed genetic oscillator model (Q1628392) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← links)
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
- Disturbance rejection using SMC-based-equivalent-input-disturbance approach (Q2073112) (← links)
- A framework for current-state opacity under dynamic information release mechanism (Q2125535) (← links)
- Chaos suppression in speed control for permanent-magnet-synchronous-motor drive system (Q2217632) (← links)
- A general approach for optimizing dynamic sensor activation for discrete event systems (Q2280709) (← links)
- Block-based minimum input design for the structural controllability of complex networks (Q2280810) (← links)
- Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures (Q2407177) (← links)
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
- Optimal supervisory control with mean payoff objectives and under partial observation (Q2662323) (← links)
- Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'''' (Q2663851) (← links)
- An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
- Marking diagnosability verification in labeled Petri nets (Q2665360) (← links)
- Modeling Interval Order Structures with Partially Commutative Monoids (Q2912695) (← links)
- Decentralized Supervisory Control With Intersection-Based Architecture (Q2980310) (← links)
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems (Q2980448) (← links)
- Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems (Q2980556) (← links)
- Quadtree Representation and Compression of Spatial Data (Q3075311) (← links)
- (Q3307392) (← links)
- (Q4456498) (← links)
- (Q4545983) (← links)
- Minimization of Sensor Activation in Decentralized Discrete-Event Systems (Q4559516) (← links)
- Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem (Q4562832) (← links)
- On the Decidability and Complexity of Diagnosability for Labeled Petri Nets (Q4566964) (← links)
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem (Q4589448) (← links)
- Marking Predictability and Prediction in Labeled Petri Nets (Q4957608) (← links)
- On Approximate Opacity of Cyber-Physical Systems (Q4990273) (← links)
- Local Mean Payoff Supervisory Control for Discrete Event Systems (Q5092124) (← links)
- Online Supervisory Control of Networked Discrete Event Systems With Control Delays (Q5092126) (← links)
- Synthesis of Dynamic Masks for Infinite-Step Opacity (Q5125562) (← links)
- Robust Fault Diagnosis of Stochastic Discrete Event Systems (Q5211178) (← links)
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions (Q5211196) (← links)
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach (Q5211280) (← links)
- Corrections to “On the Decidability and Complexity of Diagnosability for Labeled Petri Nets” [Nov 17 5931-5938] (Q5223685) (← links)
- Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach (Q5280443) (← links)
- (Q5375267) (← links)
- Opacity Enforcing Supervisory Control Using Nondeterministic Supervisors (Q6053164) (← links)
- Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems (Q6093198) (← links)
- Reconstruction of pitchfork bifurcation with exogenous disturbances based on equivalent-input-disturbance approach (Q6117166) (← links)
- Model predictive monitoring of dynamical systems for signal temporal logic specifications (Q6152567) (← links)
- Disturbance rejection and performance analysis for nonlinear systems based on nonlinear equivalent-input-disturbance approach (Q6168842) (← links)
- Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)