175 citations · 192 across the 19 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.OC2019★ 4 cited
Revisiting delayed strong detectability of discrete-event systems
Kuize Zhang, Alessandro Giua
Among notions of detectability for a discrete-event system (DES), strong detectability implies that after a finite number of observations to every output/label sequence generated b…
math.OC2019
Synthesis for observability of logical control networks
Kuize Zhang
Finite-state systems have applications in systems biology, formal verification and synthesis of infinite-state (hybrid) systems, etc. As deterministic finite-state systems, logical…