Kuize Zhang

Identifiers

• name variant Kuize Zhang 0.60 · backfill

Papers (9)

1. A remark on diagnosability verification cs.FL · 2026 · author #1
2. On detectability of labeled Petri nets and finite automata math.OC · 2018 · author #1
3. Opacity of nondeterministic transition systems: A (bi)simulation relation approach cs.LO · 2018 · author #1
4. Observability and reconstructibility of large-scale Boolean control networks via network aggregations math.OC · 2017 · author #1
5. Basis for the linear space of matrices under equivalence math.OC · 2016 · author #1
6. Polynomial representation for orthogonal projections onto subspaces of finite games math.OC · 2015 · author #1
7. A weighted pair graph representation for reconstructibility of Boolean control networks math.OC · 2015 · author #1
8. Observability of Boolean control networks: A unified approach based on the theories of finite automata math.OC · 2014 · author #1
9. High-order S-Lemma with application to stability of a class of switched nonlinear systems math.OC · 2014 · author #1

Mentions

• 2606.07701 #1 · arxiv_oai · confidence 0.70 Kuize Zhang
• 1405.6780 #1 · backfill · confidence 0.70 Kuize Zhang
• 1403.1016 #1 · backfill · confidence 0.70 Kuize Zhang

Frequent Coauthors

• Lijun Zhang 3 shared papers
• Alessandro Giua 1 shared papers
• Fuchun Sun 1 shared papers
• Majid Zamani 1 shared papers
• Rong Su 1 shared papers
• Xiang Yin 1 shared papers