175 citations · 192 across the 19 of their papers we have counts for
Showing eess.SYShow all
3 papers · 1 filter
eess.SY2023★ 1 cited
Structures of M-Invariant Dual Subspaces with Respect to a Boolean Network
Dongyao Bi, Lijun Zhang, Kuize Zhang +1
This paper presents the following research findings on Boolean networks (BNs) and their dual subspaces.First, we establish a bijection between the dual subspaces of a BN and the pa…
eess.SY2021
A unified concurrent-composition method to state/event inference and concealment in discrete-event systems
Kuize Zhang
Discrete-event systems usually consist of discrete states and transitions between them caused by spontaneous occurrences of labelled (aka partially-observed) events. Due to the par…
eess.SY2020★ 1 cited
A Framework for Output-Feedback Symbolic Control
Mahmoud Khaled, Kuize Zhang, Majid Zamani
Symbolic control is an abstraction-based controller synthesis approach that provides, algorithmically, certifiable-by-construction controllers for cyber-physical systems. Symbolic…