Sign in

Probabilistic verification of diagnosability for a certain class of timed stochastic systems.

Dimitri LefebvreChristoforos N. Hadjicostis
Published in: Syst. Control. Lett. (2023)
Keyphrases
  • stochastic systems
  • discrete event
  • probabilistic model
  • stochastic models
  • bayesian networks
  • petri net
  • markov chain
  • conditional probabilities
  • conservation laws