Assuming you are using CPLEX, you have at least two options. Both involve introducing a new variable to represent the quantity being multiplied by the indicator plus some new constraints that force the new variable to equal the expression above when the condition is true and to equal zero when the condition is false. One method uses what CPLEX terms an indicator constraint; the other uses "big M" constraints (ordinary constraints containing some potentially large coefficients). I have an
old blog post comparing the two, and it links to even older posts that are relevant.
Note that math programming models do not tolerate strict inequalities. So you will either have to tolerate some ambiguity if s^d_t equals t, or alternatively set the new variable equal to the expression for the <= t case, set it equal to zero for the >= t + epsilon case (epsilon some small positive constant), and essentially rule out s^d_t being between t and t + epsilon.
------------------------------
Paul Rubin
Professor Emeritus
Michigan State University
------------------------------