Home > mpt > examples > reachdemo > verifdemo2.m

verifdemo2

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
Double_Integrator DOUBLE_INTEGRATOR 2nd order LTI example
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_control MPT_CONTROL Main control routine. Computes explicit controller for a given problem

This function is called by: