Formally Correct Control Elemental Blocks

Version 1.0.0.0 (293 ko) par Yogananda Jeppu
This has a set of blocks which are formally correct in functionality
5.0
(2)
108 téléchargements
Mise à jour 12 août 2017

Afficher la licence

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.

Citation pour cette source

Yogananda Jeppu (2024). Formally Correct Control Elemental Blocks (https://www.mathworks.com/matlabcentral/fileexchange/64088-formally-correct-control-elemental-blocks), MATLAB Central File Exchange. Récupéré le .

Compatibilité avec les versions de MATLAB
Créé avec R2016b
Compatible avec toutes les versions
Plateformes compatibles
Windows macOS Linux
Catégories
En savoir plus sur Modeling dans Help Center et MATLAB Answers

Community Treasure Hunt

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

Start Hunting!

Version Publié le Notes de version
1.0.0.0