Fault diagnosis is an important topic both in practice and research. There is intense pressure
on industrial systems to continue reducing unscheduled downtime, performance …

A large number of alarm information will be generated after the distribution network fails,
these information can be used to identify fault components quickly. Since the existing fault …

Smart factories manage digital twins (DTs) to evaluate the performance of various what-if
production scenarios. This article presents a DT consistency-checking approach to maintain …

This paper addresses the verification of strong cur-rent-state opacity with respect to real-time
observations gener-ated from a discrete-event system that is modeled with time labeled Petri …

In this paper, we present an improved method for the state estimation of a labeled time Petri
net (LTPN) system with unobservable transitions. Precisely, we provide a computationally …

This paper proposes an efficient marking estimation method for a subclass of time labeled
Petri nets (TLPNs), in which each transition is associated with an infinite upper bound delay …

In this paper, we design a diagnostic technique for a partially observed labelled Petri net
where the faults of the system are modelled by unobservable transitions. The fault detection …

Fault diagnosis plays a crucial role in ensuring industrial safety and enhancing social
benefits. However, identifying fault paths accurately becomes challenging due to process …

In this paper, we design an efficient diagnosis technique for partially observed discrete event
systems modeled by labeled Petri nets. The fault detection is based on analytical …

Fault-freeness is one of the necessary guarantees for healthy and stable operations of
discrete event systems. Traditional diagnostic models may fail since sensors may suffer …