Synthesis of optimal control for nonlinear third order systems

Wiesław Szwiec

Displaying similar documents to “Synthesis of optimal control for nonlinear third order systems”

Limiting average cost control problems in a class of discrete-time stochastic systems

Nadine Hilgert, Onesimo Hernández-Lerma (2001)

Applicationes Mathematicae

Similarity:

We consider a class of $ℝ^{d}$ -valued stochastic control systems, with possibly unbounded costs. The systems evolve according to a discrete-time equation $x_{t + 1} = G ₙ (x_{t}, a_{t}) + ξ_{t}$ (t = 0,1,... ), for each fixed n = 0,1,..., where the $ξ_{t}$ are i.i.d. random vectors, and the Gₙ are given functions converging pointwise to some function $G_{\infty}$ as n → ∞. Under suitable hypotheses, our main results state the existence of stationary control policies that are expected average cost (EAC) optimal and sample path average cost (SPAC)...

Stability and sensitivity analysis for optimal control problems with control-state constraints

Kazimierz Malanowski

Similarity:

A family of parameter dependent optimal control problems ${(O)}_{h}$ with smooth data for nonlinear ODEs is considered. The problems are subject to pointwise mixed control-state constraints. It is assumed that, for a reference value h₀ of the parameter, a solution of ${(O)}_{h ₀}$ exists. It is shown that if (i) independence, controllability and coercivity conditions are satisfied at the reference solution, then (ii) for each h from a neighborhood of h₀, a locally unique solution to ${(O)}_{h}$ and the associated Lagrange...

Linearization techniques for $𝕃^{\infty}$ See PDF-control problems and dynamic programming principles in classical and $𝕃^{\infty}$ See PDF-control problems

Dan Goreac, Oana-Silvia Serea (2012)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

The aim of the paper is to provide a linearization approach to the $𝕃^{\infty}$ See PDF-control problems. We begin by proving a semigroup-type behaviour of the set of constraints appearing in the linearized formulation of (standard) control problems. As a byproduct we obtain a linear formulation of the dynamic programming principle. Then, we use the $𝕃^{p}$ See PDF approach and the associated linear formulations. This seems to be the most appropriate tool for treating $𝕃^{\infty}$ See PDF problems in continuous and...

Transportation flow problems with Radon measure variables

Marcus Wagner (2000)

Discussiones Mathematicae, Differential Inclusions, Control and Optimization

Similarity:

For a multidimensional control problem ${(P)}_{K}$ involving controls $u \in L_{\infty}$ , we construct a dual problem ${(D)}_{K}$ in which the variables ν to be paired with u are taken from the measure space rca (Ω,) instead of $(L_{\infty}) *$ . For this purpose, we add to ${(P)}_{K}$ a Baire class restriction for the representatives of the controls u. As main results, we prove a strong duality theorem and saddle-point conditions.

An observability estimate for parabolic equations from a measurable set in time and its applications

Kim Dang Phung, Gengsheng Wang (2013)

Journal of the European Mathematical Society

Similarity:

This paper presents a new observability estimate for parabolic equations in $Ω \times (0, T)$ , where $Ω$ is a convex domain. The observation region is restricted over a product set of an open nonempty subset of $Ω$ and a subset of positive measure in $(0, T)$ . This estimate is derived with the aid of a quantitative unique continuation at one point in time. Applications to the bang-bang property for norm and time optimal control problems are provided.

Cyclic Type Fixed Point Results in 2-Menger Spaces

Binayak S. CHOUDHURY, Samir Kumar BHANDARI, Parbati SAHA (2015)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

In this paper we introduce generalized cyclic contractions through $r$ number of subsets of a probabilistic 2-metric space and establish two fixed point results for such contractions. In our first theorem we use the Hadzic type $t$ -norm. In another theorem we use a control function with minimum $t$ -norm. Our results generalizes some existing fixed point theorem in 2-Menger spaces. The results are supported with some examples.

Optimality of the range for which equivalence between certain measures of smoothness holds

Z. Ditzian (2010)

Studia Mathematica

Similarity:

Recently it was proved for 1 < p < ∞ that $ω^{m} {(f, t)}_{p}$ , a modulus of smoothness on the unit sphere, and $K ̃ ₘ {(f, t^{m})}_{p}$ , a K-functional involving the Laplace-Beltrami operator, are equivalent. It will be shown that the range 1 < p < ∞ is optimal; that is, the equivalence $ω^{m} {(f, t)}_{p} \approx K ̃ ₘ {(f, t^{r})}_{p}$ does not hold either for p = ∞ or for p = 1.

On the application of control theory to certain problems for Lagrangian systems, and hyper-impulsive motion for these. I. Some general mathematical considerations on controllizable parameters

