This article provides an elaborate overview of current research in extended object tracking. We provide a clear definition of an extended object and discuss its delimitation to other object types and sensor models. Next, different shape models and possibilities to model the number of measurements are extensively discussed. Subsequently, we give a tutorial introduction to two basic and well used...

The industrial potential of object-oriented formal methods is enormous. The potential of these methods has largely gone unrealised however, due to weaknesses in the underlying semantic foundations. This paper addresses that problem. We identify the \hard" problems in the area as: (i) the need to model object identity; (ii) the relationship between structure and behaviour; and, (iii) the (someti...

A notation is presented for formally describing the design of a user-interface. The speciication of a system is given using the Object-Z formal speciication language and then extended to describe presentation using an Object-Z class library. The Object-Z notation is extended to enable designs to be described using UAN (User Action Notation) annotations and the semantics for the design extension...

In the current collaborative and extended-enterprise environment, product definition must be exchanged between original equipment manufacturers (OEM) and other partners who contribute to the evolution of product definition. In many cases, an information package, which is associated with other objects in the DMU, must thus be extracted from the OEM’s Digital Mock -up (DMU) and be sent to partner...

Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension allows powerful object-oriented reuse mechanisms, such as class inheritance and object composition, to be utilized in the early design phases. This paper presents the semantics for this extended SOFL and further demonstra...

Object-oriented frameworks and design patterns are useful abstractions that are relatively new to the object-oriented paradigm. The implementation of the abstractions, however, suffers from a number or problems due to the fact that insufficient language support is provided by the traditional object-oriented paradigm. In this paper, we analyse these problems, study the different approaches for p...

This article considers the tracking of elliptical extended targets parameterized by center, orientation, and semiaxes. The focus this lies on fusion target estimates, e.g., from multiple sensors, handling ambiguities in parameterization unclear meaning mean square error. For purpose, we introduce a novel Bayesian framework for elliptic extent estimation based two new concepts: 1) A probability ...