Submitted

Testing Safety Critical Control Systems
This is a presentation on testing of safety critical control systems.

Submitted

Formal Methods – Just Enough
A brief overview of Formal Methods

Submitted

Benchmark Problem 04 - Formal Methods
A set of benchmark problems to compare formal methods tools

Solved

Produce a sine wave
Produce a sine wave with amplitude 3: <<http://blogs.mathworks.com/images/seth/cody/sine-eqn.png>>

5 years ago

Solved

Make a half wave rectifier
Produce a signal that outputs the given sine wave source when it is greater than zero and outputs zero when it is less than zero...

5 years ago

Solved

Produce a Fibonacci sequence
Construct a diagram that generates the Fibonacci sequence: 1, 1, 2, 3, 5, 8, 13, 21, 34.....up to 377 The Fibonacci sequ...

5 years ago

Solved

Make a low pass filter
Make a first order low pass filter that will filter out the high frequency oscillations for the given input signal. The cut-off ...

5 years ago

Solved

Model a mass spring system
Model an ideal mass-spring system shown below where the spring is initially stretched. <<http://blogs.mathworks.com/images/se...

5 years ago

Solved

Add damping to a mass spring system
Model an ideal mass-spring-damper system shown below where the spring is initially stretched. <<http://blogs.mathworks.com/im...

5 years ago

Solved

Make a full wave rectifier
Produce a full wave rectifier waveform for the given sine wave source. For a sine wave input, the output of the full wave rec...

5 years ago

Solved

Produce a cosine wave
Produce the following signal: <<http://blogs.mathworks.com/images/seth/cody/cosine-eqn.png>>

5 years ago

Solved

Connect blocks in a model
Connect the blocks in the model to produce the following signal: <<http://blogs.mathworks.com/images/seth/cody/connect-blocks...

5 years ago

Submitted

Solving Ferryman Problem with Simuink Design Verifier
This has two models that try to find a solution to old puzzles using SDV

Submitted

Benchmark Problem 03
A simple scheduled gain PID problem

Submitted

Orthogonal Array
This program generates an Orthogonal Array of strength 2

Submitted

Anti-Windup PID Example
The concept of anti-windup integration and its importance is brought out in this example..

Submitted

Tustin, Backward or Forward
What is the difference between the different Integration methods?

Solved

Select every other element of a vector
Write a function which returns every other element of the vector passed in. That is, it returns the all odd-numbered elements, s...

8 years ago

Solved

Column Removal
Remove the nth column from input matrix A and return the resulting matrix in output B. So if A = [1 2 3; 4 5 6]; and ...

8 years ago

Solved

Is my wife right?
Regardless of input, output the string 'yes'.

8 years ago

Solved

Given a and b, return the sum a+b in c.

8 years ago

Solved

Find the sum of all the numbers of the input vector
Find the sum of all the numbers of the input vector x. Examples: Input x = [1 2 3 5] Output y is 11 Input x ...

8 years ago

Solved

Times 2 - START HERE
Try out this test problem first. Given the variable x as your input, multiply it by two and put the result in y. Examples:...

8 years ago

Submitted

Benchmark Problem 02 - Matlab Code
This is the Matlab code for the model Benchmark Problem 02.

Solved

Determine if input is odd
Given the input n, return true if n is odd or false if n is even.

8 years ago

Solved

Make the vector [1 2 3 4 5 6 7 8 9 10]
In MATLAB, you create a vector by enclosing the elements in square brackets like so: x = [1 2 3 4] Commas are optional, s...

8 years ago

Submitted

A Benchmark Problem for Model Based Control System Tests – 002
This is the second set of benchmark problem available to the control system test community.

Submitted

MC/DC Test Case Generator
This is a MC/DC test case generator for a complicated logic diagram.