Yogananda Jeppu

Last seen: 3 mois il y a | Actif depuis 2010

Followers: 1 Following: 0

Message

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

Statistiques

All

Afficher les badges

Feeds

A soumis

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

environ 7 ans il y a | 1 téléchargement |

A soumis

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

environ 7 ans il y a | 1 téléchargement |

A soumis

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

environ 7 ans il y a | 3 téléchargements |

A soumis

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

environ 7 ans il y a | 6 téléchargements |

A soumis

Formal Methods – Just Enough
A brief overview of Formal Methods

plus de 7 ans il y a | 1 téléchargement |

A soumis

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

environ 8 ans il y a | 1 téléchargement |

A soumis

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

plus de 8 ans il y a | 1 téléchargement |

A soumis

Benchmark Problem 03
A simple scheduled gain PID problem

plus de 9 ans il y a | 1 téléchargement |

A soumis

Orthogonal Array
This program generates an Orthogonal Array of strength 2

environ 10 ans il y a | 3 téléchargements |

A soumis

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

plus de 10 ans il y a | 4 téléchargements |

A soumis

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

plus de 10 ans il y a | 2 téléchargements |

A soumis

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

plus de 11 ans il y a | 2 téléchargements |

A soumis

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.

environ 12 ans il y a | 1 téléchargement |

A soumis

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

environ 12 ans il y a | 5 téléchargements |

A soumis

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

environ 13 ans il y a | 1 téléchargement |

A soumis

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

presque 14 ans il y a | 1 téléchargement |