175 citations · 192 across the 19 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
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…
cs.FL2020
Detectability of labeled weighted automata over monoids
Kuize Zhang
In this paper, we for the first time obtain characterization of four fundamental notions of detectability for general labeled weighted automata over monoids (denoted by $\mathcal{A…
math.OC2020
A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems
Kuize Zhang
The state inference problem and fault diagnosis/prediction problem are fundamental topics in many areas. In this paper, we consider discrete-event systems (DESs) modeled by finite-…