Aldo Bressan (1988)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In applying control (or feedback) theory to (mechanic) Lagrangian systems, so far forces have been generally used as values of the control $u(\cdot)$ . However these values are those of a Lagrangian co-ordinate in various interesting problems with a scalar control $u=u(\cdot)$ , where this control is carried out physically by adding some frictionless constraints. This pushed the author to consider a typical Lagrangian system $\Sigma$ , referred to a system $\chi$ of Lagrangian co-ordinates, and to try and write some handy...

Control for Schrödinger operators on 2-tori: rough potentials

Jean Bourgain, Nicolas Burq, Maciej Zworski (2013)

Journal of the European Mathematical Society

Similarity:

For the Schrödinger equation, $(i \partial_{t} + \nabla) u = 0$ on a torus, an arbitrary non-empty open set $Ω$ provides control and observability of the solution: $∥u {|_{t = 0}∥}_{L^{2} (𝕋^{2})} \leq K_{T} {∥u∥}_{L^{2} ([0, T] \times Ω)}$ . We show that the same result remains true for $(i \partial_{t} + \nabla - V) u = 0$ where $V \in L^{2} (𝕋^{2})$ , and $𝕋^{2}$ is a (rational or irrational) torus. That extends the results of [1], and [8] where the observability was proved for $V \in C (𝕋^{2})$ and conjectured for $V \in L^{\infty} (𝕋^{2})$ . The higher dimensional generalization remains open for $V \in L^{\infty} (𝕋^{n})$ .

The covering semigroup of invariant control systems on Lie groups

Víctor Ayala, Eyüp Kizil (2016)

Kybernetika

Similarity:

It is well known that the class of invariant control systems is really relevant both from theoretical and practical point of view. This work was an attempt to connect an invariant systems on a Lie group $G$ with its covering space. Furthermore, to obtain algebraic properties of this set. Let $G$ be a Lie group with identity $e$ and $Σ \subset 𝔤$ a cone in the Lie algebra $𝔤$ of $G$ that satisfies the Lie algebra rank condition. We use a formalism developed by Sussmann, to obtain an algebraic structure on...

Distances to convex sets

Antonio S. Granero, Marcos Sánchez (2007)

Studia Mathematica

Similarity:

If X is a Banach space and C a convex subset of X*, we investigate whether the distance $d ̂ ({\bar{c o}}^{w *} (K), C) : = s u p i n f | | k - c | | : c \in C : k \in {\bar{c o}}^{w *} (K)$ from ${\bar{c o}}^{w *} (K)$ to C is M-controlled by the distance d̂(K,C) (that is, if $d ̂ ({\bar{c o}}^{w *} (K), C) \leq M d ̂ (K, C)$ for some 1 ≤ M < ∞), when K is any weak*-compact subset of X*. We prove, for example, that: (i) C has 3-control if C contains no copy of the basis of ℓ₁(c); (ii) C has 1-control when C ⊂ Y ⊂ X* and Y is a subspace with weak*-angelic closed dual unit ball B(Y*); (iii) if C is a convex subset of X and X is considered canonically...

On the application of control theory to certain problems for Lagrangian systems, and hyper-impulsive motion for these. I. Some general mathematical considerations on controllizable parameters

Aldo Bressan (1988)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Compact operators and integral equations in the $ℋ𝒦$ space

Varayu Boonpogkrong (2022)

Czechoslovak Mathematical Journal

Similarity:

The space $ℋ𝒦$ of Henstock-Kurzweil integrable functions on $[a, b]$ is the uncountable union of Fréchet spaces $ℋ𝒦 (X)$ . In this paper, on each Fréchet space $ℋ𝒦 (X)$ , an $F$ -norm is defined for a continuous linear operator. Hence, many important results in functional analysis, like the Banach-Steinhaus theorem, the open mapping theorem and the closed graph theorem, hold for the $ℋ𝒦 (X)$ space. It is known that every control-convergent sequence in the $ℋ𝒦$ space always belongs to a $ℋ𝒦 (X)$ space for some $X$ . We illustrate how...

Optimal Constants in Khintchine Type Inequalities for Fermions, Rademachers and q-Gaussian Operators

Artur Buchholz (2005)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

