#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 |