Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-15297-9_12 | FORMATS |
Keywords | Field | DocType |
tool romeo,parametric time petri net,parametric constraint,causal relation,partial observation,time petri nets,on-line diagnosis,time parameter,distributed system,parameters,diagnosis | Petri net,Causal relations,Computer science,Theoretical computer science,Stochastic Petri net,Process architecture,Parametric statistics,Artificial intelligence | Conference |
Volume | ISSN | ISBN |
6246 | 0302-9743 | 3-642-15296-1 |
Citations | PageRank | References |
8 | 0.50 | 12 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bartosz Grabiec | 1 | 13 | 0.91 |
Louis-Marie Traonouez | 2 | 243 | 18.50 |
claude jard | 3 | 1155 | 101.84 |
didier lime | 4 | 787 | 46.02 |
olivier h roux | 5 | 671 | 46.30 |