Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting

@article{Liu2014DiagnosisOL,
  title={Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting},
  author={Baisi Liu and Mohamed Ghazel and A. K. A. Toguy{\'e}ni},
  journal={IFAC Proceedings Volumes},
  year={2014},
  volume={47},
  pages={1784-1789}
}
Abstract This paper deals with fault diagnosis of timed discrete event systems (TDESs), using a nondeterministic model named labeled time Petri net (LTPN). Thanks to a skillful splitting of time intervals assigned to the LTPN transitions, analyzing diagnosability in such a timed context can be performed using techniques from the untimed context. Moreover, a deterministic structure called augmented state class set graph (ASG) is built on the fly, for both analyzing (Δ-)diagnosability and… 

Figures from this paper

State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
TLDR
A procedure for the state estimation and fault diagnosis of a labeled Time Petri net system is presented and a procedure to perform fault diagnosis using the MSCG is presented.
An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets, Untimed and Timed Contexts
TLDR
The solution for the minimum delay that ensures diagnosability of LTPN models is provided and the efficiency in terms of time and memory compared with the traditional approaches based on state enumeration is shown.
A New Product Construction for the Diagnosability of Patterns in Time Petri Net
We propose a method to decide the diagnosability of patterns in labeled Time Petri nets (TPN) that gracefully extends a classic approach for the diagnosability of single faults. Our approach is based
Fault detection in timed Petri net partially observed
TLDR
An approach is developed for the online diagnosis of timed discrete events systems, the formalism used is the labeled timed Petri nets and a new concept is: enriched set of possible states, which allows to avoid the combinatorial explosion of states.
Failure prognosis in discrete events systems based on extended Time petri nets: example of an electric car battery cell
TLDR
This paper proposes a prognosis approach based on extended Petri Nets (EPN), a technique which makes it possible to determine the occurrence of a future failure event in advance, and several clocks for multi-resource prognosis.
Modeling, simulation, estimation and boundedness analysis of discrete event systems
TLDR
It is proved, using an illustrative example, that the proposed observer estimates well the system state by comparing the simulated and the estimated states.
Diagnostic de motifs de comportements dans les systèmes temporels
Dans cet article nous proposons une formulation du probleme de diagnostic de motifs d'un systeme temporel. Il s'agit de rechercher a partir d'une sequence d'observations du systeme, toutes les
Détection et localisation de fautes temporelles dans les systèmes (max,+)-linéaires
L'automatisation du diagnostic de pannes dans les systemes industriels tels que les sys-temes manufacturiers ou de transport souvent modelises par des Systemes a Evenements Discrets (SED) est un
...
1
2
...

References

SHOWING 1-10 OF 16 REFERENCES
An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets, Untimed and Timed Contexts
TLDR
The solution for the minimum delay that ensures diagnosability of LTPN models is provided and the efficiency in terms of time and memory compared with the traditional approaches based on state enumeration is shown.
The On-Line Diagnosis of Time Petri Nets
TLDR
This chapter addresses the diagnosis problem for Time Petri Net models and illustrates how this task can be performed based either on the construction of the state class graph or based on time processes.
Toward an efficient approach for diagnosability analysis of DES modeled by labeled Petri nets
This paper deals with the diagnosability of discrete event systems (DES) modeled by labeled Petri nets (LPNs). An additional parameter K ∈ ℕ, which is the number of observable events after an
State Observer for DES Under Partial Observation with Time Petri Nets
TLDR
The proposed approach exploits temporal constraints to assess the system state and therefore detect and determine faults given partial observability of events and develops a state observer which is a base to perform online fault detection and diagnosing.
Fault Diagnosis for Timed Automata
TLDR
What it means for a timed automaton to be diagnosable, and algorithms to check diagnosability, are defined, and the algorithms are based on standard reachability analyses in search of accepting states or non-zeno runs.
Fault Diagnosis Using Timed Automata
TLDR
It is proved that under this assumption diagnosability is 2EXPTIME-complete in the case of DTA's whereas it becomes PSPACE-complete for ERA's, and it is shown that the problem of synthesizing diagnosers in each of these classes is decidable.
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
TLDR
An enumerative method is proposed in order to exhaustively validate the behavior of Merlin's time Petri net model and it is applied to the specification and verification of the alternating bit protocol as a simple illustrative example.
Comparison of Different Semantics for Time Petri Nets
TLDR
This paper studies the model of Time Petri Nets (TPNs) where a time interval is associated with the firing of a transition, but it is extended by considering general intervals rather than closed ones and concludes that persistent atomic semantics should be preferred.
Using Zone Graph Method for Computing the State Space of a Time Petri Net
TLDR
A new efficient method to compute the state space of a bounded Time Petri Net as a marking graph, based on the region graph method used for Timed Automaton, which is proved to be exact with respect to the reachability of a marking.
The expressive power of time Petri nets
...
1
2
...