A stochastic state space model for the estimation f fiver temperature is presented, setting the stage for its implementation in optimal control algorithms. Physical processes modeled include advection, diffusion, and environmental heat exchange; the mathematical formulation isone dimensional. The deterministic formulation uses a hybrid characteristics-finite differences numerical scheme for the...

1 Performance objective and closed-loop convergence 1 1.1 Stochastic system models . . . . . . . . . . . . . . . . . . . 1 1.2 Performance cost . . . . . . . . . . . . . . . . . . . . . . . . 4 1.3 Cost evaluation . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.4 Unconstrained optimal control . . . . . . . . . . . . . . . . . 12 1.5 Receding horizon control, stability and convergence . . ...

State-space models have been increasingly used to study macroeconomic and financial problems. A state-space representation consists of two equations, a measurement equation which links the observed variables to unobserved state variables and a transition equation describing the dynamics of the state variables. In this paper, we show that a classic linear-quadratic macroeconomic framework which ...

This paper describes a formalization of agent-based models (ABMs) as random walks on regular graphs and relates the symmetry group of those graphs to a coarse-graining of the ABM that is still Mar-kovian. An ABM in which N agents can be in δ different states leads to a Markov chain with δ N states. In ABMs with a sequential update scheme by which one agent is chosen to update its state at a tim...

a wind farm is a collection of wind turbines built in an area to provide electricity. wind power is a renewable energy resource and an alternative to non-renewable fossil fuels. in this paper impact of wind farms in power system reliability is investigate and a new procedure for reliability assessment of wind farms in hl1 level is proposed. in proposed procedure, application of fuzzy – markov f...

The paper presents a new complex dynamic modeling of multi-phase asynchronous motors and investigates the Field-Oriented control applied to this type of machines. The new dynamic model is obtained in the state space using a complex rectangular transformation. The obtained model is complex, reduced-order and takes into account also the odd harmonic injection of the motor. The Field-Oriented cont...

The main objective of this study is to propose a methodology to build a parametric linear model of Flexible Multibody Systems for control design. This approach uses a combined Finite Element State Space Approach based on component modes synthesis and double-port approach. The proposed scheme offers the advantage of automatic assembly of substructures, preserving the elastic dynamical behavior o...

This paper presents an approach to automatic verification of asynchronous round-based consensus algorithms. We use model checking, a widely practiced verification method; but its application to asynchronous distributed algorithms is difficult because the state space of these algorithms is often infinite. The proposed approach addresses this difficulty by reducing the verification problem to sma...