Incremental Control Synthesis for Robotics in the Presence of Temporal Logic Specifications

This thesis presents methods for incrementally constructing controllers in the presence of uncertainty and nonlinear dynamics. The basic setting is motion planning subject to temporal logic specifications. Broadly, two categories of problems are treated. The first is reactive formal synthesis when so-called discrete abstractions are available. The fragment of linear-time temporal logic (LTL) known as GR(1) is used to express assumptions about an adversarial environment and requirements of the controller. Two problems of changes to a specification are posed that concern the two major aspects of GR(1): safety and liveness. Algorithms providing incremental updates to strategies are presented as solutions. In support of these, an annotation of strategies is developed that facilitates repeated modifications. A variety of properties are proven about it, including necessity of existence and sufficiency for a strategy to be winning. The second category of problems considered is non-reactive (open-loop) synthesis in the absence of a discrete abstraction. Instead, the presented stochastic optimization methods directly construct a control input sequence that achieves low cost and satisfies a LTL formula. Several relaxations are considered as heuristics to address the rarity of sampling trajectories that satisfy an LTL formula and demonstrated to improve convergence rates for Dubins car and single-integrators subject to a recurrence task.

Natural habitat and population control mechanism of Crassula helmsii (Australian Swamp Stonecrop) in Australia

The plant Crassula helmsii (Kirk) Cochayne, was likely to become widely distributed and to dominate many damp and wet areas of nature reserves, recreational waters and agricultural drainage of Britain. The aim of this report was to study Australian Swamp Stonecrop in its natural habitat where it is in balance with its environment. This contrasts with its rapid and widespread distribution in the U.K. where its growth interferes with the use of fisheries and amenity lakes but also reduces the value of nature reserves and sites of special scientific interest by suppressing native flora. It was proposed to observe its growth at a variety of sites over its natural distribution and to include some environmental factors, e.g. water-level, water-chemistry (nutrients, acidity and alkalinity), frost-tolerance, salinity, with the help of portable sensors, locally-available services or data. 8 weeks of travel in Australia allowed time to study the plant in its natural habitat including the coastal areas of the southern half of the continent i.e . Western Australia, South Australia, New South Wales, Victoria, Tasmania and southern Queensland. The overall objective was to determine the environmental range by visits to selected sites of Crassula helmsii over its geographic range.

Hydrobiological service for observations and control of surface waters in the USSR

Technological progress, having reached in our time an unprecedented speed, is still increasing the rate of mineral extraction, industrial construction, and the mastering of new kinds of energy is growing. Correspondingly the anthropogenic load on the biosphere is increased and that requires the comprehensive development of monitoring the anthropogenic changes in the natural environment. Among problems resulting from the scientific-technological development, a noticeable place is given to the problem of pure water. Surface land waters proved to be a sensitive link in the natural environment. The hydrobiological service for observations and control of the surface waters is one of the subsystems of the State/Federal Service for Observations and Control of pollution levels in environmental objects, conducted by the USSR State Committee for Hydrometeor- ology and Control of the Natural Environment. This paper summarises the the main principles of the organisation and goals of the national system of monitoring of the state of the natural environment in the USSR.

Management of Biesboch reservoirs for quality control with special reference to eutrophication

The three Biesbosch Reservoirs are pumped storage reservoirs, fed with rather polluted and highly eutrophic water from the River Meuse. Air injection at the bottom of the reservoirs prevents thermal stratification, which would otherwise result in serious water quality deterioration. Reservoir mixing also serves as an economic algal control measure; mixing over sufficient depth causes light to play the role of limiting factor and this, combined with zooplankton grazing, keeps the biomass of phytoplankton at acceptable levels. Special problems are caused by benthic, geosmin-producing Oscillatoria species growing on the inner embankment. Rooting up the bottom with a harrow is used as the method of control, based on underwater observations by biological staff trained as SCUBA-divers. With regard to pollutant behaviour the three reservoirs act as a series of fully mixed reactors. This enables the application of kinetic models to describe their behaviour and allows the use of a selective intake policy, e.g. for suspended solids with associated contaminants, ammonia and polynuclear aromatic hydrocarbons. A combination of selective intake and self- purification processes - enhanced by the compartmentalisation of the storage volume in three reservoirs - leads to a striking improvement for many water-quality parameters.

A control of gas-vacuolate cyanobacteria

The cyanobacteria that cause problems in water supply are principally the colonial forms that are buoyed up by gas vesicles. The success of these organisms is due, in part, to their gas vesicles, which enable them to perform vertical migrations or to maintain themselves in the euphotic zone. The gas vesicles are also the root cause of the problems. In calm periods they cause the cyanobacteria to float to the water surface forming noxious scums, and they may prevent the colonies from sedimenting in water treatment plants. Gas vesicles are hollow, gas-filled structures; they are rigid but can be collapsed by the application of pressure. Their critical collapse pressure is influenced by their dimensions, which vary in different organisms. Gas vesicles are formed by the assembly of two types of protein, which determine their mechanical and physical properties. Methods for collapsing gas vesicles in natural populations of cyanobacteria will be considered. They may have application to the control of cyanobacteria in water supply.

