Benchmark Problem 02 - Matlab Code by Yogananda Jeppu

This is the Matlab code for the model Benchmark Problem 02. (verification and vali..., aircraft control laws, simulink blocks)

Mutant1.m

Mutant2.m

Original.m

Safety Critical Control Elements Examples by Chethan C U

The files contained have the examples for safety critical control elements. (aerospace, automotive, control design)

x=GenRandomTestBool(NoOfTransitions,EndTime,DT)

FirstOrderFilterTest.m

IntegratorTest.m

Testing of Safety Critical Control Systems by Yogananda Jeppu

This is a presentation on testing of safety critical control systems. (control design, aerospace, automotive)