Diagnosis using unfoldings of parametric time Petri nets - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Diagnosis using unfoldings of parametric time Petri nets

Résumé

This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the method on unfoldings. Given a partial observation, as a possibly structured set of actions, our method determines the causal relation between events in the model that explain the observation. It can also synthesize parametric constraints associated with these explanations. The method is implemented in the tool Romeo. We present its application to the diagnosis of the example of a cowshed with pigs.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

hal-00523597 , version 1 (05-10-2010)

Identifiants

  • HAL Id : hal-00523597 , version 1

Citer

Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier Henri Roux. Diagnosis using unfoldings of parametric time Petri nets. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), Sep 2010, Vienna, Austria. pp.137-151. ⟨hal-00523597⟩
291 Consultations
0 Téléchargements

Partager

More