In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
In this work we present a novel control design methodology for under-actuated mechanical systems. As part of the design process we use the reachability analysis tool d/dt [ABDM99,D...
Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao ...
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
In many applications of motion control, problems associated with imprecisely measured or changing load (a mass or a moment of inertia) can be a serious obstacle in the formation o...
We present an audio-visual Virtual Reality display system for simulated sound fields. In addition to the room acoustic simulation by means of phonon tracing and finite element met...
Eduard Deines, Martin Hering-Bertram, Jan Mohring,...