image thumbnail

updated 1 month ago

Tabular Expression Toolbox by Colin Eles

A tool for creating tabular expressions in Matlab/Simulink integrating checking with PVS and CVC3. (simulink, formal methods, gui)

Creating a new Tabular Expression

Editing a Tabular Expression

Getting Started

image thumbnail

updated 3 years ago

MPC Tutorial IV - State Space MPC with input increment by Yi Cao

functions and simulink block implement state space MPC using input increment (control design, optimization, simulink)

State Space MPC with input increment Tutorial

mpcsimulink

f=mpcsetup(A,B,C,D,hP,hM,Q,R,x0,u0)

image thumbnail

updated 3 years ago

EZ Video Component Builder for Altera Avalon Streaming by Atsushi Matsumoto

Sample models to create Altera Avalon Streaming Components with Simulink HDL Coder. (fpga, vhdl, verilog)

Block-to-Code Highlighting Message

Code Generation Report for avalon_st_edge

Code Generation Report for avalon_st_edge

image thumbnail

updated 4 years ago

Speeding Up Optimization Problems with Parallel Computing by Stuart Kozola

Files from the webinar: Speeding up optimization problems with parallel computing (aerospace, automotive, demo)

Electron Problem Optimization

First Order Reliability Method using a Simulink Flutter M...

computebestportfolioPCT(expRet,expCov,portSize,targetRet)

image thumbnail

updated 5 years ago

Automated Failure Boundary Mapping by Stuart Kozola

Demo files from July 21, 2009 webinar (statistics, optimization, clustering)

Failure Boundary Identification

Flutter Model Demo

boundaryArea(Y,X,lb,ub,limitFunction)

Contact us