Statistics
RANK
2,199
of 302,151
REPUTATION
30
CONTRIBUTIONS
0 Questions
28 Answers
ANSWER ACCEPTANCE
0.00%
VOTES RECEIVED
2
RANK
1,544 of 21,575
REPUTATION
1,235
AVERAGE RATING
4.70
CONTRIBUTIONS
16 Files
DOWNLOADS
27
ALL TIME DOWNLOADS
11091
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Discussions
AVERAGE NO. OF LIKES
Feeds
Submitted
A Three by Three Puzzle
Solve the 3x3 puzzle using Design Verifier
9 years ago | 103 downloads |
Submitted
The Schiaparelli Analysis
This is a simple analysis of the Schiaparelli failure using formal methods
9 years ago | 159 downloads |
Submitted
Formally Correct Control Elemental Blocks
This has a set of blocks which are formally correct in functionality
9 years ago | 120 downloads |
Submitted
Testing Safety Critical Control Systems
This is a presentation on testing of safety critical control systems.
9 years ago | 2211 downloads |
Submitted
Formal Methods – Just Enough
A brief overview of Formal Methods
9 years ago | 185 downloads |
Submitted
Benchmark Problem 04 - Formal Methods
A set of benchmark problems to compare formal methods tools
10 years ago | 71 downloads |
Submitted
Solving Ferryman Problem with Simuink Design Verifier
This has two models that try to find a solution to old puzzles using SDV
10 years ago | 192 downloads |
Submitted
Orthogonal Array
This program generates an Orthogonal Array of strength 2
12 years ago | 1016 downloads |
Submitted
Anti-Windup PID Example
The concept of anti-windup integration and its importance is brought out in this example..
12 years ago | 1659 downloads |
Submitted
Tustin, Backward or Forward
What is the difference between the different Integration methods?
12 years ago | 745 downloads |
Submitted
Benchmark Problem 02 - Matlab Code
This is the Matlab code for the model Benchmark Problem 02.
13 years ago | 670 downloads |
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.
14 years ago | 553 downloads |
Submitted
MC/DC Test Case Generator
This is a MC/DC test case generator for a complicated logic diagram.
14 years ago | 908 downloads |
Submitted
Testing of Safety Critical Control Systems
This is a presentation on testing of safety critical control systems.
15 years ago | 541 downloads |
Submitted
A Benchmark Problem for Model Based Control System Tests - 001
A benchmark problem for model based control system testing
16 years ago | 1626 downloads |
