Kuize Zhang

From MaRDI portal
Person:428113

Available identifiers

zbMath Open zhang.kuizeMaRDI QIDQ428113

List of research outcomes

PublicationDate of PublicationType
State-based opacity of labeled real-time automata2024-03-01Paper
A survey on observability of Boolean control networks2023-11-07Paper
A Framework for Output-Feedback Symbolic Control2023-10-09Paper
Agent Transformation of Bayesian Games2023-09-25Paper
Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems2023-09-04Paper
Strong current-state and initial-state opacity of discrete-event systems2023-01-31Paper
Detectability of labeled weighted automata over monoids2022-10-12Paper
Synthesis for observability of logical control networks2022-08-23Paper
Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories2021-12-15Paper
A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems2021-10-25Paper
New methods for verifying strong periodic detectability and strong periodic D-detectability of discrete-event systems2021-09-18Paper
Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures2021-03-12Paper
On detectability of labeled Petri nets and finite automata2020-09-01Paper
Detectability of labeled weighted automata over monoids2020-06-25Paper
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach2020-01-28Paper
A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems2020-01-14Paper
Revisiting delayed strong detectability of discrete-event systems2019-10-30Paper
Discrete-Time and Discrete-Space Dynamical Systems2019-08-26Paper
Observability of Boolean control networks with time-variant delays in states2018-11-08Paper
https://portal.mardi4nfdi.de/entity/Q53752472018-09-14Paper
https://portal.mardi4nfdi.de/entity/Q31321812018-01-29Paper
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete2017-10-11Paper
On Decomposed Subspaces of Finite Games2017-05-03Paper
Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata2017-05-03Paper
Observability and reconstructibility of large-scale Boolean control networks via network aggregations2017-04-11Paper
A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks2016-11-18Paper
Basis for the linear space of matrices under equivalence2016-08-04Paper
https://portal.mardi4nfdi.de/entity/Q28147742016-06-23Paper
Polynomial representation for orthogonal projections onto subspaces of finite games2015-12-28Paper
Finite automata approach to observability of switched Boolean control networks2015-12-23Paper
Invertibility and nonsingularity of Boolean control networks2015-12-21Paper
Group inverse for block matrix with \(t\)-potent subblock2014-08-05Paper
High-Order S-Lemma with Application to Stability of a Class of Switched Nonlinear Systems2014-07-30Paper
L2stability,Hcontrol of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation2013-10-31Paper
Group inverses of matrices over right Ore domains2012-06-19Paper
Representations of the Drazin inverse on solution of a class singular differential equations2011-09-01Paper
The explicit representations of the Drazin inverses of a class of block matrices2011-02-10Paper
Some results on the group inverse of the block matrix with a sub-block of linear combination or product combination of matrices over skew fields2010-11-30Paper
Group inverse for the block matrices with an invertible subblock2009-10-09Paper
Some results on the group inverse for block matrices over skew fields2009-09-07Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Kuize Zhang