Structural Reductions with Partitioning
Author
Christensen, Martin
Term
4. term
Education
Publication year
2021
Submitted on
2021-04-28
Pages
42
Abstract
Dette projekt undersøger, hvordan strukturel reduktion kan kombineres med partitionering. Strukturel reduktion betyder at forenkle en model eller et system ved at fjerne dele, uden at ændre den vigtige adfærd. Partitionering deler problemet op i mindre dele, så der kan udføres ekstra reduktioner, som ikke er mulige på hele systemet på én gang. Rapporten beviser, at metoden er korrekt på tværs af flere partitioner, skitserer en effektiv implementeringsarkitektur og drøfter udfordringer ved at finde og fjerne duplikerede tilstande, der opstår i forskellige partitioner.
This project studies how to combine structural reduction with partitioning. Structural reduction means simplifying a system or model by removing parts without changing its important behavior. Partitioning divides the problem into smaller pieces so that additional reductions become possible. The report proves that the approach is correct when applied across multiple partitions, outlines an efficient implementation architecture, and discusses challenges in detecting and eliminating duplicate states that appear in different partitions.
[This summary has been rewritten with the help of AI based on the project's original abstract]
Keywords
Documents