image thumbnail

updated 10 days ago

Tabular Expression Toolbox by Colin Eles

A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3. (simulink, formal methods, gui)

Creating a new Tabular Expression

Editing a Tabular Expression

Getting Started

image thumbnail

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

Synthesizing a feedforward control stragegy for stiff hyb...

R11a_surface_mount_device_v100

R11a_surface_mount_device_v100_dv

Contact us