image thumbnail

updated 2 years ago

cmtdtool by Yasumitsu Ito

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

cmtdtool_sampleharness

cmtdtool_samplemode

addExpectedOutputToSignalBuilder(blk,sigName)

image thumbnail

updated 2 years ago

sldvmisscovtool by Yasumitsu Ito

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

sldvmiscovtool_sample

sldvmiscovtool_sample_fixpt

[tvec,dvec,siglabels,grplabels]=createSignalBuilderData(s...

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)

R11a_surface_mount_device_v100

R11a_surface_mount_device_v100_dv

R11a_surface_mount_device_v100_dv_harness

image thumbnail

updated almost 3 years ago

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

image thumbnail

updated 5 years ago

NXT Scanner with Lego Mindstorms NXT by Yoshiaki Banno

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

EnumSample

data_communication

datamngtworkflow

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)

control_system_for_power_facility

Contact us