Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
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…
eess.SY2018
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…