University of Twente Student Theses
Performing Bisimulation Minimisation To Parity Game Strategies To Improve Controller Quality
Abbema, F. van (2022) Performing Bisimulation Minimisation To Parity Game Strategies To Improve Controller Quality.
|
PDF
544kB |
| Abstract: | Reactive synthesis is the process of creating a controller out of a high-level specification. Recently, new research created a way of converting a linear temporal logic specification to an and-inverter graph. In this process, a parity game is created and solved to obtain a strategy which is directly translated into an and-inverter graph. However, the strategy of the parity game could have some redundant states. Reducing the number of states will result in a smaller graph and therefore a smaller and more efficient controller. This paper investigates how much parity game strategies can be reduced in the reactive synthesis process. Around half of the strategies can be reduced in size and when reduction is possible on average 28% of the strategy is reduced. |
| 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/91746 |
| 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