Community Profile

photo

Yogananda Jeppu


Last seen: 15 days ago Active since 2010

Professional Interests: Controls, Verification and Validation, Safety Critical, Aerospace, Formal Methods

Statistics

All
  • Personal Best Downloads Level 2
  • Editor's Pick
  • First Review
  • 5-Star Galaxy Level 4
  • GitHub Submissions Level 2
  • First Submission
  • Knowledgeable Level 2
  • First Answer
  • Solver

View badges

Content Feed

View by

Submitted


A Three by Three Puzzle
Solve the 3x3 puzzle using Design Verifier

4 years ago | 4 downloads |

Thumbnail

Submitted


The Schiaparelli Analysis
This is a simple analysis of the Schiaparelli failure using formal methods

4 years ago | 3 downloads |

Thumbnail

Submitted


Formally Correct Control Elemental Blocks
This has a set of blocks which are formally correct in functionality

4 years ago | 1 download |

Thumbnail

Submitted


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

4 years ago | 3 downloads |

Thumbnail

Submitted


Formal Methods – Just Enough
A brief overview of Formal Methods

4 years ago | 3 downloads |

Thumbnail

Submitted


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

5 years ago | 2 downloads |

Thumbnail

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 |

Thumbnail

Submitted


Benchmark Problem 03
A simple scheduled gain PID problem

6 years ago | 2 downloads |

Thumbnail

Submitted


Orthogonal Array
This program generates an Orthogonal Array of strength 2

7 years ago | 8 downloads |

Thumbnail

Submitted


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

7 years ago | 5 downloads |

Thumbnail

Submitted


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

7 years ago | 1 download |

Thumbnail

Submitted


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

8 years ago | 1 download |

Thumbnail

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 | 2 downloads |

Thumbnail

Submitted


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

9 years ago | 2 downloads |

Thumbnail

Submitted


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

10 years ago | 1 download |

Thumbnail

Submitted


A Benchmark Problem for Model Based Control System Tests - 001
A benchmark problem for model based control system testing

11 years ago | 4 downloads |

Thumbnail