Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Kuize Zhang
Map detail
Kuize Zhang11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipKuize ZhangAKuize ZhangResearcher[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automataW[Draft] High-order esti...preprint / 2025Detectability of labeled weighted automata over monoidsWDetectability of labele...preprint / 2022Synthesis for observability of logical control networksWSynthesis for observabi...preprint / 2022A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systemsWA unified method to dec...preprint / 2020High-order S-Lemma with application to stability of a class of switched nonlinear systemsWHigh-order S-Lemma with...preprint / 2014Observability of Boolean control networks: A unified approach based on the theories of finite automataWObservability of Boolea...preprint / 2015Polynomial representation for orthogonal projections onto subspaces of finite gamesWPolynomial representati...preprint / 2015Basis for the linear space of matrices under equivalenceWBasis for the linear sp...preprint / 2016A weighted pair graph representation for reconstructibility of Boolean control networksWA weighted pair graph r...preprint / 2016Verification of Strong K-Step Opacity for Discrete-Event SystemsWVerification of Strong ...preprint / 2022
Person10 links

Kuize Zhang

Researcher