Open in App
Log In Start studying!

Select your language

Suggested languages for you:

Consider the nonlinear, affine in controls, system \(\dot{x}=x^{2}+u\), with \(\mathcal{U}=[-1,1]\) (any other compact convex set \(\mathcal{U}\) could be used). Show that there are states \(x^{0}\) and times \(T\) for which \(\mathcal{R}^{T}\left(x^{0}\right)\) is not compact. Why does this not contradict the discussion in Remark 10.1.10?

Short Answer

Expert verified
The reachable set \(\mathcal{R}^T(x^0)\) is not compact for the initial state \(x^0 = -1\) and some time duration \(T\), as the system will enter an unbounded reachable set when the control input is at its maximum value (\(u=1\)). This does not contradict Remark 10.1.10 because the example given does not satisfy all the conditions mentioned in the remark, which assumes that the reachable set is compact for all \(x^0\) and \(T\). The fact that there exists a specific case where the reachable set is not compact shows that the mentioned conditions in Remark 10.1.10 do not hold for this particular example.
See the step by step solution

Step by step solution

Unlock all solutions

Get unlimited access to millions of textbook solutions with Vaia Premium

Over 22 million students worldwide already upgrade their learning with Vaia!

Step 1: Analyze the system's dynamics with control input boundaries

We first want to analyze the behavior of the system when the control input \(u\) reaches its boundaries. Recall that the control input is bounded by the set \(\mathcal{U}=[-1,1]\), meaning that \(u\) can take values from the range [-1, 1]. Observe how the system's dynamics will behave at these extreme values: 1. When \(u\) is at its maximum value, which is 1, the dynamics of the system \(\dot{x} = x^2 + u\) become \(\dot{x} = x^2 + 1\). 2. When \(u\) is at its minimum value, which is -1, the dynamics of the system \(\dot{x} = x^2 + u\) become \(\dot{x} = x^2 - 1\).

Step 2: Choose the initial state \(x^0\)

We will now choose the initial state \(x^0\) for our analysis. To ensure that the reachable set \(\mathcal{R}^T(x^0)\) is not compact, we will choose \(x^0 = -1\), which is also within the control input range. With this choice, we can analyze how the system's dynamics evolve over time, given the different values for the control input \(u\).

Step 3: Analyze the system's evolution for different control input values

For the given initial state \(x^0 = -1\), we will examine how the system evolves over time with the minimum and maximum control input values: 1. For the minimum value of \(u = -1\), the dynamics of the system are described as: \(\dot{x} = x^2 - 1\). In this case, \(\dot{x} = (-1)^2 -1 = 0\). This means that the system will be at a steady-state and will not change over time. 2. For the maximum value of \(u = 1\), the dynamics of the system are described as: \(\dot{x} = x^2 + 1\). In this case, \(\dot{x} = (-1)^2 +1 = 2\), which implies that the system's state is increasing over time. Therefore, with the control input of \(u=1\), the system will enter an unbounded reachable set. We can conclude that there exists an initial state \(x^0 = -1\) and a time duration \(T\) for which the reachable set \(\mathcal{R}^T(x^0)\) is not compact.

Step 4: Explain the contradiction with Remark 10.1.10

The discussion in Remark 10.1.10 points out that under certain conditions, the reachable set \(\mathcal{R}^T(x^0)\) is compact. However, the main condition mentioned in Remark 10.1.10 is that the system should be both nonlinear and affine in controls. In our example, the system is indeed nonlinear and affine in controls. However, the restriction on the control input results in the system entering an unbounded reachable set for the specific initial condition \(x^0 = -1\). This fact does not contradict Remark 10.1.10, because the given example doesn't satisfy all the conditions mentioned in Remark 10.1.10, besides being nonlinear and affine in controls, Remark 10.1.10 also assumes that the reachable set is compact. Remark 10.1.10 is valid to situations where the reachable set remains compact for all \(x^0\) and \(T\).

What do you think about this solution?

We value your feedback to improve our textbook solutions.

Access millions of textbook solutions in one place

  • Access over 3 million high quality textbook solutions
  • Access our popular flashcard, quiz, mock-exam and notes features
  • Access our smart AI features to upgrade your learning
Get Vaia Premium now
Access millions of textbook solutions in one place

Most popular questions from this chapter

Chapter 10

