Modular modeling techniques play an important role in the analysis of engineering processes as well as in control applications. While individual components of aggregated models can be relatively simple, complexity increases significantly when interconnections are considered. To address the problem of complexity explosion, simulation relations can be employed to abstract system behaviors by lowe...

Compiler verification is essential for the construction of fully verified software, but most prior work (such as CompCert) has focused on verifying whole-program compilers. To support separate compilation and to enable linking of results from different verified compilers, it is important to develop a compositional notion of compiler correctness that is modular (preserved under linking), transit...

Test beds for multi-agent systems provide the means for experimenting with multiple agents that act and interact concurrently in their environment. Mostly, test beds constitute specialized tools which provide speci c scenarios for testing speci c agentarchitectures. To facilitate reuse and a exible compositional construction of experimental frames for multiagent systems, JAMES, a Java Based Age...

Fine grained behavioural models of humans in a context, such as associates in an organization or a consumer group may allow us to both better understand existing behaviour as well as what would happen given various situations. We have been working on a behaviour compositional approach to this problem which creates realistic agent behaviour models that when run as a simulation allows us to under...

In this report, we approach the problem of defining and analysing compositional hierarchical scheduling frameworks (HSF) upon uniform multiprocessor platforms. For this we propose the uniform multiprocessor periodic resource (UMPR) model for a component interface. We extend previous results (for dedicated uniform multiprocessors, and for compositional HSFs on identical multiprocessors), providi...

In this work, we report on efforts for building a prototype simulink library for compositional modelling of hydrodynamic networks. The work is inspired by a cooperation with the EDF, where the desire for compositional modelling in a causal framework was exposed. The nature of the dynamics of hydrodynamic systems itself is compositional, and it is desirable to profit from this compositionality f...

data Peter Filzmoser, Karel Hron, Clemens Reimann Department of Statistics and Probability Theory, Vienna University of Technology, Wiedner Hauptstraße 8-10, A-1040 Vienna, Austria. Tel +43 1 58801 10733, FAX +43 1 58801 10799 Department of Mathematical Analysis and Applications of Mathematics, Palacký University, Faculty of Science, 17. listopadu 12, CZ-77146 Olomouc, Czech Republic Geological...