Time series data are ubiquitous in life, and it is necessary and meaningful to predict important time series data such as power loads. Firstly, a noval interval type-2 fuzzy logic system is proposed ...

In this paper, we first construct a verifier for a time-interval automaton to verify its diagnosability. Then, based on the verifier, we enforce the diagnosability of a time-interval automaton by ...