image thumbnail

updated 2 years ago

Control Synthesis for a Surface Mount Device with Simulink Design Verifier by Pieter Mosterman

Simulink Design Verifier finds a force control profile to stamp a component onto a circuit board. (hybrid systems, model checking, control synthesis)

Synthesizing a feedforward control stragegy for stiff hyb...

R11a_surface_mount_device_v100

R11a_surface_mount_device_v100_dv

image thumbnail

updated 6 years ago

CheckMate demos by Zhi Han

Demos for checkmate hybrid system verification tool. (hybrid systems, formal verification)

PH_function(x,u)

PH_function_par(x,u,p)

[sys,type,reset]=acc_dyn(x,u)

Contact us