The renewable energy resources such as wind power have recently attracted more researchers’ attention. It is mainly due to the aggressive energy consumption, high pollution and cost of fossil fuels. In this era, the future fluctuations of these time series should be predicted to increase the reliability of the power network. In this paper, the dynamic characteristics and short-term predictabili...

Keywords: Differential equations Difference equations Stability Bohl–Perron theorem Linear delay dynamic equations Time scales Uniform exponential stability a b s t r a c t This paper is concerned with the uniform exponential stability of ordinary and delay dynamic equations. After revealing the equivalence between various types of uniform exponential stability definitions on time scales with b...

The theory of dynamic equations appears in the literature in 1988 in the Ph. D. of S. Hilger [18]. The aim of this theory consists in to study differential and difference equations under the same formulation. Thus, the concepts of ∆– derivative and ∆−integral have been defined. These two concepts cover both the classical derivative and the Riemann integral together with the forward and sum oper...

The notion of recurrence over continuous or dense time, as required for expressing analog and mixed-signal behaviors, is fundamentally different from what offered by the operators SystemVerilog assertions (SVAs). This article introduces formal semantics time provides a methodology runtime verif...