For $(P_{k})$ being Rademacher, Fermion or q-Gaussian (-1 ≤ q ≤ 0) operators, we find the optimal constants $C_{2 n}$ , n∈ ℕ, in the inequality $∥ \sum_{k = 1}^{N} A_{k} \otimes P_{k} ∥_{2 n} \leq {[C_{2 n}]}^{1 / 2 n} m a x {∥ (\sum_{k = 1}^{N} A *_{k} A_{k}}^{1 / 2} ∥_{L_{2 n}}, ∥ (\sum_{k = 1}^{N} A_{k} A *_{k}$ 1/2∥L2n $,$ valid for all finite sequences of operators $(A_{k})$ in the non-commutative $L_{2 n}$ space related to a semifinite von Neumann algebra with trace. In particular, $C_{2 n} = (2 n r - 1)!!$ for the Rademacher and Fermion sequences.

Stability estimating in optimal stopping problem

Elena Zaitseva (2008)

Kybernetika

Similarity:

We consider the optimal stopping problem for a discrete-time Markov process on a Borel state space $X$ . It is supposed that an unknown transition probability $p (\cdot | x)$ , $x \in X$ , is approximated by the transition probability $\tilde{p} (\cdot | x)$ , $x \in X$ , and the stopping rule ${\tilde{τ}}_{*}$ , optimal for $\tilde{p}$ , is applied to the process governed by $p$ . We found an upper bound for the difference between the total expected cost, resulting when applying ${\tilde{τ}}_{*}$ , and the minimal total expected cost. The bound given is a constant times ${sup}_{x \in X} ∥ p (\cdot | x) - \tilde{p} (\cdot | x) ∥$ , where $∥ \cdot ∥$ is the...

On the stabilization problem for nonholonomic distributions

Ludovic Rifford, Emmanuel Trélat (2009)

Journal of the European Mathematical Society

Similarity:

Let $M$ be a smooth connected complete manifold of dimension $n$ , and $Δ$ be a smooth nonholonomic distribution of rank $m \leq n$ on $M$ . We prove that if there exists a smooth Riemannian metric on1for which no nontrivial singular path is minimizing, then there exists a smooth repulsive stabilizing section of $Δ$ on $M$ . Moreover, in dimension three, the assumption of the absence of singular minimizing horizontal paths can be dropped in the Martinet case. The proofs are based on the study, using specific...

The equation $- Δ 𝑢 - λ \frac{𝑢}{{| 𝑥 |}^{2}} = {| \nabla 𝑢 |}^{𝑝} + 𝑐 𝑓 (𝑥)$ : The optimal power

Boumediene Abdellaoui, Ireneo Peral (2007)

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze

Similarity:

We will consider the following problem $- Δ u - λ \frac{u}{{| x |}^{2}} = {| \nabla u |}^{p} + c f, u > 0 in Ω,$ where $Ω \subset ℝ^{N}$ is a domain such that $0 \in Ω$ , $N \geq 3$ , $c > 0$ and $λ > 0$ . The main objective of this note is to study the precise threshold $p_{+} = p_{+} (λ)$ for which there is novery weak supersolutionif $p \geq p_{+} (λ)$ . The optimality of $p_{+} (λ)$ is also proved by showing the solvability of the Dirichlet problem when $1 \leq p < p_{+} (λ)$ , for $c > 0$ small enough and $f \geq 0$ under some hypotheses that we will prescribe.

Optimal estimates for the fractional Hardy operator

Yoshihiro Mizuta, Aleš Nekvinda, Tetsu Shimomura (2015)

Studia Mathematica

Similarity:

Let $A_{α} f (x) = {| B (0, | x |) |}^{- α / n} \int_{B (0, | x |)} f (t) d t$ be the n-dimensional fractional Hardy operator, where 0 < α ≤ n. It is well-known that $A_{α}$ is bounded from $L^{p}$ to $L^{p_{α}}$ with $p_{α} = n p / (α p - n p + n)$ when n(1-1/p) < α ≤ n. We improve this result within the framework of Banach function spaces, for instance, weighted Lebesgue spaces and Lorentz spaces. We in fact find a ’source’ space $S_{α, Y}$ , which is strictly larger than X, and a ’target’ space $T_{Y}$ , which is strictly smaller than Y, under the assumption that $A_{α}$ is bounded from X into Y and the Hardy-Littlewood...

Systems of Bellman Equations to Stochastic Differential Games with Discount Control

Alain Bensoussan, Jens Frehse (2008)

Bollettino dell'Unione Matematica Italiana

Similarity:

We consider two dimensional diagonal elliptic systems $\Delta u+au=H(x,u,\nabla u)$ which arise from stochastic differential games with discount control. The Hamiltonians $H$ have quadratic growth in $\nabla u$ and a special structure which has notyet been covered by regularity theory. Without smallness condition on $H$ , the existence of a regular solution is established.

Explicit formulas for optimal rearrangement-invariant norms in Sobolev imbedding inequalities

Ron Kerman, Luboš Pick (2011)

Studia Mathematica

Similarity:

We study imbeddings of the Sobolev space $W^{m, ϱ} (Ω)$ : = u: Ω → ℝ with $ϱ (\partial^{α} u / \partial x^{α})$ < ∞ when |α| ≤ m, in which Ω is a bounded Lipschitz domain in ℝⁿ, ϱ is a rearrangement-invariant (r.i.) norm and 1 ≤ m ≤ n - 1. For such a space we have shown there exist r.i. norms, $τ_{ϱ}$ and $σ_{ϱ}$ , that are optimal with respect to the inclusions $W^{m, ϱ} (Ω) \subset W^{m, τ_{ϱ}} (Ω) \subset L_{σ_{ϱ}} (Ω)$ . General formulas for $τ_{ϱ}$ and $σ_{ϱ}$ are obtained using the -method of interpolation. These lead to explicit expressions when ϱ is a Lorentz Gamma norm or an Orlicz norm.

Best constants for the isoperimetric inequality in quantitative form

Marco Cicalese, Gian Paolo Leonardi (2013)

Journal of the European Mathematical Society

Similarity:

We prove some results in the context of isoperimetric inequalities with quantitative terms. In the $2$ -dimensional case, our main contribution is a method for determining the optimal coefficients $c_{1}, ..., c_{m}$ in the inequality $δ P (E) \geq \sum_{k = 1}^{m} c_{k} α {(E)}^{k} + o (α {(E)}^{m})$ , valid for each Borel set $E$ with positive and finite area, with $δ P (E)$ and $α (E)$ being, respectively, the $𝑖𝑠𝑜𝑝𝑒𝑟𝑖𝑚𝑒𝑡𝑟𝑖𝑐𝑑𝑒𝑓𝑖𝑐𝑖𝑡$ and the $𝐹𝑟𝑎𝑒𝑛𝑘𝑒𝑙𝑎𝑠𝑦𝑚𝑚𝑒𝑡𝑟𝑦$ of $E$ . In $n$ dimensions, besides proving existence and regularity properties of minimizers for a wide class of $𝑞𝑢𝑎𝑛𝑡𝑖𝑡𝑎𝑡𝑖𝑣𝑒𝑖𝑠𝑜𝑝𝑒𝑟𝑖𝑚𝑒𝑡𝑟𝑖𝑐𝑞𝑢𝑜𝑡𝑖𝑒𝑛𝑡𝑠$ including the lower semicontinuous extension of $\frac{δ P (E)}{α {(E)}^{2}}$ , we...

Optimality of the Width- $w$ Non-adjacent Form: General Characterisation and the Case of Imaginary Quadratic Bases

Clemens Heuberger, Daniel Krenn (2013)

Journal de Théorie des Nombres de Bordeaux

Similarity:

We consider digit expansions $\sum_{j = 0}^{ℓ - 1} Φ^{j} (d_{j})$ with an endomorphism $Φ$ of an Abelian group. In such a numeral system, the $w$ -NAF condition (each block of $w$ consecutive digits contains at most one nonzero) is shown to minimise the Hamming weight over all expansions with the same digit set if and only if it fulfills the subadditivity condition (the sum of every two expansions of weight $1$ admits an optimal $w$ -NAF). This result is then applied to imaginary quadratic bases, which are used for scalar...

On control theory and its applications to certain problems for Lagrangian systems. On hyper-impulsive motions for these. III. Strengthening of the characterizations performed in parts I and II, for Lagrangian systems. An invariance property.

Aldo Bressan (1988)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In [1] I and II various equivalence theorems are proved; e.g. an ODE $(\mathcal{E})\dot{z}=F(t,z,u,\dot{u})\,(\in\mathbb{R}^{m})$ with a scalar control $u=u(\cdot)$ is linear w.r.t. $\dot{u}$ iff $(\alpha)$ its solution $z(u,\cdot)$ with given initial conditions (chosen arbitrarily) is continuous w.r.t. $u$ in a certain sense, or iff $(\beta)$ $z(u,\cdot)$ satisfies certain conditions by which $1^{st}$ -order discontinuities of $u$ and $\dot{u}$ can be treated satisfactorily. In the case when, for $z=(q,p)$ equation $(\mathcal{E})$ is a semi-Hamiltonian system, equivalent to a system of Lagrangian equations of a general type,...

n-supercyclic and strongly n-supercyclic operators in finite dimensions

Romuald Ernst (2014)

Studia Mathematica

Similarity:

We prove that on $ℝ^{N}$ , there is no n-supercyclic operator with 1 ≤ n < ⌊(N + 1)/2⌋, i.e. if $ℝ^{N}$ has an n-dimensional subspace whose orbit under $T \in (ℝ^{N})$ is dense in $ℝ^{N}$ , then n is greater than ⌊(N + 1)/2⌋. Moreover, this value is optimal. We then consider the case of strongly n-supercyclic operators. An operator $T \in (ℝ^{N})$ is strongly n-supercyclic if $ℝ^{N}$ has an n-dimensional subspace whose orbit under T is dense in $ℙ ₙ (ℝ^{N})$ , the nth Grassmannian. We prove that strong n-supercyclicity does not occur non-trivially...