Abstrakt. Ungefärlig Markov kedja aggregering innebär konstruktion av en mindre Markov kedja som approximerar beteendet hos en given kedja. Vi diskuterar två olika tillvägagångssätt för att uppnå en nästan optimal delning av tillståndsrymden, baserat på olika begrepp om ungefärlig tillståndslikvärdighet. Båda ungefärliga aggregeringsmetoder kräver en explicit representation av övergångsmatrisen, ett faktum som gör dem ineffektiva för stora modeller. Huvudsyftet med detta arbete är att undersöka möjligheten att i komposition tillämpa en sådan ungefärlig aggregeringsteknik. Vi använder Kronecker-representationen av PEPA-modellerna för att aggregera komponenternas tillståndsutrymme snarare än hela modellen.
Förhållandet mellan dessa två begrepp om ungefärlig statlig likvärdighet har undersökts i REF.
Compositional Approximate Markov Chain Aggregation for PEPA Models
{'venue': 'EPEW/UKPEW', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}