Temporal-Logical Stochastic Processes
Abstract
We develop a measure-theoretic framework for Temporal-Logical Stochastic Processes (TLSP), in which temporal-logic specifications induce time-indexed stochastic observables capturing the robustness of temporal satisfaction. Building upon existing probabilistic interpretations of temporal-logic robustness, we systematically investigate the stochastic-process structure of these observables. We establish their measurability, shifted-filtration adaptedness, and sample-path regularity under suitable assumptions, and characterize the action of temporal operators on stochastic processes. We derive pathwise perturbation bounds and quantify the sensitivity of temporal satisfaction probabilities through the probability mass concentrated near the logical boundary. A topology on the observable-process space and a semantic pseudometric on temporal formulas are introduced to establish convergence of temporal-logical observables under perturbations of formula parameters and temporal intervals. We further characterize conditions ensuring weak convergence of observable-process distributions and convergence of temporal satisfaction probabilities. Finally, we establish a process-level large-deviation principle for temporal-logical observables, providing a variational characterization of rare temporal events through minimum-action trajectories. The resulting framework connects temporal-logic semantics with stochastic-process topology, stability, convergence, and rare-event asymptotics, providing a mathematical foundation for the analysis of temporally constrained stochastic systems.
Related
- High-order fractional linear differential equations do not describe stochastic processes with finite state space
- Periodic measures for time-inhomogeneous stochastic differential equations driven by multiplicative α-stable processes: Existence, uniqueness and numerical approximation
- Density Evolution for Stochastic Dynamical Systems Driven by α-Stable Processes: An Equation-Free Numerical Approach
- Stochastic processes on reductive homogeneous and symmetric spaces
- The Characteristics of Finite Projections of Certain Stochastic Processes and Queues
BibTeX
@misc{renganathan2026temporallogical,
title = {{Temporal-Logical Stochastic Processes}},
author = {Venkatraman Renganathan},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.29209},
eprint = {2610.29209},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.29209},
}
RIS
TY - UNPB
TI - Temporal-Logical Stochastic Processes
AU - Venkatraman Renganathan
PY - 2026
DA - 2026/10/21
PB - arXiv
DO - 10.48550/arxiv.2610.29209
UR - https://arxiv.org/abs/2610.29209
AB - We develop a measure-theoretic framework for Temporal-Logical Stochastic Processes (TLSP), in which temporal-logic specifications induce time-indexed stochastic observables capturing the robustness of temporal satisfaction. Building upon existing probabilistic interpretations of temporal-logic robustness, we systematically investigate the stochastic-process structure of these observables. We establish their measurability, shifted-filtration adaptedness, and sample-path regularity under suitable assumptions, and characterize the action of temporal operators on stochastic processes. We derive pathwise perturbation bounds and quantify the sensitivity of temporal satisfaction probabilities through the probability mass concentrated near the logical boundary. A topology on the observable-process space and a semantic pseudometric on temporal formulas are introduced to establish convergence of temporal-logical observables under perturbations of formula parameters and temporal intervals. We further characterize conditions ensuring weak convergence of observable-process distributions and convergence of temporal satisfaction probabilities. Finally, we establish a process-level large-deviation principle for temporal-logical observables, providing a variational characterization of rare temporal events through minimum-action trajectories. The resulting framework connects temporal-logic semantics with stochastic-process topology, stability, convergence, and rare-event asymptotics, providing a mathematical foundation for the analysis of temporally constrained stochastic systems.
ER -