The following pages link to Kuize Zhang (Q428113):
Displaying 40 items.
- Group inverses of matrices over right Ore domains (Q428114) (← links)
- Group inverse for the block matrices with an invertible subblock (Q732457) (← links)
- Invertibility and nonsingularity of Boolean control networks (Q900212) (← links)
- Finite automata approach to observability of switched Boolean control networks (Q901271) (← links)
- Observability of Boolean control networks with time-variant delays in states (Q1621156) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- Synthesis for observability of logical control networks (Q2165980) (← links)
- On detectability of labeled Petri nets and finite automata (Q2197590) (← links)
- The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete (Q2409237) (← links)
- Group inverse for block matrix with \(t\)-potent subblock (Q2511056) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- Generalized reversibility of topological dynamical systems and cellular automata (Q2814774) (← links)
- A weighted pair graph representation for reconstructibility of Boolean control networks (Q2833528) (← links)
- \(L_{2}\) stability, \(H_{\infty }\) control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation (Q2857120) (← links)
- On Decomposed Subspaces of Finite Games (Q2980311) (← links)
- Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata (Q2980437) (← links)
- Some results on the group inverse of the block matrix with a sub-block of linear combination or product combination of matrices over skew fields (Q3060026) (← links)
- The explicit representations of the Drazin inverses of a class of block matrices (Q3075152) (← links)
- Representations of the Drazin inverse on solution of a class singular differential equations (Q3090732) (← links)
- (Q3132181) (← links)
- Some results on the group inverse for block matrices over skew fields (Q3394473) (← links)
- Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories (Q5018294) (← links)
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems (Q5158671) (← links)
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach (Q5211280) (← links)
- Discrete-Time and Discrete-Space Dynamical Systems (Q5231414) (← links)
- (Q5375247) (← links)
- High-Order S-Lemma with Application to Stability of a Class of Switched Nonlinear Systems (Q5494871) (← links)
- Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures (Q5853936) (← links)
- A Framework for Output-Feedback Symbolic Control (Q6047057) (← links)
- A survey on observability of Boolean control networks (Q6063112) (← links)
- Agent Transformation of Bayesian Games<i /> (Q6077148) (← links)
- State-based opacity of labeled real-time automata (Q6122597) (← links)
- Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems (Q6137532) (← links)
- Detectability of labeled weighted automata over monoids (Q6343698) (← links)
- On the verification of detectability for timed discrete event systems (Q6550243) (← links)
- Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices (Q6563357) (← links)
- State-based opacity of real-time automata (Q6587272) (← links)
- Embedding cross-dimensional vector space into \(\ell^2\) (Q6594981) (← links)
- Diagnosability of labeled \(\mathfrak{D}_{\mathfrak{p}}\)-automata (Q6614006) (← links)
- On the ground state of one-dimensional quantum droplets for large chemical potentials (Q6624251) (← links)
