Refine by Content Type

Refine by Time Frame

image thumbnail

updated 1 day 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

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

NXTScannerViewer.m

addExtIfNeeded(name)

convertLocalizedPropName(defInfo, val, prefix)

image thumbnail

updated 6 years ago

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)

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