State-set search is state space search when the states being manipulated by the search algorithm are sets of states from some underlying state space. State-set search arises commonly in planning and abstraction systems, but this paper provides the first formal, general analysis of state-set search. We show that the state-set distance computed by planning systems is different than that computed ...

In the aero-elastic analysis of wind turbines based on blade element theory, the need to include a model of the local, two-dimensional instationary aerodynamic loads, commonly referred to as dynamic stall has become obvious in the last years. In this contribution we describe an alternative choice for such a model, based on [19]. Its derivation is governed by the flow physics, thus enabling inte...

There are various fractional order systems existing. This paper deals with the modelling of fractional order systems using an old and unique model structure i.e. state space model. The fractional order process system can be mathematically modelled by state space model. Simulation results validated that the fractional order model using state space is better as compared to other models such as fi...

This paper applies a state-space approach to estimate the implicit inflation target of the South African Reserve Bank (SARB) since the adoption of the Inflation Targeting (IT) framework. The paper‟s findings are two. First, although the official inflation target range is 3–6 percent, in practice, the SARB seems to have aimed for the upper segment of the band (41 2 –6 percent) for most of the p...

Problem 1 (a) We will compute theH2 norm ofG using state-space methods (see Section 2.6 in DFT). We begin by finding a minimal state-space representation of the system with transfer function G(s). Assuming u(0) = y(0) = 0 as usual, we have: sy(s) + 2sy(s) + sy(s) + y(s) = u(s) ⇔ ... y (t) + 2ÿ(t) + ẏ(t) + y(t) = u(t) Defining x1 = y, x2 = ẏ, x3 = ÿ, the corresponding state-space representation ...

Avoiding State-Space Explosion in Multithreaded Programs with Input-Covering Schedules and Symbolic Execution

In state-space system identification theory, the Hankel matrix often appears prior to model realization. Traditionally, one identifies from input-output data the Markov parameters from which the Hankel matrix is built. This paper examines the strategy where the Hankel matrix itself is identified from input-output data. Various options are examined along this direction where the identification o...

In this paper, we consider formal series associated with events, profiles derived from events, and statistical models that make predictions about events. We prove theorems about realizations for these formal series using the language and tools of Hopf algebras.