cmtdtool by Yasumitsu Ito

cmtdtool can reduce and automate manual operations required to perform model-based testing. (gui, simulink, utility)

cmtdtool_sampleharness

cmtdtool_samplemode

cmtdtool.m

sldvmisscovtool by Yasumitsu Ito

A GUI tool to obtain test cases for missing coverage objectives (gui, verification, utility)

sldvmiscovtool_sample

sldvmiscovtool_sample_fixpt

_exportTemplate.m

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

Airport Conveyer Belt by Gernot Schraberger

The demo is about a airport conveyer belt modeled in Simulink, with controls modelled in Stateflow. (airport, conveyer, belt)

AirportConveyer

PSSL

slblocks

NXT Scanner with Lego Mindstorms NXT by Yoshiaki Banno

NXT Scanner Model-Based Design based on Embedded Coder Robot NXT. (simulink, simulation, demo)

data_communication

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)

control_system_for_power_facility