In this paper, the domain of automotive safety is addressed. A specific application, i.e., autonomous, intelligent cruise controller, is selected. Model-based techniques which facilitate implementation independent specification and design of such a system are discussed. A set of systems

Detection Vehicle Cues Road-vehicles, especially cars and to a lesser extent lor-ries, comprise a large number of horizontal structures, particularly when viewed approximately from the rear,e.g. rear-window, boot, bumper (Figure 2). Whilst, there are obviously other potential sources of horizontal struc-ture, both natural, e.g. horizon, and man-made, e.g. roadsigns, it is generally possible to mask areas within the im-age where these may occur and it is physically impossible for vehicles to be present, such as above the horizon.Practical experience suggests that clusters of horizontal edges are a significant cue for areas of interest (AOI's)which potentially contain vehicles.

with the real world – design principles for

The advent of software agents gave rise to much discussion of just what such an agent is, and of how they differ from programs in general. Here we propose a formal definition of an autonomous agent which clearly distinguishes a software agent from just any program. We also offer the beginnings of a

systems (ITS) (ACC), or autonomous intelligent cruise control (AICC) system has been developed for vehicles operating in manual traffic, which are able not only to maintain a constant velocity but also, in addition, either a

The introduction of new technologies such as autonomous intelligent cruise control or collision avoidanceschemestoroadvehiclesnecessitatesahighdegree of robustness and reliability. Whilst very accurate range estimates may be recovered using conventional sensors, e.g. millimetric radar

In this article we propose a standard for role-based access control (RBAC). Although RBAC models have received broad support as a generalized approach to access control, and are well recognized for their many advantages in performing large-scale authorization management, no single authoritative

This book presents a unified treatment of many different kinds of planning algorithms. The subject lies at the crossroads between robotics, control theory, artificial intelligence, algorithms, and computer graphics. The particular subjects covered include motion planning, discrete planning

This paper provides an overview of research and development activities in the field of autonomous agents and multi-agent systems. It aims to identify key concepts and applications, and to indicate how they relate to one-another. Some historical context to the field of agent-based computing

for applications in high level control of robots and industrial processes, intelligent software agents, discrete event simulation, etc. It is based on a formal theory of action specified in an extended version of the situation calculus. A prototype implementation in Prolog has been developed.