Home > mpt > examples > reachdemo > verifdemo1.m

verifdemo1

PURPOSE

verification demo

This is a script file.

 verification demo

This function calls:

plot PLOT Plots regions of the explicit controller
end END Returns the last element in a given polytope array
plot PLOT Plots polytopes in 2D or 3D
polytope POLYTOPE Default constructor for the POLYTOPE object
mpt_reachSets MPT_REACHSETS Computes sets of reachable states for a given system / controller
mpt_verify MPT_VERIFY Verifies if states enter a given set in a given number of steps
unitbox UNITBOX Creates a unit box centered at origin
mpt_sys MPT_SYS Converts an object to sysStruct structure

This function is called by: