University of Twente Student Theses
From Truth Table to Fault Tree by Modularization
Krasnoperov, E.M. (2025) From Truth Table to Fault Tree by Modularization.
|
PDF
1MB |
| Abstract: | We study a novel algorithm for identifying modules from Minimum Cut Set encodings of simple fault trees, and compare performance / quality to the state-of-the-art. Existing fault trees from fault tree forest, as well as trees from random LLM generated logic expressions are used as test data. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/105162 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page