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...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , , , |
|---|---|
| Μορφή: | Artigo |
| Γλώσσα: | Inglês |
| Έκδοση: |
Editorial Department of Journal of Sichuan University (Engineering Science Edition)
2018-01-01
|
| Σειρά: | 工程科学与技术 |
| Θέματα: | |
| Διαθέσιμο Online: | http://jsuese.scu.edu.cn/thesisDetails#10.15961/j.jsuese.201800596 |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|