Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
Stream-based monitoring assesses the health of safety-critical systems by transforming input streams of sensor measurements into output streams that determine a verdict. These inputs are often treated as accurate representations of the physical state, although real sensors introduce calibration and...
Guardado en:
| Autores principales: | , , , |
|---|---|
| Format: | Artículo |
| Udgivet: |
2026
|
| Fag: | |
| Online adgang: | https://arxiv.org/abs/2601.11358 http://arxiv.org/abs/2601.11358 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|