Data converter from Simulink Design Verifier to test tool TPT by Jens

Function converts Simulink Design Verifier test cases into a format that can be imported into TPT (automotive, testing, test)

sldv2tpt(sldvfile)

SCOPE: interactively tabulate SEER excel variables by Rex Cheung

This takes SEER excel column data interactively, tabulate them, write back in table format. (data import, data export, optimization)

output=xls2tabulate2xls(xlsfilename)

cmtdtool by Yasumitsu Ito

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

cmtdtool.m

makeEMLTruthTableName(ConditionTable,ActionTable,InputVar,O...

makeharness_compareresults(mdl,data,opts)

sldvmisscovtool by Yasumitsu Ito

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

_exportTemplate.m

_importTemplate.m

exportCSVfile.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)

Synthesizing a feedforward control stragegy for stiff hybri...

R11a_surface_mount_device_v100

R11a_surface_mount_device_v100_dv

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)

slblocks

waitfortreal(tsim)

AirportConveyer

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

Chinese Matlab Digest: Matlab Technical Bulletin by Hong Zhang

Chinese Matlab Digest is the first matlab digest published in Chinese by www.iLoveMatlab.cn (digest, matlab digest, chinese digest)

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