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.

setup_ph_plant.m
x0                              = [0 7.1];
max_tank_level                  = 1;
normal_level_dynamics           = 0.1;
correcting_pH_level_dynamics    = 0.12;
high_pH                         = 7.2;
low_pH                          = 6.8;
reduce_pH                       = -0.7;
normal_pH                       = 7.0;
increase_pH                     = 0.9;
no_correction                   = 0.1;

Contact us at files@mathworks.com