#include <zonotope_tube.h>
Public Types | |
typedef adore::mad::AScalarToN< double, ntau > | Ttrajectory |
typedef adore::mad::Zonotope< double, nx+nu, ngen > | TZr |
typedef adore::mad::Zonotope< double, nd, 50 > | TZd |
typedef adore::mad::Zonotope< double, nx, 50 > | TZm |
Public Member Functions | |
void | compute () |
Computation of linearly approximated reachable-set tubes
typedef adore::mad::AScalarToN<double,ntau> adore::fun::ZonotopeTube< nx, nu, nd, nm, ntau, ngen >::Ttrajectory |
typedef adore::mad::Zonotope<double,nd,50> adore::fun::ZonotopeTube< nx, nu, nd, nm, ntau, ngen >::TZd |
typedef adore::mad::Zonotope<double,nx,50> adore::fun::ZonotopeTube< nx, nu, nd, nm, ntau, ngen >::TZm |
typedef adore::mad::Zonotope<double,nx+nu,ngen> adore::fun::ZonotopeTube< nx, nu, nd, nm, ntau, ngen >::TZr |
|
inline |