Code covered by the BSD License  

Highlights from
CheckMate demos

image thumbnail
from CheckMate demos by Zhi Han
Demos for checkmate hybrid system verification tool.

[sys,type,reset]=boingfunc(x,u)
function [sys,type,reset]=boingfunc(x,u)

type='linear';

switch u
case 1
    sys.A=[0 0 0;0 0 1;0 0 0];
    sys.b=[1 0 -1]';
    reset.A=[1 0 0;0 1 0;0 0  -0.9];
    reset.B=[0;0;0];
otherwise
    sys.A=zeros(3,3);
    sys.b=0;
    reset.A=[1 0 0;0 1 0;0 0 1];
    reset.B=[0;0;0];
end
return    

Contact us at files@mathworks.com