We show an interesting connexion between the coarse-grained distribution function arising in the theory of violent relaxation for collisionless stellar systems (Lynden-Bell 1967) and the notion of superstatistics introduced recently by Beck & Cohen (2003). We also discuss the analogies and differences between the statistical equilibrium state of a multi-components self-gravitating system and th...

Explicit solutions to constrained linear MPC problems can be obtained by solving multi-parametric quadratic programs (mp-QP) where the parameters are the components of the state vector. We study the properties of the polyhedral partition of the state-space induced by the multiparametric piecewise linear solution and propose a new mp-QP solver. Compared to existing algorithms, our approach adopt...

Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based system, verification technologies such as testing can be applied to check underlying components and their composition. Conformance testing checks the consistency between the behavior and component specifications. On the o...

Retrieval of software components from a library relies on techniques for matching user requirements against library component interfaces. In this paper we introduce a number of techniques for matching formally specified, statebased modules. These techniques will form the basis for retrieval tool support. The techniques described in this paper build on existing specification matching methods, ba...

Ajax-driven Web applications require state to be maintained across a series of server requests related to a single Web page. This conflicts with the stateless approach used in most Web servers and makes it difficult to create modular components that use Ajax. We implemented and evaluated two approaches to managing component state: one, called reminders, stores the state on the browser, and anot...

In this paper, analysis of k-out-of-n Multi-State Systems (MSSs) is considered. This type of systems consists of n components, and it can be in state j if and only if at least k components are in state j or greater. Investigation of such systems has been considered in several works. However, most of them have dealt only with an efficient computation of several global characteristics, such as sy...

Component-level predictive maintenance schedules are developed to maximize multi-state system lifetime, considering degrading component multi-state behavior. To maximize the system time-to-replacement, the predictive maintenance schedule is based on individual component performance degradation trends, system performance requirements and component maintenance thresholds. This work is an extensio...