Refine by Content Type

Refine by Time Frame

image thumbnail

updated 3 months ago

Exploring Design Verifier by Natasha Jeppu

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

compare_error_prove.slx

delay_on_off_prove.slx

delay_on_off_test.slx

image thumbnail

updated 2 years ago

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

Jens (view profile)

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

sldv2tpt(sldvfile)

image thumbnail

updated 2 years ago

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)

image thumbnail

updated 3 years ago

cmtdtool by Yasumitsu Ito

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

addExpectedOutputToSignalBuilder(blk,sigName)

cmtdtool.m

createComparingResults(sys,phSim,phExp)

image thumbnail

updated 3 years ago

sldvmisscovtool by Yasumitsu Ito

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

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

_exportTemplate.m

_importTemplate.m

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)

Synthesizing a feedforward control stragegy for stiff hyb...

R11a_surface_mount_device_v100

R11a_surface_mount_device_v100_dv

image thumbnail

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

slblocks

waitfortreal(tsim)

AirportConveyer

image thumbnail

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

NXTScannerViewer.m

addExtIfNeeded(name)

convertLocalizedPropName(defInfo, val, prefix)

image thumbnail

updated 6 years ago

Chinese Matlab Digest: Matlab Technical Bulletin by Hong Zhang

Hong Zhang (view profile)

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

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