Author

P.J. Probert

20 papers · 1989–2014

1989peak 9 in 20022014

Frequent co-authors

Papers

showing 1–20 of 20 RSS

UNION: underwater intelligent operation and navigation

V. Rigaud, Ève Coste-Manière, M.J. Aldon +9 more

Hardware and Architecture · IEEE Robotics & Automation Magazine · March 1998 · cited 70× · DOI ↗ · more like this ·

The main goal of the UNION ESPRIT Basic Research Action is to develop methods for increasing the autonomy and intelligence of underwater remotely operated vehicles (ROVs). The project focuses mainly on the development of coordinated control and sensing strategies for combined manipulator and vehicle systems. Both fundamental theories and methods for the design of these heterogeneous systems are investigated. A complex canonical mission in the field of offshore inspection maintenance and repair tasks was chosen as an integration guideline of all the results.

Range finding and feature extraction by segmentation of images for mobile robot navigation

Rhiannon Taylor, P.J. Probert

Computer Vision and Pattern Recognition · Oxford University Research Archive (ORA) (University of Oxford) · 23 Dec 2002 · cited 32× · DOI ↗ · more like this ·

This paper describes techniques to identify various features in a scene using a laser range finding sensor, scanning horizontally in one dimension. The authors describe the optical and electronic properties of the sensor, together with the distributed processing hardware. The authors present a method to recognise and parameterise straight lines and ellipses occurring together in ID range images. In particular, the authors: (1) Present a line fitting system which recursively fits points to line segments, given range and bearing information, and correctly accounts for the sensors error sources. This system also passes on unfitted points to the ellipse fitter. (2) Extend Rothwell and Zisserman's improvements to the Bookstein algorithm to determine ellipse parameters from few observed points which lie over a small angular excursion of the ellipse, for example a pipe in an industrial…

Towards a real-time architecture for obstacle avoidance and path planning in mobile robots

Martin Adams, Huosheng Hu, P.J. Probert

Computer Vision and Pattern Recognition · 4 Dec 2002 · cited 29× · DOI ↗ · more like this ·

The design and partial implementation of a real-time architecture for a mobile robot, aimed particularly towards a vehicle developed for factory automation, is described. The authors develop a layered design to equip the robot with a number of behavioral competences. They examine sensing and a potential field algorithm especially to achieve modification of behavior at a speed close to the robot's operational speed. It is shown how the layered architecture interfaces to the original onboard architecture, which provided sophisticated localization but no ability to deal with environmental exceptions.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

Coping with uncertainty in control and planning for a mobile robot

Huosheng Hu, Michael Brady, P.J. Probert

Computer Vision and Pattern Recognition · 9 Dec 2002 · cited 25× · DOI ↗ · more like this ·

Describes a decision theoretic approach to real-time obstacle avoidance and path planning for a mobile robot. The mobile robot navigates in a semi-structured environment in which unexpected obstacles may appear at random locations. Twelve sonar sensors are currently used to report the presence and location of the obstacles. To handle the uncertainty of an obstacle's appearance, the authors adopt a Bayesian approach by assuming a prior distribution for the presence of unknown obstacles. The distribution is changed dynamically according to the information accumulated by sensors. When searching for an optimal path using dynamic programming, the authors take the probability into account in making a decision. Based on prior information and sensor data, they show that the proposed method allows the mobile robot to avoid unexpected obstacles and finds an optimal path to the goal in real time.<…

Sensor-based control of AGVs

Michael Brady, Hugh Durrant‐Whyte, Huosheng Hu +3 more

Computer Vision and Pattern Recognition · Computing & Control Engineering Journal · 1990 · cited 24× · DOI ↗ · more like this ·

This article summarises work on a number of related sensor-guided mobile robot projects at Oxford University. Two fundamental problems are discussed: navigation and obstacle avoidance. Beacons are central to navigation. Implemented systems are described that make different assumptions about the environment and use different beacons. An implemented system is also described that can sense and avoid obstacles on the fly, without stopping. It is based on a layered architecture. A fully decentralised Kalman filter has been applied to a number of sensor integration tasks, including tracking an object visually as it moves around a room.

Navigation and control of a mobile robot among moving obstacles

Huosheng Hu, Michael Brady, P.J. Probert

Computer Vision and Pattern Recognition · 9 Dec 2002 · cited 21× · DOI ↗ · more like this ·

The issues related to navigation and control of a mobile robot which enable it to deal with unexpected moving obstacles by sensor-based control are addressed. A probabilistic approach to deal with collision avoidance under uncertainty is proposed. It is assumed that the uncertainties both in the position of a moving obstacle and the error of the measurements are normally distributed. The mean and variance of the distribution are determined by a recursive Kalman filter both from a priori information and the available sensor data. The authors define a safe circle for the robot and bound a high-confidence position error ellipse of the moving obstacles. Collisions can be avoided by controlling the speed and steering of the mobile robot along the preplanned path to keep the safe circle from intersecting the ellipse. A local robot frame was chosen for collision judgement and avoidance…

