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.

Seismic model parameter estimation using least-squares migration

We describe a method for verifying seismic modelling parameters. It is equivalent to performing several iterations of unconstrained least-squares migration (LSM). The approach allows the comparison of modelling/imaging parameter configurations with greater confidence than simply viewing the migrated images. The method is best suited to determining discrete parameters but can be used for continuous parameters albeit with greater computational expense.

Structural use of glass

... .10) i=1 i=1 in which I is the number of data points included in the fit. ... the least squares method can be used to estimate parameters of any model, ...

ℓasso MPC: Smart regulation of over-actuated systems

In this paper, a novel MPC strategy is proposed, and referred to as asso MPC. The new paradigm features an 1-regularised least squares loss function, in which the control error variance competes with the sum of input channels magnitude (or slew rate) over the whole horizon length. This cost choice is motivated by the successful development of LASSO theory in signal processing and machine learning. In the latter fields, sum-of-norms regularisation have shown a strong capability to provide robust and sparse solutions for system identification and feature selection. In this paper, a discrete-time dual-mode asso MPC is formulated, and its stability is proven by application of standard MPC arguments. The controller is then tested for the problem of ship course keeping and roll reduction with rudder and fins, in a directional stochastic sea. Simulations show the asso MPC to inherit positive features from its corresponding regressor: extreme reduction of decision variables' magnitude, namely, actuators' magnitude (or variations), with a finite energy error, being particularly promising for over-actuated systems. © 2012 AACC American Automatic Control Council).

The role of infrastructure in improving human settlements

This paper considers how the provision of integrated household-level infrastructure – particularly water and environmental sanitation (including water supply, sewerage, roads, storm drainage and solid waste management) –can play a leading role in improving the conditions in slum settlements. Around 700 socio-economic interviews were carried out in India and South Africa to investigate an innovative approach called slum networking, which sees the strong correlation between slum locations and drainage paths as an opportunity for improving the wider urban environment. This recognition allows resources to be mobilised locally, thereby removing the need for external aid funding. The evidence from the 700 families shows that communities perceive water and sanitation inputs to be their top priority and are willing to contribute to the costs. If slum upgrading is led with access to integrated water and environmental sanitation at household level with community contributions to the cost of infrastructure, then slum communities subsequently invest considerably greater sums in improved housing and education, with longer term contributions to poverty alleviation, improvements in health and literacy and an increase in disposable incomes.