Semantic maps augment metric-topological maps with meta-information, i.e. semantic knowledge aimed at the planning and execution of high-level robotic tasks. Semantic knowledge typically encodes human-like concepts, like types of objects and rooms, which are connected to sensory data when symbolic representations of percepts from the robot workspace are grounded to those concepts. This symbol g...

This chapter describes a form of technology known as PSS (Process Support System). PSS provides a set of techniques for modelling cooperative work and a flexible generic technology for building office information systems. The chapter introduces a number of related office technologies to set the scene for a description of PSS. The approach to process modelling in PSS is introduced using a medica...

We investigate the optimality of linear interference alignment (allowing symbol extensions) for 3-user MT × MR MIMO interference channel where MT and MR denote the number of antennas at each transmitter and each receiver, respectively, and the channel coefficients are held constant. Recently, Wang et al. have conjectured that interference alignment based on linear beamforming using only proper ...

We provide a formal framework within which an Information System (IS) could be modelled, analysed, and verified in a compositional manner. Our work is based on Interval Temporal Logic (ITL) and its programming language subset Tempura. This is achieved by considering IS, of an enterprise, as a class of reactive systems in which it is continually reacting to asynchronously occurring events within...