Comparison of Enhanced Markov Models and Discrete Event Simulation: For Evaluation of Probabilistic Faults in Safety-Critical Real-Time Task Sets.
Stefan KrämerPeter RaabJürgen MottokStanislav RacekPublished in: DSD (2014)
Keyphrases
- markov models
- safety critical
- discrete event simulation
- real time
- formal methods
- markov model
- hidden markov models
- maximum entropy
- fault tolerant
- higher order
- embedded systems
- agent architecture
- conditional random fields
- discrete event
- generative model
- bayesian networks
- semiconductor manufacturing
- data mining
- supply chain
- probabilistic model
- knowledge base