Advanced Modeling of Complex Behaviour in Concurrent Systems

Abstract

In this paper we motivate the use of a declarative programming style and the use of massive parallel computing systems to model control strategies in concurrent systems. The simpliied formulation of system components and their interaction permits to generate a rapid prototype of the system. Based on this prototype, a rst simulation of the modeled strategies… (More)

Topics

3 Figures and Tables

Slides referencing similar topics