The state space of finite square and cubic Ising spin glass models is analysed in terms of the global and the local density of states. Systems with uniform and gaussian probability distribution of interactions are compared. Different measures for the local state density are presented and discussed. In particular the question whether the local density of states grows exponentially or not is cons...

Many sophisticated formalisms exist for specifying complex system behaviors, but methods for specifying performance and dependability variables have remained quite primitive. To cope with this problem, modelers often must augment system models with extra state information and event types to support particular variables. This often leads to models that are non-intuitive, and must be changed to s...

We consider a new class of planning problems involving a set of non-negative real variables, and a set of non-deterministic actions that increase or decrease the values of these variables by some arbitrary amount. The formulas specifying the initial state, goal state, or action preconditions can only assert whether certain variables are equal to zero or not. Assuming that the state of the varia...

Tracking 3D people from monocular video is often poorly constrained. To mitigate this problem, prior information can be exploited. In learning the prior stage, most algorithms think representing high-dimensional pose space in low-dimensional space as dimension reduction procedure, without considering the geometrical relation or time correlation in pose space. Therefore, the prior loses physical...

The likelihood function of a general non-linear, non-Gaussian state space model is a highdimensional integral with no closed-form solution. In this paper, I show how to calculate the likelihood function exactly for a large class of non-Gaussian state space models that includes stochastic intensity, stochastic volatility, and stochastic duration models among others. The state variables in this c...

In this paper, we propose a method of designing low-dimensional retrofit controllers for interconnected linear systems. In the proposed method, by retrofitting an additional low-dimensional controller to a preexisting control system, we aim at improving transient responses caused by spatially local state deflections, which can be regarded as a local fault occurring at a specific subsystem. It i...

directional simulation, among techniques for reliability analysis of engineering structures, is well known. in this context, directional simulation in load space, because of the considerable advantages of lower dimension of working space, is of considerable interest. as is expected due to structural resistance variability, the location of the relevant limit state(s) is no longer constant and mu...

This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the product state space of a concurrent program. The method developed in this paper replaces such global reasoning with checks of (abstracted) individual processes. An automatic refinement step gradually exposes local state if neces...