Lataa...
Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields
A system with sporadic errors (SSE) is a controller which produces high quality output but it may occasionally violate a critical requirement REQ(I,O). A run-time enforcement shield is a controller which takes (I,O) (coming from SSE) as its input, and it produces a corrected output O' which gu...
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Aineistotyyppi: | Artigo |
| Kieli: | Inglês |
| Julkaistu: |
Open Publishing Association
2019-09-01
|
| Sarja: | Electronic Proceedings in Theoretical Computer Science |
| Linkit: | http://arxiv.org/pdf/1909.08541v1 |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Lataa...