Yogananda Jeppu

Last seen: 28日前 | 2010 年からアクティブ

Followers: 0 Following: 0

メッセージ

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

統計

All

バッジを表示

Feeds

送信済み

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

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

送信済み

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

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

送信済み

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

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

送信済み

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

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

送信済み

Formal Methods – Just Enough
A brief overview of Formal Methods

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

送信済み

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

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

送信済み

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

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

送信済み

Benchmark Problem 03
A simple scheduled gain PID problem

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

送信済み

Orthogonal Array
This program generates an Orthogonal Array of strength 2

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

送信済み

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

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

送信済み

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

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

送信済み

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

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

送信済み

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

送信済み

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

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

送信済み

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

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

送信済み

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

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