Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems

Meiyi Ma, John Stankovic, Ezio Bartocci +1

Predictive monitoring -- making predictions about future states and monitoring if the predicted states satisfy requirements -- offers a promising paradigm in supporting the decisio…