送信済み


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

7年弱 前 | ダウンロード 7 件 |

Thumbnail

送信済み


Formal Methods – Just Enough
A brief overview of Formal Methods

7年以上 前 | ダウンロード 1 件 |

Thumbnail

送信済み


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

8年弱 前 | ダウンロード 1 件 |

Thumbnail

解決済み


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

8年弱 前

解決済み


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...

8年弱 前

解決済み


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...

8年弱 前

解決済み


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 ...

8年弱 前

解決済み


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...

8年弱 前

解決済み


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...

8年弱 前

解決済み


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...

8年弱 前

解決済み


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

8年弱 前

解決済み


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...

8年弱 前

送信済み


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

8年以上 前 | ダウンロード 1 件 |

Thumbnail

送信済み


Benchmark Problem 03
A simple scheduled gain PID problem

約9年 前 | ダウンロード 1 件 |

Thumbnail

送信済み


Orthogonal Array
This program generates an Orthogonal Array of strength 2

約10年 前 | ダウンロード 3 件 |

Thumbnail

送信済み


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

10年以上 前 | ダウンロード 4 件 |

Thumbnail

送信済み


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

10年以上 前 | ダウンロード 2 件 |

Thumbnail

解決済み


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...

約11年 前

解決済み


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 ...

約11年 前

解決済み


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

約11年 前

解決済み


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

約11年 前

解決済み


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 ...

約11年 前

解決済み


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:...

約11年 前

送信済み


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

約11年 前 | ダウンロード 1 件 |

Thumbnail

解決済み


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

約11年 前

解決済み


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...

約11年 前

送信済み


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.

12年弱 前 | ダウンロード 2 件 |

Thumbnail

送信済み


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

12年弱 前 | ダウンロード 6 件 |

Thumbnail

送信済み


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

13年弱 前 | ダウンロード 2 件 |

Thumbnail

さらに読み込む