نتایج جستجو برای: bounded parameter space

تعداد نتایج: 729855  

2008
Bixiang Wang

The existence of a pullback attractor is established for the singularly perturbed FitzHughNagumo system defined on the entire space Rn when external terms are unbounded in a phase space. The pullback asymptotic compactness of the system is proved by using uniform a priori estimates for far-field values of solutions. Although the limiting system has no global attractor, we show that the pullback...

2008
James P. Hobert Galin L. Jones Wen-Lin Lai

We consider evaluation of proper posterior distributions obtained from improper prior distributions. Our context is estimating a bounded function φ of a parameter when the loss is quadratic. If the posterior mean of φ is admissible for all bounded φ, the posterior is strongly admissible. We give sufficient conditions for strong admissibility. These conditions involve the recurrence of a Markov ...

2007
Morris L. Eaton James P. Hobert Wen-Lin Lai

We consider evaluation of proper posterior distributions obtained from improper prior distributions. Our context is estimating a bounded function φ of a parameter when the loss is quadratic. If the posterior mean of φ is admissible for all bounded φ the posterior is strongly admissible. In this paper, we present sufficient conditions for strong admissibility. These conditions involve the recurr...

2008
L. EATON JAMES P. HOBERT GALIN L. JONES

We consider evaluation of proper posterior distributions obtained from improper prior distributions. Our context is estimating a bounded function φ of a parameter when the loss is quadratic. If the posterior mean of φ is admissible for all bounded φ, the posterior is strongly admissible. We give sufficient conditions for strong admissibility. These conditions involve the recurrence of a Markov ...

Journal: :International Journal of Foundations of Computer Science 2010

Journal: :IEEE Trans. Automat. Contr. 2001
Laurent El Ghaoui Giuseppe Carlo Calafiore

This note presents a new approach to finite-horizon guaranteed state prediction for discrete-time systems affected by bounded noise and unknown-but-bounded parameter uncertainty. Our framework handles possibly nonlinear dependence of the state-space matrices on the uncertain parameters. The main result is that a minimal confidence ellipsoid for the state, consistent with the measured output and...

2013
K. Bredies M. Holler Kristian Bredies Martin Holler

The regularization properties of the total generalized variation (TGV) functional for the solution of linear inverse problems by means of Tikhonov regularization are studied. Considering the associated minimization problem for general symmetric tensor fields, the wellposedness is established in the space of symmetric tensor fields of bounded deformation, a generalization of the space of functio...

We consider the problem of estimating the scale parameter &beta of a rescaled F-distribution when &beta has a lower bounded constraint of the form &beta&gea, under the entropy loss function. An admissible minimax estimator of the scale parameter &beta, which is the pointwise limit of a sequence of Bayes estimators, is given. Also in the class of truncated linear estimators, the admissible estim...

Journal: :international journal of advanced design and manufacturing technology 0
ahmad bagheri mirabbas roudbari mohamadjavad mahmoudabadi

this paper deals with a globally convergent adaptive and sliding mode control of a cart-pole inverted pendulum for trajectory tracking in the presence of a bounded measurement noise and parameter uncertainty. two kinds of controllers have been used for evaluation of tracking error in presence of a bounded noise; as a result, we want to compare that at what time we can see the convergence of tra...

2016
Milan Ceska Petr Pilar Nicola Paoletti Lubos Brim Marta Z. Kwiatkowska

In this paper we present PRISM-PSY, a novel tool that performs precise GPU-accelerated parameter synthesis for continuous-time Markov chains and time-bounded temporal logic specifications. We redesign, in terms of matrix-vector operations, the recently formulated algorithms for precise parameter synthesis in order to enable effective dataparallel processing, which results in significant acceler...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید