Verification of periodically controlled hybrid systems: Application to an autonomous vehicle

This article introduces Periodically Controlled Hybrid Automata (PCHA) for modular specification of embedded control systems. In a PCHA, control actions that change the control input to the plant occur roughly periodically, while other actions that update the state of the controller may occur in the interim. Such actions could model, for example, sensor updates and information received from higher-level planning modules that change the set point of the controller. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariant properties of PCHAs is presented. For PCHAs with polynomial continuous vector fields, it is possible to check these conditions automatically using, for example, quantifier elimination or sum of squares decomposition. We examine the feasibility of this automatic approach on a small example. The proposed technique is also used to manually verify safety and progress properties of a fairly complex planner-controller subsystem of an autonomous ground vehicle. Geometric properties of planner-generated paths are derived which guarantee that such paths can be safely followed by the controller. © 2012 ACM.

Component-based approach to the holonic control of a robot assembly cell

The aim of this paper is to describe the implementation of a new approach for the introduction of so called 'holonic manufacturing' principles into existing production control systems. Such an approach is intended to improve the reconfigurability of the control system to cope with the increasing requirements of production change. A conceptual architecture is described and implemented in a robot assembly cell to demonstrate that this approach can lead to a manufacturing control system which can adapt relatively simply to long-term change. A design methodology and migration strategy for achieving these solutions using conventional hardware is proposed to develop execution level of manufacturing control systems.

Towards measuring the impact of information availability on maintenance decisions

Decisions concerning maintenance have become increasingly important and requires a diverse set of information as systems become more complex. The availability of information has an impact on the effectiveness of these decisions, and thus on the performance of the asset. This paper highlights the importance of quantifying the value of information on maintenance decisions and asset performance. In particular, we emphasise the need to focus on measuring value as opposed to cost of maintenance, which is the current practice. In this direction, we propose a measure - Value of Ownership (VOO) - to assess the value of information and performance of maintenance decisions throughout an assets lifecycle. © 2009 IFAC.