Multi-resolution modeling based on quotient space and DEVS

Multi-resolution modeling based on quotient space and DEVS

Liu, B. (National University of Defense Technology)
Verbraeck, A. (TU Delft Policy Analysis)

2017

As simulation systems get more and more complex, the study of multi-resolution modeling (MRM) remains an exciting and fertile area of research. Contrasting its abundant successful use cases, a rigorous mathematical foundation is still lacking in MRM. In this paper, we propose a quotient space based multi-resolution modeling (QMRM) theory based on granular computing in artificial intelligence and on discrete-event system specification (DEVS) in modeling and simulation. Based on quotient sets, resolution, multi-resolution modeling and other related concepts are defined and a general concept framework is constructed. Based on the concepts of quotient set and natural projection, several MRM principles are derived. The internal consistency principle guarantees consistency among different perspectives of an atomic model, whereas the external consistency principle guarantees that different components in a coupled model are consistent. The false-preserving principle indicates that if a construction relation or state transformation relation of a component does not exist in a low resolution model, then the corresponding relations should not exist in its high resolution model. The true-preserving principle tells us that a high resolution model can be simplified by choosing the proper low resolution model. QMRM is not only a formal specification, but also a fundamental framework to understand MRM concepts, a guiding ideology to design specific MRM methods, and a modeling methodology to develop MRM systems. QMRM is created from a general simulation perspective, not limited by any specific application or problem domain aspects. The results of this paper can serve as a starting point for further study of multi-resolution problems in different domains.

Discrete-event system specification (DEVS)
Equivalence relation
Multi-resolution modeling (MRM)
Quotient set
Resolution

http://resolver.tudelft.nl/uuid:a131b1f7-fef2-416a-bf26-80953bd57862

https://doi.org/10.1016/j.simpat.2016.10.004

2017-03-29

1569-190X

Simulation Modelling Practice and Theory, 70, 1339-1351

Green Open Access added to TU Delft Institutional Repository ‘You share, we take care!’ – Taverne project https://www.openaccess.nl/en/you-share-we-take-care Otherwise as indicated in the copyright section: the publisher is the copyright holder of this work and the author uses the Dutch legislation to make this work public.

Institutional Repository

journal article

© 2017 B. Liu, A. Verbraeck