image thumbnail

updated 4 days ago

Exploring Design Verifier by Natasha Jeppu

A set of Simulink blocks to explore Design Verifier in Flight Controls (simulink, modeling, algorithm)

delay_on_off_test.slx

integ_verify_prove.slx

logical_hystersis_prove.slx

image thumbnail

updated 3 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)

R11a_surface_mount_device_v100

R11a_surface_mount_device_v100_dv

R11a_surface_mount_device_v100_dv_harness

image thumbnail

updated 7 years ago

Control system for DC machine with current back-propagation and two levels of excitation by Sasha Zorin

Control Scheme for DC Machine with back-propagation: robustness modeling, uncertainties detection, c (electronics, backpropagation, control)

Contact us