Runtime Safety Verification of Stochastic System with Hidden Markov Model
The state of a complex stochastic system for verification is difficult to be observed at runtime, since the cost of reliably sensing the operating state of the system is very high and the monitoring of some events can seriously affect time-related behaviors of the system. In order to perform runtime...
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Artigo |
| Lenguaje: | Inglês |
| Publicado: |
Editorial Department of Journal of Sichuan University (Engineering Science Edition)
2018-01-01
|
| Colección: | 工程科学与技术 |
| Materias: | |
| Acceso en línea: | http://jsuese.scu.edu.cn/thesisDetails#10.15961/j.jsuese.201800596 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|