3 papers
cs.FL2026
Order-2 bygone-state opacity of labeled finite-state automata
Kuize Zhang
In this paper, we formulate a scenario that an agent can never be sure that another agent can uniquely determine the state of a finite-state automaton based on its observations to…
cs.FL2026
A remark on diagnosability verification
Kuize Zhang
We point out three inaccuracies in paper [M.V. Moreira, T.C. Jesus, and J.C. Basilio. Polynomial time verification of decentralized diagnosability of discrete event systems. IEEE T…
cs.FL2025
[Draft] High-order estimation-based properties and high-order observers for labeled finite-state automata
Kuize Zhang, Xiaoguang Han, Alessandro Giua +1
In this paper, we consider labeled finite-state automata (LFSAs), extend some state estimation-based properties from a single agent to a finite ordered set of agents. We also exten…