State Recognition in Discrete Dynamical Systems Using Petri Nets and Evidence Theory

  • Authors:
  • Michèle Rombaut;Iman Jarkass;Thierry Denoeux

  • Affiliations:
  • -;-;-

  • Venue:
  • ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

A method is proposed for determining the state of a dynamical system modeled by a Petri net, using observations of its inputs. The initial state of the system may be totally or partially unknown, and sensor reports may be uncertain. In previous work, a belief Petri net model using the formalism of evidence theory was defined, and the resolution of the system was done heuristically by adapting the classical evolution equations of Petri nets. In this paper, a more principled approach based on the Transferable Belief Model is adopted, leading to simpler computations. An example taken from an intelligent vehicle application illustrates the method throughout the paper.