Abstract: Regarding the fault diagnosis issue in real-time discrete event systems, existing detection methods typically involve modeling using labeled time Petri net (LTPN), followed by using the ...
Abstract: This article focuses on the predictability verification problem of fault patterns for both bounded and unbounded discrete event systems modeled with labeled Petri nets. A system is said to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback