Formally Correct Control Elemental Blocks

Versión 1.0.0.0 (293 KB) por Yogananda Jeppu
This has a set of blocks which are formally correct in functionality
5.0
(2)
118 Descargas
Actualizado 12 ago 2017

Ver licencia

DO331 talks about element blocks. I have put a set of element blocks that I had developed in 2005. These blocks are now validated formally using Simulink Design Verifier. This is added to help understand the concepts and to demonstrate a way in which you can formally test your company specific blocks. This will, I believe, help the students to understand the concept pf safety critical blocks. I will be very happy if students could take some of these blocks and extent it to certain components in their projects.

Citar como

Yogananda Jeppu (2025). Formally Correct Control Elemental Blocks (https://la.mathworks.com/matlabcentral/fileexchange/64088-formally-correct-control-elemental-blocks), MATLAB Central File Exchange. Recuperado .

Compatibilidad con la versión de MATLAB
Se creó con R2016b
Compatible con cualquier versión
Compatibilidad con las plataformas
Windows macOS Linux
Categorías
Más información sobre Modeling en Help Center y MATLAB Answers.
Etiquetas Añadir etiquetas

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Versión Publicado Notas de la versión
1.0.0.0