Description of isinvariant

DESCRIPTION

ISINVARIANT Decides if a given explicit controller is invariant

   result = isinvariant(ctrl)

 ---------------------------------------------------------------------------
 DESCRIPTION
 ---------------------------------------------------------------------------
 Returns 1 if a given explicit controller is invariant, i.e. if it satysfies
 system constraints for all time in closed loop. Returns 0 otherwise

 ---------------------------------------------------------------------------
 INPUT
 ---------------------------------------------------------------------------
 ctrl   - explicit controller

 ---------------------------------------------------------------------------
 OUTPUT                                                                                                    
 ---------------------------------------------------------------------------
 result - 1 if the controller is invariant, 0 otherwise

CROSS-REFERENCE INFORMATION

isexplicit ISEXPLICIT Returns true if the controller is an explicit controller

end END Returns the last element in a given polytope array

analyze ANALYZE Analyzes a given explicit controller and suggests further actions

char CHAR Provides textual description of a given controller

mpt_getPWPLyapFct MPT_GETPWPLYAPFCT Calculates Piecewise Polynomial (sum of squares) Lyapunov function

mpt_getPWQLyapFct MPT_GETPWQLYAPFCT Calculates PWQ Lyapunov function

mpt_invariantSet MPT_INVARIANTSET Computes (robust) positive invariant subset of an explicit controller

isinvariant

PURPOSE

SYNOPSIS

DESCRIPTION

CROSS-REFERENCE INFORMATION