Sign in
Probabilistic verification of diagnosability for a certain class of timed stochastic systems.
Dimitri Lefebvre
Christoforos 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