Let $\mathcal{R}^{\leq T}\left(x^{0}\right):=\bigcup_{0 \leq t \leq T} \mathcal{R}^{t}\left(x^{0}\right)\(. Show that, for any \)x\( and \)T, \mathcal{R}^{\leq T}\left(x^{0}\right)$ is: \- connected, \- compact, \- but not necessarily convex. (Hint: (For compactness.) If $x_{k}^{\mathrm{f}} \in \mathcal{R}^{t_{k}}\left(x^{0}\right)\(, you may assume that \)t_{k} \backslash T\( or \)t_{k} \backslash T\( for some \)T$ (why?). Then, restrict or extend controls \(\omega_{k}\) to \([0, T]\). Finally, use a compactness argument as in the proof that \(\mathcal{R}^{T}\left(x^{0}\right)\) is compact.)

Chapter 10

Consider the undamped harmonic oscillator \(\dot{x}_{1}=x_{2}, \dot{x}_{2}=\) \(-x_{1}+u\), with control-value set \(\mathcal{U}=[-1,1]\). Show, for each two states \(x^{0}, x^{\mathrm{f}}\) : 1\. there is a unique control \(\tilde{\omega}\) steering \(x^{0}\) to \(x^{\mathrm{f}}\) in minimal time, 2\. this control has \(|u(t)|=1\) for almost all \(t\), and 3 . the intervals between sign changes have length \(\pi\). Finally, provide a complete description of the optimal controls for the problem of transferring any state to \(x^{f}=0\), including a diagram. (Hint: For the controllability part, recall Exercise 3.6.8.)

Chapter 10

(a) Consider a controllable single-input system \(\dot{x}=A x+b u\). Show that there is some \(\delta>0\) with the following property: for each $\gamma \neq 0\(, the function \)t \mapsto \gamma^{\prime} e^{-t A} b\( has at most \)n-1$ zeros in the interval \([0, \delta]\). (b) Conclude that, for controllable single-input systems, with \(\mathcal{U}=[\underline{u}, \bar{u}]\), there is some \(\delta>0\) so that, whenever \(x^{0}\) and \(x^{\mathrm{f}}\) are so that \(x^{\mathrm{f}}\) can be reached in time at most \(\delta\) from \(x^{0}\), the time optimal control steering \(x^{0}\) to \(x^{f}\) is piecewise constant, taking values \(\underline{u}\) or \(\bar{u}\) in at most \(n\) intervals. (c) Conclude further that, if \(T\) is the minimum time for steering \(x^{0}\) to \(x^{\mathrm{f}}\), then the time optimal control steering a state \(x^{0}\) to a state \(x^{\mathrm{f}}\) is piecewise constant, with at most \(T n / \delta\) switches. (Hint: (For (a).) Assume the property is false on \([0,1 / k]\). Note that one may restrict attention to \(\gamma\) 's so that \(\|\gamma\|=1\). What can be said about the zeros of derivatives of \(\gamma^{\prime} e^{-t A} b\) ? Take limits \(k \rightarrow \infty\).)

Chapter 10

For any metric space \(M\), we use \(K(M)\) to denote the family of all nonempty compact subsets of \(M\), and define $$ D\left(C_{1}, C_{2}\right):=\max \left\\{\max _{x \in C_{1}} d\left(x, C_{2}\right), \max _{x \in C_{2}} d\left(x, C_{1}\right)\right\\} . $$ Show that \(D\) defines a metric on \(\mathbb{K}\) (usually called the Hausdorff metric). Now consider a linear system \(\dot{x}=A x+B u\) and a fixed initial state \(x^{0} \in \mathbb{R}^{n}\). Show that the mapping $T \mapsto \mathcal{R}^{T}\left(x^{0}\right)\( is continuous as a map from \)\mathbb{R}$ into \(\mathbb{K}\left(\mathbb{R}^{n}\right)\).

Chapter 10

Consider this nonlinear system, with \(X=\mathbb{R}^{2}\) and \(\mathcal{U}=[-1,1]\) : $$ \begin{aligned} &\dot{x}_{1}=\left(1-x_{2}^{2}\right) u^{2} \\ &\dot{x}_{2}=u . \end{aligned} $$ Show that the system is complete, that is, solutions exist for every initial state and every control. Show, however, that \(\mathcal{R}^{1}(0)\) is not a closed set. Why does this not contradict the discussion in Remark 10.1.10? (Hint: Consider the states \(x_{k}^{f}=\alpha\left(\omega_{k}\right)\), where \(\omega_{k}\) is a control that switches fast between \(+1\) and $\left.-1 .\right)$

Join over 22 million students in learning with our Vaia App

The first learning app that truly has everything you need to ace your exams in one place.

  • Flashcards & Quizzes
  • AI Study Assistant
  • Smart Note-Taking
  • Mock-Exams
  • Study Planner
Join over 22 million students in learning with our Vaia App Join over 22 million students in learning with our Vaia App

Recommended explanations on Math Textbooks