Submitted

Testing Safety Critical Control Systems

This is a presentation on testing of safety critical control systems.

4 years ago | 6 downloads |

Submitted

Formal Methods – Just Enough

A brief overview of Formal Methods

4 years ago | 3 downloads |

Answered

Hey,I have this huge data file and what i would like to do is , use strfind to match the string and capture the data followed by this string(no problem).my problem is that i have same string twice..how can i write a code to take first match first?

A={'**edge' '1 2 2' '4 5 6' '*edge' '-1 1 1 -8 9 10' '*edge' '2 8 9' '3 5 6' } a=strfind(A,'edge')...

Hey,I have this huge data file and what i would like to do is , use strfind to match the string and capture the data followed by this string(no problem).my problem is that i have same string twice..how can i write a code to take first match first?

A={'**edge' '1 2 2' '4 5 6' '*edge' '-1 1 1 -8 9 10' '*edge' '2 8 9' '3 5 6' } a=strfind(A,'edge')...

5 years ago | 0

Submitted

Benchmark Problem 04 - Formal Methods

A set of benchmark problems to compare formal methods tools

5 years ago | 2 downloads |

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

5 years ago | 1 download |

Submitted

Orthogonal Array

This program generates an Orthogonal Array of strength 2

7 years ago | 7 downloads |

Submitted

Anti-Windup PID Example

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

7 years ago | 4 downloads |

Submitted

Tustin, Backward or Forward

What is the difference between the different Integration methods?

7 years ago | 1 download |

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

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.

8 years ago | 1 download |

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.

9 years ago | 4 downloads |

Submitted

MC/DC Test Case Generator

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

9 years ago | 1 download |

Submitted

Testing of Safety Critical Control Systems

This is a presentation on testing of safety critical control systems.

10 years ago | 1 download |