Manufacturing systems are considered to be dynamical systems in terms of Dynamical Systems Theory. A dynamical model of a flow line is introduced and analysed by using its state space. The work systems of the flow line are compared to a pendulum oscillator, which are driven by the part input and damped by their processing capacity. Depending on the ratio between part input and capacity, the und...

This paper is concerned with modeling planning problems involving uncertainty as discrete-time, nite-state stochastic automata. Solving planning problems is reduced to computing policies for Markov decision processes. Classical methods for solving Markov decision processes cannot cope with the size of the state spaces for typical problems encountered in practice. As an alternative, we investiga...

A sliding sector has been defined as a subset of the state space, inside which a norm of state decreases with zero control input [1]. In this paper, an invariant sliding sector is defined to be such a kind of sliding sector inside which with a suitable control law, the norm keeps decreasing and the system state stays there since then after entering the sector, i.e. the sector defined in the pap...

This paper studies the problem of the guaranteed cost control via static-state feedback controllers for a class of two-dimensional (2-D) discrete systems described by the Fornasini-Marchesini second local state-space (FMSLSS) model with norm bounded uncertainties. A convex optimization problem with linear matrix inequality (LMI) constraints is formulated to design the suboptimal guaranteed cost...

Standard solution methods for linearised models with rational expectations take the structural parameters to be constant. These solutions are fundamental for likelihood-based estimation of such models. Regime changes, such as those associated with either changed rules for economic policy, institutional changes, or changes in the technology of production, can generate large changes in the statis...

We consider a decision problem taking place over time. In each time period, the single player can take an action by α ∈ A , an action space. All information relevant to the future is incorporated in a state variable y Y ∈ , the state space. The dynamics of y are determined by a transition probability π α ( ’ , ) y y . We define the set of states reachable with some probability under some circum...

Inspired by the definition of non-Gaussian two-parametric continuous-variable analog an isotropic state introduced Mi\ifmmode \check{s}\else \v{s}\fi{}ta et al. [Phys. Rev. A 65, 062315 (2002)], we propose to take Gaussian part this as independent itself, which yields a simple, but with respect correlation structure interesting, example two-mode state. Unlike conventional states are defined con...

Abstract. The trend towards multi-core computing has made concurrent software an important target of computer-aided verification. Unfortunately, Model Checkers for such software suffer tremendously from combinatorial state space explosion. We show how to apply counter abstraction to real-world concurrent programs to factor out redundancy due to thread replication. The traditional global state r...

This paper proposes an approach to fuzzy modeling of Anti-lock Braking Systems (ABSs). The local state-space models are derived by the linearization of the nonlinear ABS process model at ten operating points. The Takagi-Sugeno (T-S) fuzzy models are obtained by the modal equivalence principle, where the local state-space models are the rule consequents. The optimization problems are defined in ...