New techniques for genetic development of a class of fuzzy controllers

Donald Leitch, P.J. Probert

Artificial Intelligence · IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews) · 1998 · cited 21× · DOI ↗ · more like this ·

Presents three novel techniques for enhancing the power of a genetic algorithm (GA) used to design fuzzy systems: a new context-dependent coding (CDC) technique, a simple chromosome reordering operator to maximize efficiency, and the coevolution of controller set tests to force competence in all areas of state space. These measures are shown to lead to a considerable improvement over conventional GAs when used to design controllers for a standard problem, such as the cart-pole problem. We use an analysis of GAs by L. Altenberg (1994) to determine a performance measure that demonstrates that our coding scheme and reordering operator improve the ability of the GA to organize itself and evolve chromosomal structures that not only produce high scores, but improve the search efficiency of the genetic operators. We investigate the algorithm in a controller to provide parallel parking…

Distributed Real-Time Control of a Mobile Robot

Huosheng Hu, J. Michael Brady, Fenglei Du +1 more

Computer Vision and Pattern Recognition · Intelligent Automation & Soft Computing · 1995 · cited 14× · DOI ↗ · more like this ·

ABSTRACTWe describe a distributed real-time architecture, based on transputers, for intelligent control of a mobile robot. This architecture takes the form of a network of sensing and control nodes, based on a novel module that we call Locally Intelligent Control Agents (LICAs). Each LICA has its own processing facility, and the overall system does not require any common buses or central communication facilities. Computation is performed locally and communication occurs between any two LICAs using high speed, point to point communication links. The LICAs run independently to achieve specific subtasks, and in parallel to interact intelligently with the real world. Using this architecture, our mobile robot can navigate in a manufacturing environment, plan an optimal path to reach the goal, and avoid unexpected obstacles in real time. The architecture has been made available commercially…

LICAs: a modular architecture for intelligent control of mobile robots

Huosheng Hu, J. Michael Brady, J. Grothusen +2 more

Computer Vision and Pattern Recognition · Oxford University Research Archive (ORA) (University of Oxford) · 19 Nov 2002 · cited 13× · DOI ↗ · more like this ·

A modular architecture used for intelligent control of mobile robots has been developed at Oxford University over the last few years. This architecture takes the form of multiple sensing and control layers, based on "locally intelligent control agents" (LICAs). Central to such a design is the concept of "communication sequential processes" (CSP). This paper describes briefly the LICA-based control architecture for an Oxford mobile robot. Two typical operations of sonar and active vision systems have been given to demonstrate its flexibility and efficiency. Such a modular and unified system has been licensed commercially and allows for the integration of all kinds of sensors and actuators to meet future needs.

<title>Trajectory planning and optimal tracking for an industrial mobile robot</title>

Huosheng Hu, J. Michael Brady, P.J. Probert

Computer Vision and Pattern Recognition · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · February 1994 · cited 13× · DOI ↗ · more like this ·

This paper introduces a unified approach to trajectory planning and tracking for an industrial mobile robot subject to non-holonomic constraints. We show (1) how a smooth trajectory is generated that takes into account the constraints from the dynamic environment and the robot kinematics; and (2) how a general predictive controller works to provide optimal tracking capability for nonlinear systems. The tracking performance of the proposed guidance system is analyzed by simulation.

Towards a real-time navigation strategy for a mobile robot

Martin Adams, P.J. Probert

Computer Vision and Pattern Recognition · 4 Dec 2002 · cited 10× · DOI ↗ · more like this ·

Describes the design of a real-time obstacle avoidance and navigation strategy for a mobile robot, using simulated time of flight infrared data. Algorithms have been developed in order to overcome the undesirable effect of potential traps within the field, and a new approach for dealing with sensing whilst moving is demonstrated. The authors show simulated results of a vehicle moving under artificial potential force equations, which is designed to achieve modification of behaviour at a speed close to the normal operational speed of a real mobile.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

<title>Sensor models and a framework for sensor management</title>

Alex P. Gaskell, P.J. Probert

Artificial Intelligence · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 20 Aug 1993 · cited 6× · DOI ↗ · more like this ·

We describe the use of Bayesian belief networks and decision theoretic principles for sensor management in multi-sensor systems. This framework provides a way of representing sensory data and choosing actions under uncertainty. The work considers how to distribute functionality between sensors and the controller. Use is made of logical sensors based on complementary physical sensors to provide information at the task level of abstraction represented within the network. We are applying these methods in the area of low level planning in mobile robotics. A key feature of the work is the development of quantified models to represent diverse sensors, in particular the sonar array and infra-red triangulation sensors we use on our AGV. We need to develop a model which can handle these very different sensors but provides a common interface to the sensor management process. We do this by…

