Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
An iterative numerical technique has been developed to simulate in detail the dynamics of a shallow-layer gravity settler. Currently acknowledged models apply only to specific eq...
Joint attention is one of the most important cognitive functions for the emergence of communication not only between humans but also between humans and robots. In the previous wor...
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...
Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, H...