Refine by Content Type

Refine by Time Frame

image thumbnail

updated 1 month ago

Exploring Simulink Design Verifier - 2 by Natasha Jeppu

A Simulink Design Verifier applied to Autopilot Mode Transition (modeling, simulink, aerospace)




image thumbnail

updated 1 month ago

Exploring Design Verifier by Natasha Jeppu

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




image thumbnail

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


image thumbnail

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


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)




image thumbnail

updated 3 years ago

sldvmisscovtool by Yasumitsu Ito

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




image thumbnail

updated almost 4 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...



image thumbnail

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




image thumbnail

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



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 (digest, matlab digest, chinese digest)

image thumbnail

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