Sciweavers

Share
FORMATS
2010
Springer

Diagnosis Using Unfoldings of Parametric Time Petri Nets

11 years 7 months ago
Diagnosis Using Unfoldings of Parametric Time Petri Nets
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.
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jar
Added 11 Feb 2011
Updated 11 Feb 2011
Type Journal
Year 2010
Where FORMATS
Authors Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux
Comments (0)
books