Before revision:  In particular, we define the stability of a Boolean state sequence in consistency with the stability  of the original continuous trajectory that has been discretized.
After revision:  In particular, we define the stability of a Boolean state sequence in consistency with the stability properties of the original continuous trajectory that has been discretized.