 Contents | Multi-Parametric Toolbox Invariant set computation functions |
| mpt_buildAdjacency | MPT_BUILDADJACENCY Builds adjacency information |
| mpt_checkLyapFct | MPT_CHECKLYAPFCT Checks if a function is a Lyapunov function for a given ctrlStruct |
| mpt_computePWATset | MPT_COMPUTEPWATSET Computes a stabilizing control invariant set (+ controllers) around the origin |
| mpt_dlyap_infnorm | Lyapunov equation with inf-norm for discrete-time LTI systems |
| mpt_getCommonSOSLyapFct | MPT_GETCOMMONSOSLYAPFCT Calculates Common SOS Lyapunov function for system with additive disturbance |
| mpt_getPWALyapFct | MPT_GETPWALYAPFCT Calculates PWA Lyapunov function |
| mpt_getPWPLyapFct | MPT_GETPWPLYAPFCT Calculates Piecewise Polynomial (sum of squares) Lyapunov function |
| mpt_getPWQLyapFct | MPT_GETPWQLYAPFCT Calculates PWQ Lyapunov function |
| mpt_getQuadLyapFct | MPT_GETQUADLYAPFCT Computes common Lyapunov function for PWA system |
| mpt_getReachSubset | MPT_GETREACHSUBSET Computes a subset of P which enters Pfin |
| mpt_infset | MPT_INFSET Calculates the maximal positively invariant set for an LTI system |
| mpt_infsetPWA | MPT_INFSETPWA Computes (robust) positive invariant subset for PWA systems |
| mpt_isPWAbigger | MPT_ISPWABIGGER Test if one PWA function is bigger than a second PWA function |
| mpt_maxCtrlSet | MPT_MAXCTRLSET Computes the maximal robust control invariant set C_inf |
| mpt_reachSets | MPT_REACHSETS Computes sets of reachable states for a given system / controller |
| mpt_reachXU | MPT_REACHXU One-step reachability computation for an affine system |
| mpt_removeOverlaps | MPT_REMOVEOVERLAPS Removes overlaps from (a set of) polyhedral partitions with associated linear cost |
| mpt_searchTree | MPT_SEARCHTREE Computes a search-tree for a given explicit solution |
| mpt_transmap | MPT_TRANSMAP Computes transition map |
| mpt_verify | MPT_VERIFY Verifies if states enter a given set in a given number of steps |
Master index