We introduce semantic flow graph (SFG), a novel graph representation and interaction framework that enables users to explore the relationships among key objects (i.e., streamlines, critical points, and spatial regions) of a 3D flow field. The objects and their relationships are organized as a heterogeneous network. We assign each object a set of attributes, based on which a semantic abstraction...

Traditional WSN simulators are limited to simulating nodes at one single abstraction level. This makes system development and evolution difficult since developers cannot use the same simulator for both high-level algorithm development and low-level development such as device-driver implementations. The Contiki simulator COOJA allows for cross-level simulation, a novel type of wireless sensor ne...

Mobile robotic devices combining sensors, actuators, and computers are unique, complex devices which may be difficult to model from an abstract point of view. This paper presents a software development system which builds an abstraction of a robotic environment. This abstraction allows external software to interact with either a simulated robot and environment or to a real robot complete with s...

Modelling and verification of systems such as communication, network and security protocols, which exhibit both probabilistic and non-deterministic behaviour, typically use Markov Decision Processes (MDPs). For large, complex systems, abstraction techniques are essential. This paper builds on a promising approach for abstraction of MDPs based on stochastic two-player games which provides distin...