Using Hidden Markov Chain for Improving the Dependability of Safety-Critical WSNs.
Issam AlnaderAboubaker LasebaeRand RaheemPublished in: AINA (1) (2023)
Keyphrases
- markov chain
- safety critical
- formal methods
- steady state
- wireless sensor networks
- fault tolerant
- finite state
- agent architecture
- embedded systems
- transition probabilities
- monte carlo
- markov model
- monte carlo simulation
- safety analysis
- stationary distribution
- random walk
- support systems
- monte carlo method
- state space
- transition matrix
- markov models
- sensor networks
- adaptive systems
- complex systems
- ambient intelligence
- data mining
- real time