Architectural modelling for robotics: RoboArch and the CorteX example.

The need for robotic systems to be verified grows as robots are increasingly used in complex applications with safety implications. Model-driven engineering and domain-specific languages (DSLs) have proven useful in the development of complex systems. RoboChart is a DSL for modelling robot software controllers using state machines and a simple component model.

Methane and Carbon Dioxide Emissions From Reservoirs: Controls and Upscaling.

Estimating carbon dioxide (CO) and methane (CH) emission rates from reservoirs is important for regional and national greenhouse gas inventories. A lack of methodologically consistent data sets for many parts of the world, including agriculturally intensive areas of the United States, poses a major challenge to the development of models for predicting emission rates. In this study, we used a systematic approach to measure CO and CH diffusive and ebullitive emission rates from 32 reservoirs distributed across an agricultural to forested land use gradient in the United States.