SOURCE-LINKED INTELLIGENCE

Predictive Zonotope Reduction: Precise Runtime Monitoring under Uncertainty

arXiv · AI, language, vision and robotics · article · Sep 3, 2026 · UTC

Robots operating in physical environments make control decisions based on uncertain sensor measurements, which can lead to unsafe or suboptimal actions. Runtime monitors that check their behavior against safety specifications must represent this uncertainty soundly. Zonotopes are a widely used representation, but continuously incorporating new measurements grows their order unboundedly, so monitors must periodically apply an over-approximating reduction. The choice of the reduction method substantially affects the zonotope's precision, yet existing approaches typically utilize a fixed method t

Read original source ↗ Open in workspace

recordType

paper

region

Global