5 papers
New Insights into the Decidability of Opacity in Timed Automata
Weilin Deng, Daowen Qiu, Jingkai Yang
This paper investigates the decidability of opacity in timed automata (TA), a property that has been proven to be undecidable in general. First, we address a theoretical gap in rec…
Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms
Weilin Deng, Daowen Qiu, Jingkai Yang
Finite automata (FAs) model is a popular tool to characterize discrete event systems (DESs) due to its succinctness. However, for some complex systems, it is difficult to describe…
Supervisory Control of Probabilistic Discrete Event Systems under Partial Observation
Weilin Deng, Jingkai Yang, Daowen Qiu
The supervisory control of probabilistic discrete event systems (PDESs) is investigated under the assumptions that the supervisory controller (supervisor) is probabilistic and has…
Bi-Fuzzy Discrete Event Systems and Their Supervisory Control Theory
Weilin Deng, Daowen Qiu
It is well known that type-1 fuzzy sets (T1 FSs) have limited capabilities to handle some data uncertainties directly, and type-2 fuzzy sets (T2 FSs) can cover the shortcoming of T…
Supervisory Control of Fuzzy Discrete Event Systems for Simulation Equivalence
Weilin Deng, Daowen Qiu
The supervisory control theory of fuzzy discrete event systems (FDESs) for fuzzy language equivalence has been developed. However, in a way, language equivalence has limited expres…