C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers.
Dimitri Lefebvre
Christoforos N. Hadjicostis
Published in:
Discret. Event Dyn. Syst. (2020)
Keyphrases
</>
discrete event systems
safety analysis
petri net
timed petri nets
discrete event
safety critical
dynamic systems
control system
nuclear power plant
fault model
model based diagnosis
simulation model
symbolic model checking
telecommunication networks
fault tolerant
complex systems
dynamical systems
expert systems