A decision theoretic approach to real-time obstacle avoidance for a mobile robot

Huosheng Hu, Michael Brady, P.J. Probert

Computer Vision and Pattern Recognition · 30 Dec 2002 · cited 5× · DOI ↗ · more like this ·

Investigates how a car-like mobile robot handles unexpected static obstacles while following an optimal path planned by the global path planner. To find an optimal solution of the problem, the obstacle avoidance problem is formulated as a decision theoretic approach. The optimal decision rule we seek is to minimize the Bayes risk by trading off between deliberative maneuver and the alternatives. Real-time implementation is emphasized in order to provide a framework for real-world applications.

Mobile robot motion planning-stability, convergence and control

Martin Adams, P.J. Probert

Computer Vision and Pattern Recognition · 9 Dec 2002 · cited 2× · DOI ↗ · more like this ·

Presents a unified approach to the navigation and control of a mobile robot. In the past, path planning has often been referred to as a 'high level' task and has been completely separated from the so called 'lower level' control of a real mobile vehicle. The authors consider here the total energy of a mobile vehicle when influenced under a good seeking navigation strategy. This energy function is used to produce a control law directly to drive a mobile vehicle. The authors also incorporate directly an estimate of an artificial repulsive potential field into the low level controller.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

A verified architecture for sensor fusion

Chris M. Pearson, P.J. Probert

Computational Theory and Mathematics · 9 Dec 2002 · cited 1× · DOI ↗ · more like this ·

An architecture for the control of a multi-sensor mobile robot is proposed. The architecture is based on the subsumption approach, but with limited sharing of data between behaviours. The mechanisms were developed with the aid of the formal CSP notation, and critical parts have been proved deadlock free.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

Towards A Real-Time Architecture for Obstacle Avoidance and Path Planning in Mobile Robots

M. D. Adam, Huosheng Hu, P. J. Probert

Computer Vision and Pattern Recognition · 4 Feb 2014 · cited 0× · OpenAlex ↗ · more like this ·

We describe the design and partial implementation of a real time architecture for a mobile robot, aimed particularly towards a vehicle developed for factory automation.. We develop a layered design to equip the robot with a number of behavioural competences. We examine sensing and a potential field algorithm especially to achieve modification of behaviour at a speed close to the robot’s operational speed. We show how the layered architecture interfaces to the original on-board architecture, which provided sophisticated localisation but no ability to deal with environmental exceptions. 2

Sensing and Sensor Management for Planning

P.J. Probert, Alex P. Gaskell, Huosheng Hu

Computer Vision and Pattern Recognition · Institution of Engineering and Technology eBooks · 1996 · cited 0× · DOI ↗ · more like this ·

In this chapter sensors which are being developed for robotics, and how they might be used together to provide a robust facility for real-time sensing, planning and control are described. The main requirement for robot control and planning is to determine the range of nearby objects i.e. how far away they are from the robot.

Validation methods using formal techniques

P.J. Probert, David Lamb

Software · Oxford University Research Archive (ORA) (University of Oxford) · 16 Sep 1991 · cited 0× · OpenAlex ↗ · more like this ·

For many years computer scientists have been developing languages and techniques to clarify the structure of programs through establishing a sound mathematical foundation. The techniques included under the general umberella of formal methods have been introduced especially to put the design phase of program onto an analytical basis. Through demanding a precise mathematical notation at each stage of specification and design, they enforce a clarity of thought as well as providing methods for mathematically verifying that a program meets its specification. These methods have been applied very successfully for specification in areas ranging from databases to microprocessors. In this paper we examine their applicability in verifying and validating control software.

Designing a controller that works: using formal techniques in robotic systems

P.J. Probert, R. Stamper

Software · Computing & Control Engineering Journal · 1991 · cited 0× · DOI ↗ · more like this ·

The size and complexity of robot controllers is such that it is impossible to predict their performance by conventional means. Debugging and system maintenance are major problems which have only partial solutions. In conjunction with careful structuring, we have used formal mathematical techniques (often known generically as formal methods) in designing the software architecture of a mobile robot controller to gain greater understanding of the system and to validate its expected performance. The impetus for this work is a major mobile robot project to provide sensory control in a factory application. In this article we assess the place of formal methods in the cycle of system development.

A layered control system for a caterpillar tracked vehicle

Martin Adams, P.J. Probert

Computer Vision and Pattern Recognition · 6 Jun 1989 · cited 0× · OpenAlex ↗ · more like this ·

Describes a design for a high bandwidth controller for a guided vehicle. A particular feature of the controller is that it is layered, being based on the ideas behind the subsumption architecture of Brooks (1985), rather than hierarchical. This leads to versatility in operation and facilitates a structured implementation of the controller. Another emphasis feature is on hardware as well as software to achieve real time performance.