Advanced Modeling of Complex Behaviour in Concurrent Systems


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)


3 Figures and Tables

Slides referencing similar topics