default search action
Kuize Zhang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j35]Weijie Dong, Kuize Zhang, Shaoyuan Li, Xiang Yin:
On the verification of detectability for timed discrete event systems. Autom. 164: 111644 (2024) - [j34]Kuize Zhang:
State-based opacity of labeled real-time automata. Theor. Comput. Sci. 987: 114373 (2024) - [j33]Kuize Zhang, Jörg Raisch:
Diagnosability of labeled Dp-automata. Theor. Comput. Sci. 1015: 114743 (2024) - [i12]Xiaoguang Han, Kuize Zhang, Zhiwu Li:
Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems. CoRR abs/2401.10363 (2024) - [i11]Kuize Zhang, Xiaoguang Han, Alessandro Giua, Carla Seatzu:
[Draft] High-order observers and high-order state-estimation-based properties of discrete-event systems. CoRR abs/2408.06141 (2024) - 2023
- [j32]Kuize Zhang:
A unified concurrent-composition method to state/event inference and concealment in labeled finite-state automata as discrete-event systems. Annu. Rev. Control. 56: 100902 (2023) - [j31]Xiaoguang Han, Kuize Zhang, Jiahui Zhang, Zhiwu Li, Zengqiang Chen:
Strong current-state and initial-state opacity of discrete-event systems. Autom. 148: 110756 (2023) - [j30]Kuize Zhang
:
Removing Two Fundamental Assumptions in Verifying Strong Periodic (D-)Detectability of Discrete-Event Systems. IEEE Control. Syst. Lett. 7: 1518-1523 (2023) - [j29]Kuize Zhang:
A New Framework for Discrete-Event Systems. Found. Trends Syst. Control. 10(1-2): 1-179 (2023) - [j28]Shengli Xue, Lijun Zhang, Zhiqi Xie, Weijun Yan, Kuize Zhang:
Embedding Cross-Dimensional Vector Space into ℓ2. J. Syst. Sci. Complex. 36(6): 2309-2324 (2023) - [j27]Kuize Zhang
Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems. IEEE Trans. Autom. Control. 68(1): 510-515 (2023) - [j26]Mahmoud Khaled
A Framework for Output-Feedback Symbolic Control. IEEE Trans. Autom. Control. 68(9): 5600-5607 (2023) - [i10]Dongyao Bi, Lijun Zhang, Kuize Zhang:
Structural Properties of Invariant Dual Subspaces of Boolean Networks. CoRR abs/2301.10961 (2023) - 2022
- [j25]Kuize Zhang:
Synthesis for observability of logical control networks. Autom. 144: 110481 (2022) - [j24]Kuize Zhang
Detectability of labeled weighted automata over monoids. Discret. Event Dyn. Syst. 32(3): 435-494 (2022) - [j23]Yuhu Wu
Agent Transformation of Bayesian Games. IEEE Trans. Autom. Control. 67(11): 5793-5808 (2022) - [c15]Kuize Zhang:
How attacks affect detectability in discrete-event systems? ACC 2022: 3728-3733 - [c14]Weijie Dong
On the Verification of Detectability for Timed Systems. ACC 2022: 3752-3758 - [c13]Xiaoguang Han
Verification of Strong K-Step Opacity for Discrete-Event Systems. CDC 2022: 4250-4255 - [i9]Xiaoguang Han
Verification of Strong K-Step Opacity for Discrete-Event Systems. CoRR abs/2204.04698 (2022) - 2021
- [j22]Kuize Zhang:
A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems. Fundam. Informaticae 181(4): 339-371 (2021) - [c12]Kuize Zhang:
State-Based Opacity of Real-Time Automata. AUTOMATA 2021: 12:1-12:15 - [c11]Kuize Zhang, Jörg Raisch:
Diagnosability of labeled weighted automata over the monoid (ℚ⩾0, +, 0). CDC 2021: 6867-6872 - [i8]Xiaoguang Han, Kuize Zhang, Jiahui Zhang, Zhiwu Li, Zengqiang Chen:
Strong current-state and initial-state opacity of discrete-event systems. CoRR abs/2109.05475 (2021) - [i7]Kuize Zhang, Jörg Raisch:
Diagnosability of labeled max-plus automata. CoRR abs/2109.07125 (2021) - [i6]Kuize Zhang:
A unified concurrent-composition method to state/event inference and concealment in discrete-event systems. CoRR abs/2111.02824 (2021) - 2020
- [j21]Xiaoye Gao, Jinhuan Wang, Kuize Zhang:
Dynamics and control of evolutionary congestion games. Sci. China Inf. Sci. 63(1) (2020) - [j20]Kuize Zhang:
Basis for the quotient space of matrices under equivalence. Sci. China Inf. Sci. 63(8): 1-3 (2020) - [j19]Kuize Zhang
On detectability of labeled Petri nets and finite automata. Discret. Event Dyn. Syst. 30(3): 465-497 (2020) - [j18]Kuize Zhang
Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures. IEEE Trans. Autom. Control. 65(12): 5144-5158 (2020) - [i5]Kuize Zhang:
A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems. CoRR abs/2001.04729 (2020) - [i4]Kuize Zhang:
Detectability of labeled weighted (max-plus) automata. CoRR abs/2006.14164 (2020) - [i3]Mahmoud Khaled, Kuize Zhang, Majid Zamani:
Output-Feedback Symbolic Control. CoRR abs/2011.14848 (2020)
2010 – 2019
- 2019
- [j17]Kuize Zhang
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach. IEEE Trans. Autom. Control. 64(12): 5116-5123 (2019) - [c10]Kuize Zhang, Karl Henrik Johansson:
Synthesis for controllability and observability of logical control networks. CDC 2019: 108-113 - [c9]Kuize Zhang, Alessandro Giua:
K-delayed strong detectability of discrete-event systems. CDC 2019: 7647-7652 - 2018
- [j16]Dapeng Jiang, Kuize Zhang:
Observability of Boolean Control Networks with Time-Variant Delays in States. J. Syst. Sci. Complex. 31(2): 436-445 (2018) - [j15]Ping Sun, Lijun Zhang, Kuize Zhang:
Reconstructibility of Boolean control networks with time delays in states. Kybernetika 54(5): 1091-1104 (2018) - [j14]Kuize Zhang
Observability of Finite Labeled Transition Systems. IEEE Trans. Autom. Control. 63(6): 1501-1512 (2018) - [c8]Kuize Zhang, Karl Henrik Johansson:
An algorithm for computing explicit expressions for orthogonal projections onto finite-game subspaces. CDC 2018: 3196-3202 - [i2]Kuize Zhang, Xiang Yin, Majid Zamani:
Opacity of nondeterministic transition systems: A (bi)simulation relation approach. CoRR abs/1802.03321 (2018) - [i1]Kuize Zhang, Alessandro Giua:
On detectability of labeled Petri nets with inhibitor arcs. CoRR abs/1802.07551 (2018) - 2017
- [j13]Kuize Zhang:
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete. Autom. 81: 217-220 (2017) - [j12]Kuize Zhang
An Application of Invertibility of Boolean Control Networks to the Control of the Mammalian Cell Cycle. IEEE ACM Trans. Comput. Biol. Bioinform. 14(1): 225-229 (2017) - [c7]Kuize Zhang, Lijun Zhang:
On eventual periodicity of networked evolutionary games. CASE 2017: 177-180 - [c6]Kuize Zhang, Majid Zamani:
Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach. CDC 2017: 5615-5619 - [c5]Kuize Zhang:
A note on stationary stable profiles of networked evolutionary games. ICCA 2017: 209-211 - 2016
- [j11]Kuize Zhang, Lijun Zhang:
Controllability of probabilistic Boolean control networks with time-variant delays in states. Sci. China Inf. Sci. 59(9): 92204 (2016) - [j10]Kuize Zhang, Lijun Zhang, Rong Su
A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks. SIAM J. Control. Optim. 54(6): 3040-3060 (2016) - [j9]Kuize Zhang, Lijun Zhang:
Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata. IEEE Trans. Autom. Control. 61(9): 2733-2738 (2016) - [j8]Daizhan Cheng
On Decomposed Subspaces of Finite Games. IEEE Trans. Autom. Control. 61(11): 3651-3656 (2016) - [c4]Kuize Zhang:
On nonsingularity of Boolean control networks. ACC 2016: 2876-2879 - 2015
- [j7]Kuize Zhang, Lijun Zhang, Lihua Xie:
Invertibility and nonsingularity of Boolean control networks. Autom. 60: 155-164 (2015) - [j6]Kuize Zhang, Lijun Zhang:
Generalized Reversibility of Topological Dynamical Systems and Cellular Automata. J. Cell. Autom. 10(5-6): 425-434 (2015) - [c3]Kuize Zhang, Nan Xiao, Lihua Xie, Emilio Frazzoli, Daniela Rus:
Convergence speed analysis for evolutionary congestion games. ASCC 2015: 1-5 - [c2]Kuize Zhang, Lijun Zhang, Lihua Xie, Zhe Jiang:
Using the theories of finite automata and formal languages to determine observability of switched Boolean control networks. CDC 2015: 4214-4219 - 2014
- [j5]Kuize Zhang, Lijun Zhang, Fuchun Sun:
High-Order S-Lemma with Application to Stability of a Class of Switched Nonlinear Systems. SIAM J. Control. Optim. 52(1): 120-142 (2014) - 2013
- [j4]Lijun Zhang, Kuize Zhang:
Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories. Sci. China Inf. Sci. 56(10): 1-12 (2013) - [j3]Lijun Zhang, Kuize Zhang:
Controllability and Observability of Boolean Control Networks With Time-Variant Delays in States. IEEE Trans. Neural Networks Learn. Syst. 24(9): 1478-1484 (2013) - [c1]Kuize Zhang, Lijun Zhang:
Controllability of probabilistic Boolean control networks with time-variant delays in states. CDC 2013: 7211-7216 - 2012
- [j2]Kuize Zhang, Changjiang Bu:
Group inverses of matrices over right Ore domains. Appl. Math. Comput. 218(12): 6942-6953 (2012)
2000 – 2009
- 2009
- [j1]Changjiang Bu, Min Li, Kuize Zhang, Lan Zheng:
Group inverse for the block matrices with an invertible subblock. Appl. Math. Comput. 215(1): 132-139 (2009)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-22 00:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: