Gesendet
Testing Safety Critical Control Systems
This is a presentation on testing of safety critical control systems.
mehr als 8 Jahre vor | 6 Downloads |
Gesendet
Formal Methods – Just Enough
A brief overview of Formal Methods
fast 9 Jahre vor | 2 Downloads |
Beantwortet
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')...
etwa 9 Jahre vor | 0
Gesendet
Benchmark Problem 04 - Formal Methods
A set of benchmark problems to compare formal methods tools
mehr als 9 Jahre vor | 1 Download |
Gelöst
Produce a sine wave
Produce a sine wave with amplitude 3: <<http://blogs.mathworks.com/images/seth/cody/sine-eqn.png>>
mehr als 9 Jahre vor
Gelöst
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...
mehr als 9 Jahre vor
Gelöst
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...
mehr als 9 Jahre vor
Gelöst
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 ...
mehr als 9 Jahre vor
Gelöst
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...
mehr als 9 Jahre vor
Gelöst
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...
mehr als 9 Jahre vor
Gelöst
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...
mehr als 9 Jahre vor
Gelöst
Produce a cosine wave
Produce the following signal: <<http://blogs.mathworks.com/images/seth/cody/cosine-eqn.png>>
mehr als 9 Jahre vor
Gelöst
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...
mehr als 9 Jahre vor
Gesendet
Solving Ferryman Problem with Simuink Design Verifier
This has two models that try to find a solution to old puzzles using SDV
fast 10 Jahre vor | 2 Downloads |
Gesendet
Benchmark Problem 03
A simple scheduled gain PID problem
mehr als 10 Jahre vor | 1 Download |
Gesendet
Orthogonal Array
This program generates an Orthogonal Array of strength 2
mehr als 11 Jahre vor | 2 Downloads |
Gesendet
Anti-Windup PID Example
The concept of anti-windup integration and its importance is brought out in this example..
fast 12 Jahre vor | 3 Downloads |
Gesendet
Tustin, Backward or Forward
What is the difference between the different Integration methods?
fast 12 Jahre vor | 2 Downloads |
Gelöst
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...
mehr als 12 Jahre vor
Gelöst
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 ...
mehr als 12 Jahre vor
Gelöst
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 ...
mehr als 12 Jahre vor
Gelöst
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:...
mehr als 12 Jahre vor
Gesendet
Benchmark Problem 02 - Matlab Code
This is the Matlab code for the model Benchmark Problem 02.
mehr als 12 Jahre vor | 1 Download |
Gelöst
Determine if input is odd
Given the input n, return true if n is odd or false if n is even.
mehr als 12 Jahre vor
Gelöst
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...
mehr als 12 Jahre vor
Gesendet
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.
mehr als 13 Jahre vor | 1 Download |
Gesendet
MC/DC Test Case Generator
This is a MC/DC test case generator for a complicated logic diagram.
mehr als 13 Jahre vor | 2 Downloads |
Gesendet
Testing of Safety Critical Control Systems
This is a presentation on testing of safety critical control systems.
etwa 14 Jahre vor | 1 Download |
