Online Guaranteed Reachable Set Approximation for Systems with Changed Dynamics and Control Authority FX2SD1GFHT

URI	`m2://res/FX2SD1GFHT`
Kind	preprint
Creators	Hamza El-Kebir, Ani Pirosmanishvili, Melkior Ornik
Date	2022-03-19
MSC	49-XX, 90-XX, 93-XX
Subjects	arxiv math.OC, arxiv cs.SY, arxiv eess.SY
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
1VTHGWRYGG	statement	corollary 3	arxiv
$S_F^t (x_0)$ forms a path-connected continuum	statement	proposition 2	arxiv
50ZA1SC1HP	statement	corollary 1	arxiv
6H831SP0NX	statement	lemma 1	arxiv
Forward reachable set	definition	definition 1	arxiv
General FRS inner approximation with changed dynamics	statement	theorem 2	arxiv
Hyperrectangular distance	definition	definition 4	arxiv
Off-nominal FRS approximation	problem	problem 1	arxiv
BQMC05A1SH	statement	corollary 4	arxiv
CMPEJ6JVN3	statement	lemma 4	arxiv
CY21KDXEPV	statement	lemma 2	arxiv
Extended Bihari inequality	statement	theorem 1	arxiv
Hyperrectangular fattening	definition	definition 3	arxiv
PDCEDMHVGK	statement	corollary 2	arxiv
R0BESJ8HMW	definition	definition 6	arxiv
$(a_i, b_i, w_i)$-bounded growth	definition	definition 2	arxiv
STQK9FXQKQ	statement	lemma 3	arxiv
ZJ5HGA25KS	definition	definition 5	arxiv
Path-connectedness of $S_F^t (x_0)$	statement	proposition 1	arxiv