|
template<typename T , int D, int K> |
Zonotope< T, D, K > & | operator<< (Zonotope< T, D, K > &left, const adoreMatrix< T, d, 0 > &right) |
|
template<typename T , int D, int K> |
Zonotope< T, D, K > & | operator<< (Zonotope< T, D, K > &left, const Zonotope< T, d, k > &right) |
|
template<typename T , int D, int K, int k> |
Zonotope< T, D, K > | operator+ (Zonotope< T, D, K > left, const Zonotope< T, D, k > &right) |
|
template<typename T , int D, int K> |
Zonotope< T, D, K > | operator+ (Zonotope< T, D, K > z, const adoreMatrix< T, D, 1 > &offset) |
|
template<typename T , int D, int K> |
Zonotope< T, D, K > | operator+ (const adoreMatrix< T, D, 1 > &offset, Zonotope< T, D, K > z) |
|
template<typename T , int D, int K> |
Zonotope< T, D, K > | operator* (const adoreMatrix< T, D, D > &A, Zonotope< T, D, K > z) |
|
template<typename T , int D, int K> |
Zonotope< T, D, K > | operator* (const adoreMatrix< T, 0, 0 > &A, Zonotope< T, D, K > z) |
|
template<T , int nx, int nu, int nd, int K, int Km, int Kd> |
void | linear_step (Zonotope< T, nx+nu, K > &Zxu, const adoreMatrix< T, nx+nu+nd, nx+nu+nd > &AdBdCd, const adoreMatrix< T, nx, nu > &Kfb, const Zonotope< T, nx, Km > &Zm, const Zonotope< T, nd, Kd > &Zd) |
|
template<typename T, int D, int K>
class adore::mad::Zonotope< T, D, K >
A geometric object representing a volume. A zonotope is described by a vector center and a set of vectors called generators. The zonotope is the volume of space given by the Minkowski-sum of all generators starting at center.
- Template Parameters
-
T | is the numeric type, e.g. float or double |
D | is the number of dimensions |
K | is the maximum number of generators |
template<typename T , int D, int K>
template<T , int nx, int nu, int nd, int K, int Km, int Kd>
void linear_step |
( |
Zonotope< T, nx+nu, K > & |
Zxu, |
|
|
const adoreMatrix< T, nx+nu+nd, nx+nu+nd > & |
AdBdCd, |
|
|
const adoreMatrix< T, nx, nu > & |
Kfb, |
|
|
const Zonotope< T, nx, Km > & |
Zm, |
|
|
const Zonotope< T, nd, Kd > & |
Zd |
|
) |
| |
|
friend |
execute reach step for linear system with Zxu the zonotope containing the reachable set Ad discrete time system matrix Bd discrete time input matrix Cd discrete time disturbance matrix Kfb feedback matrix Zm measurement error set Zd disturbance error set
template<typename T , int D, int K>
template<typename T , int D, int K>
Minkowski addition with another zonotope: center information is not evaluated or changed, only generators of right are added to left generator set