Abstract: This paper is concerned with a non-autonomous delayed Nicholsonʼs blowflies model. Under proper conditions, we employ a novel argument to establish a criterion on the global exponential stability of positive periodic solutions. This answers an open problem proposed by Berezansky et al. (2010) [2]. We also provide numerical simulations to support the theoretical result. [Copyright &y& Elsevier]
Abstract: In model checking, the state-explosion problem occurs when one checks a nonflat system, i.e., a system implicitly described as a synchronized product of elementary subsystems. In this paper, we investigate the complexity of a wide variety of model-checking problems for nonflat systems under the light of parameterized complexity, taking the number of synchronized components as a parameter. We provide precise complexity measures (in the parameterized sense) for most of the problems we investigate, and evidence that the results are robust. [Copyright &y& Elsevier]