Alveolar nitric oxide and its role in pediatric asthma control assessment

Resumen Background: Nitric oxide can be measured at multiple flow rates to determine proximal (maximum airway nitric oxide flux; Jaw(NO)) and distal inflammation (alveolar nitric oxide concentration; CA(NO)). The main aim was to study the association among symptoms, lung function, proximal (maximum airway nitric oxide flux) and distal (alveolar nitric oxide concentration) airway inflammation in asthmatic children treated and not treated with inhaled glucocorticoids. Methods: A cross-sectional study with prospective data collection was carried out in a consecutive sample of girls and boys aged between 6 and 16 years with a medical diagnosis of asthma. Maximum airway nitric oxide flux and alveolar nitric oxide concentration were calculated according to the two-compartment model. In asthmatic patients, the asthma control questionnaire (CAN) was completed and forced spirometry was performed. In controls, differences between the sexes in alveolar nitric oxide concentration and maximum airway nitric oxide flux and their correlation with height were studied. The correlation among the fraction of exhaled NO at 50 ml/s (FENO50), CA(NO), Jaw(NO), forced expiratory volume in 1 second (FEV1) and the CAN questionnaire was measured and the degree of agreement regarding asthma control assessment was studied using Cohen's kappa. Results: We studied 162 children; 49 healthy (group 1), 23 asthmatic participants without treatment (group 2) and 80 asthmatic patients treated with inhaled corticosteroids (group 3). CA(NO) (ppb) was 2.2 (0.1-4.5), 3 (0.2-9.2) and 2.45 (0.1-24), respectively. Jaw(NO) (pl/s) was 516 (98.3-1470), 2356.67 (120-6110) and 1426 (156-11805), respectively. There was a strong association (r = 0.97) between FENO50 and Jaw(NO) and the degree of agreement was very good in group 2 and was good in group 3. There was no agreement or only slight agreement between the measures used to monitor asthma control (FEV1, CAN questionnaire, CA(NO) and Jaw(NO)). Conclusions: The results for CA(NO) and Jaw(NO) in controls were similar to those found in other reports. There was no agreement or only slight agreement among the three measure instruments analyzed to assess asthma control. In our sample, no additional information was provided by CA(NO) and Jaw(NO).

Gain Scheduling Control of an Islanded Microgrid Voltage

The aim of this research study has been to design a gain scheduling (GS) digital controller in order to control the voltage of an islanded microgrid in the presence of fast varying loads (FVLs), and to compare it to a robust controller. The inverter which feeds the microgrid is connected to it through an inductance-capacitor-inductance (LCL) filter. The oscillatory and nonlinear behaviour of the plant is analyzed in the whole operating zone. Afterwards, the design of the controllers which contain two loops in cascade are described. The first loop concerns the current control, while the second is linked to the voltage regulation. Two controllers, one defined as Robust and another one as GS controller, are designed for the two loops, emphasizing in their robustness and their ability to damp the oscillatory plant behaviour. To finish, some simulations are carried out to study and compare the two kinds of controllers in different operating points. The results show that both controllers damp the oscillatory behaviour of the plant in closed loop (CL), and that the GS controller ensures a better rejection of current disturbances from FVLs.

Contributions on agreement in dynamic distributed systems

139 p.

Biotic vs. Abiotic Control of Decomposition: A Comparison of the Effects of Simulated Extinctions and Changes in Temperature

The loss of species is known to have significant effects on ecosystem functioning, but only recently has it been recognized that species loss might rival the effects of other forms of environmental change on ecosystem processes. There is a need for experimental studies that explicitly manipulate species richness and environmental factors concurrently to determine their relative impacts on key ecosystem processes such as plant litter decomposition. It is crucial to understand what factors affect the rate of plant litter decomposition and the relative magnitude of such effects because the rate at which plant litter is lost and transformed to other forms of organic and inorganic carbon determines the capacity for carbon storage in ecosystems and the rate at which greenhouse gasses such as carbon dioxide are outgassed. Here we compared how an increase in water temperature of 5 degrees C and loss of detritivorous invertebrate and plant litter species affect decomposition rates in a laboratory experiment simulating stream conditions. Like some prior studies, we found that species identity, rather than species richness per se, is a key driver of decomposition, but additionally we showed that the loss of particular species can equal or exceed temperature change in its impact on decomposition. Our results indicate that the loss of particular species can be as important a driver of decomposition as substantial temperature change, but also that predicting the relative consequences of species loss and other forms of environmental change on decomposition requires knowledge of assemblages and their constituent species' ecology and ecophysiology