I am trying to see if there is a class of statistical regression models which can specifically be used to model the "time to event" (e.g. time at which a certain threshold is expected to be passed for the first time). So far I have seen models that can be used for modelling how different phenomena change with time (e.g. Hazard, Survival), but nothing which directly models the "first passage time to event".
Here is a review of the research I have done:
1) Joint Survival Models
I decided to write a Joint Survival Model based on AFT (Accelerated Failure Time) instead of Cox-PH since it is easier to determine the Survival and Hazard Function in AFT vs Cox-PH. In a joint model, the survival and longitudinal models are linked through shared random effects and/or correlated error terms. This allows the model to account for the correlation between the longitudinal and survival processes.
The common terms in both components are the covariates $X$ and the coefficients $\beta$. These represent the variables of interest and their effects on the response, respectively. In the survival model, they influence the survival time, while in the longitudinal model, they influence the evolution of the response over time.
Survival Model (AFT Model): The AFT model describes the survival time $T$ as a function of covariates $X$ and a random error term $\epsilon$. It can be written as:
$$\log T = -X'\beta + \epsilon$$
where $\beta$ is a vector of coefficients to be estimated, and $\epsilon$ follows some specified distribution, such as a Weibull or log-normal distribution.
In this case, let's assume that the Survival Times have a PDF of $f(t)$ and a CDF of $F(T)$. For $Z = -X'\beta$, then we have $\log T = Z + \epsilon$. This implies: $T = e^{Z + \epsilon} = e^Z e^\epsilon$
If we denote $Y = e^\epsilon$, then $T = e^Z Y$. The distribution of $T$ is specified, so we know the pdf and CDF of $T$, denoted as $f(t)$ and $F(t)$ respectively.
Given the transformation $T = e^Z Y$, we can derive the survival and hazard functions for $T$ as follows:
$$S_T(t) = P(T > t) = P(e^Z Y > t) = P(Y > t / e^Z) = 1 - F_Y(t / e^Z)$$
$$h_T(t) = f_T(t) / S_T(t) = f_Y(t / e^Z) / (1 - F_Y(t / e^Z))$$
where $f_Y$ and $F_Y$ are the pdf and CDF of $Y$.
Longitudinal Model: The longitudinal model describes the evolution of covariates over time. A common choice is the linear mixed effects model, which can be written as:
$$Y(t) = X(t)'\beta + Z(t)'\gamma + \epsilon(t)$$
where $Y(t)$ is the response at time $t$, $X(t)$ is a matrix of fixed effects covariates, $Z(t)$ is a matrix of random effects covariates, $\beta$ and $\gamma$ are vectors of fixed and random effects coefficients to be estimated, and $\epsilon(t)$ is a random error term.
2) ARIMA Model with Exogeneous Terms (i.e. ARIMAX):
Given a basic ARIMA model describing a Stochastic Process $Y_t$:
$$\Delta^d y_t = c + \phi_1 \Delta^d y_{t-1} + \ldots + \phi_p \Delta^d y_{t-p} + \theta_1 \varepsilon_{t-1} + \ldots + \theta_q \varepsilon_{t-q} + \varepsilon_t$$
We can modify this to turn it into a regression model:
$$\Delta^d y_t = c + \beta X_t + \phi_1 \Delta^d y_{t-1} + \ldots + \phi_p \Delta^d y_{t-p} + \theta_1 \varepsilon_{t-1} + \ldots + \theta_q \varepsilon_{t-q} + \varepsilon_t$$
where:
- $X_t$ is the exogenous variable.
- $\beta$ is the coefficient of the exogenous variable.
Problem: It seems to me that neither of these models (i.e. Joint Survival Models, ARIMAX) are explicitly modelling the "time to event". These models are modelling "what will happen at a certain time", but they are not directly modelling the probability the time at which the event will happen. I think these models can indirectly be used to model "time to event" via simulation and prediction, but this will not be an exact solution.
I tried to find some statistical models that address this specific problem and came across a concept known as "first passage time regression", e.g. https://www.jstatsoft.org/article/download/v066i08/879, https://www.wiley.com/en-br/First+Hitting+Time+Regression+Models:+Lifetime+Data+Analysis+Based+on+Underlying+Stochastic+Processes-p-9781848218895
If I understand correctly, we start by considering a stochastic process $X(t)$, where $t \geq 0$. The first hitting time $\tau_b$ of a level $b$ is defined as:
$$\tau_b = \inf\{t \geq 0: X(t) = b\}$$
This represents the first time $t$ that the process $X(t)$ reaches the level $b$.
Suppose now we decide to model this process using a Brownian Motion with drift $X_t = \mu(t) t + \sigma W_t$, where $W_t$ is a standard Brownian motion, $\mu(t)$ is the drift, and $\sigma$ is the standard deviation. We can model the drift term as a function of some covariates $Z(t)$:
$$\mu(t) = Z(t)'\beta$$
where $\beta$ is a vector of coefficients to be estimated. The first passage time $T_a$ for a fixed level $a > 0$ by $X_t$ is then distributed as an Inverse Gaussian (there is some mathematical property that says the first passage time of a Brownian Motion is naturally described by an Inverse Gaussian distribution, however I don't fully understand why to be honest) :
$$T_a \sim IG\left(\frac{a}{Z(t)'\beta}, \frac{a^2}{\sigma^2}\right)$$
The likelihood function for this model can be written as:
$$L(\beta | Z, T_a) = \sqrt{\frac{a^2}{2\pi \sigma^2 T_a^3}} \exp\left(-\frac{a^2(T_a - Z(t)'\beta)^2}{2\sigma^2 Z(t)'\beta^2 T_a}\right)$$
This likelihood function can be maximized to estimate the parameter $\beta$, giving us the maximum likelihood estimate (MLE) of $\beta$.
Thus, it appears that we can now exactly model the time at which a certain event might happen, by treating the underlying probability distribution of this event as a (covariate dependent) Stochastic Process and then analyzing this Stochastic Process using first passage times.
Is my understanding of this correct? Have I correctly described the shortcomings of the Joint Survival and ARIMAX models, and shown why an approach based on first passage times can remedy these shortcomings?