TheoremBase

Control Policy with Values in a Prescribed Subset of Euclidean Space

Statement

Let mm and l~\tilde{l} be natural numbers with m≥1m\ge1 and l~≥1\tilde{l}\ge1, let T>0T>0 be a real number, and let A\mathcal{A} be a nonempty subset of Euclidean space Rm\mathbb{R}^{m}. Let h=(hk)k≥0h=(h_{k})_{k\ge0} be an observation-driven control policy with horizon TT, control dimension mm and l~\tilde{l} channels, and let Rk(T)R_{k}(T) be the record spaces of that definition.

The policy hh is A\mathcal{A}-valued if

h0(t)∈Afor every t∈[0,T],h_{0}(t)\in\mathcal{A}\quad\text{for every }t\in[0,T],

and, for every natural number k≥1k\ge1,

hk(t,τ,v)∈Afor every t∈[0,T], τ∈Rk(T) and v∈{1,…,l~}k.h_{k}(t,\tau,v)\in\mathcal{A}\quad\text{for every }t\in[0,T],\ \tau\in R_{k}(T)\text{ and }v\in\{1,\dots,\tilde{l}\}^{k}.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…