# Rod Carvalho

## Archive for the ‘Control Theory’ Category

### Sailing in state space

April 11, 2011

Consider the following controlled (autonomous) dynamical system [1]

$\dot{x} (t) = f (x (t), u (t))$

where $x : [0, \infty) \to \mathbb{R}^n$ is the state trajectory, $u : [0,\infty) \to \mathcal{U}$ is the control input history, $\mathcal{U} \subseteq \mathbb{R}^m$ is the set of admissible control inputs, and $f : \mathbb{R}^n \times \mathcal{U} \to \mathbb{R}^n$ is a (known) vector field.

If we know the control input $u (t)$ for all $t \geq 0$, then we can integrate the ODE above with initial condition $x(0) = x_0$ and obtain the state trajectory $x : [0, \infty) \to \mathbb{R}^n$, as follows

$x (t) = x_0 + \displaystyle \int_{0}^{t} f \left(x (\tau), u (\tau) \right) \mathrm{d} \tau$

which can be represented pictorially by a single streamline in $\mathbb{R}^n$

I am (quite explicitly) alluding to fluid flow. Just like a cork on the ocean will follow a certain path depending on the velocity field (i.e., “ocean currents”), a point in state space will flow along a certain streamline.

__________

Let us fix the control input, i.e., $u (t) = \bar{u}$ for all $t \geq 0$, and define

$\begin{array}{rl} v^{(\bar{u})} : \mathbb{R}^n & \to \mathbb{R}^n\\ x & \mapsto f(x, \bar{u})\\\end{array}$

For the sake of simplicity, let us consider $\mathcal{U} = \{-1, +1\}$. Since $\bar{u}$ can only take two values, we have two vector fields, $v^{(+1)}(x) := f(x, +1)$ and $v^{(-1)}(x) := f(x, -1)$. Integrating the following ODEs

$\begin{array}{rl} \dot{x} (t) &= v^{(+1)} ( x(t) )\\ \dot{x} (t) &= v^{(-1)} ( x(t) )\\\end{array}$

for various initial conditions, we obtain two families of streamlines, as depicted below

For each fixed control input and collection of initial conditions, we will have a family of streamlines in state space.

Imagine that we have the following control input history

$u (t) = \begin{cases} +1, & t \in [0, t^{\star})\\ -1, & t \geq t^{\star}\\\end{cases}$

where we toggle the control input at time $t^{\star} > 0$, thus interrupting the flow along a “blue” streamline and initiating the flow along a “pink” streamline. Pictorially, we have

If the control input is fixed, say, $\bar{u} = +1$, then given an initial condition $x(0)$, we will flow along the “blue” streamline that passes through $x(0)$. This streamline is $1$-dimensional and does not allow us to “explore” the $n$-dimensional state space. However, if we switch between $\bar{u} = +1$ and $\bar{u} = -1$, then we are able to “travel” to other regions of the state space. Allowing the control input to take values in $\mathcal{U} = [-1,+1]$ would give us even more freedom.

Lastly, we arrive at a most childish idea: in some cases, controller design can be viewed as shaping the streamlines differently in different parts of the state space. This is childish because it is purely conceptual. One obviously cannot design optimal controllers by doodling with crayons.

__________

References

[1] Hassan K. Khalil, Nonlinear Systems, 3rd edition, Prentice Hall.

Tags:Control Theory, Differential Equations, Dynamical Systems, ODEs, Ordinary Differential Equations
Posted in Control Theory, Dynamical Systems | 2 Comments »
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 29, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8986668586730957, "perplexity_flag": "head"}