Conformal quantitative predictive monitoring of stochastic systems with conditional validity

DOI10.1016/J.NAHS.2025.101606MaRDI QIDQ6966683zbMATH OpenFDO

Authors Francesca Cairoli, Tom Kuipers, Luca Bortolussi, Nicola Paoletti

Publication date 27 June 2025

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.NAHS.2025.101606

zbMATH Keywords

conditional validityconformal quantile regressionmulti-agent systempredictive monitoringstochastic process

Mathematics Subject Classification ID

Inference from stochastic processes and prediction (62M20) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites work

• An STL-based formulation of resilience in cyber-physical systems
• Approximate model checking of stochastic hybrid systems
• Clairvoyant monitoring for signal temporal logic
• Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
• Distribution-free Prediction Bands for Non-parametric Regression
• Electric load model synthesis by diffusion approximation of a high-order hybrid-state stochastic system
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 2168212 (Why is no real title available?)
• scientific article; zbMATH DE number 6306019 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Localized conformal prediction: a generalized inference framework for conformal prediction
• Robust satisfaction of temporal logic over real-valued signals
• Smoothed model checking for uncertain continuous-time Markov chains
• Stochastic hybrid models of gene regulatory networks -- a PDE approach
• System design of stochastic models using robustness of temporal properties
• Temporal Robustness of Stochastic Signals
• Verisig
• Weakness monitors for fail-aware systems

This page was built for publication: Conformal quantitative predictive monitoring of stochastic systems with conditional validity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6966683)