An algebra of discrete event processes

This report deals with an algebraic framework for modeling and control of discrete event processes. The report consists of two parts. The first part is introductory, and consists of a tutorial survey of the theory of concurrency in the spirit of Hoare's CSP, and an examination of the suitability of such an algebraic framework for dealing with various aspects of discrete event control. To this end a new concurrency operator is introduced and it is shown how the resulting framework can be applied. It is further shown that a suitable theory that deals with the new concurrency operator must be developed. In the second part of the report the formal algebra of discrete event control is developed. At the present time the second part of the report is still an incomplete and occasionally tentative working paper

Las crisis sanitarias y la migración

Las respuestas individuales y colectivas a las crisis sanitarias se suman a una respuesta de la sanidad pública ordenada, que la mayoría de las veces se opone a la necesidad de desplazamientos a gran escala. Restringir los movimientos de población es un modo muy ineficaz de detener la propagación de una enfermedad y sin embargo los Gobiernos suelen recurrir a ello en los lugares donde se origina una crisis sanitaria

Aspects of the behavioral and endocrine ontogeny of six moustached tamarins, Saguinus mystax (Callitrichinae)

Deutsche Forschungsgemeinschaft (HE 1870/10-1,2

Health and healthcare access among Zambia's female prisoners: a health systems analysis.

BackgroundResearch exploring the drivers of health outcomes of women who are in prison in low- and middle-income settings is largely absent. This study aimed to identify and examine the interaction between structural, organisational and relational factors influencing Zambian women prisoners' health and healthcare access.MethodsWe conducted in-depth interviews of 23 female prisoners across four prisons, as well as 21 prison officers and health care workers. The prisoners were selected in a multi-stage sampling design with a purposive selection of prisons followed by a random sampling of cells and of female inmates within cells. Largely inductive thematic analysis was guided by the concepts of dynamic interaction and emergent behaviour, drawn from the theory of complex adaptive systems.ResultsWe identified compounding and generally negative effects on health and access to healthcare from three factors: i) systemic health resource shortfalls, ii) an implicit prioritization of male prisoners' health needs, and iii) chronic and unchecked patterns of both officer- and inmate-led victimisation. Specifically, women's access to health services was shaped by the interactions between lack of in-house clinics, privileged male prisoner access to limited transport options, and weak responsiveness by female officers to prisoner requests for healthcare. Further intensifying these interactions were prisoners' differential wealth and access to family support, and appointments of senior 'special stage' prisoners which enabled chronic victimisation of less wealthy or less powerful individuals.ConclusionsThis systems-oriented analysis revealed how Zambian women's prisoners' health and access to healthcare is influenced by weak resourcing for prisoner health, administrative biases, and a prevailing organisational and inmate culture. Findings highlight the urgent need for investment in structural improvements in health service availability but also interventions to reform the organisational culture which shapes officers' understanding and responsiveness to women prisoners' health needs

A cascaded laser acceleration scheme for the generation of spectrally controlled proton beams

We present a novel, cascaded acceleration scheme for the generation of spectrally controlled ion beams using a laser-based accelerator in a 'double-stage' setup. An MeV proton beam produced during a relativistic laser–plasma interaction on a thin foil target is spectrally shaped by a secondary laser–plasma interaction on a separate foil, reliably creating well-separated quasi-monoenergetic features in the energy spectrum. The observed modulations are fully explained by a one-dimensional (1D) model supported by numerical simulations. These findings demonstrate that laser acceleration can, in principle, be applied in an additive manner.Deutsche Forschungsgemeinschaft (DFG contract no. TR18)Deutsche Forschungsgemeinschaft (contract no. 03ZIK052)European Union (Laserlab Europe

Reusing models and properties in the analysis of similar interactive devices

"Published online: 03 Apr. 2013"The paper is concerned with the comparative analysis of interactive devices. It compares two devices by checking a battery of template properties that are designed to explore important interface characteristics. The two devices are designed to support similar tasks in a clinical setting but differ in a number of respects as a result of judgements based on a range of considerations including software. Variations between designs are often relatively subtle and do not always become evident through even relatively thorough user testing. Notwithstanding their subtlety these differences may be important to the safety or usability of the device. The illustrated approach uses formal techniques to provide the analysis. This means that similar analysis can be applied systematically.This project was partly funded by the CHI+MED project: Multidisciplinary Computer Human Interaction Research for the design and safe use of interactive medical devices (UK EPSRC Grant EP/G059063/1). Patrick Oladimeji of Swansea University provided help with the Alaris pump and Chris Vincent of UCL provided access to the B. Braun simulation. We are grateful to reviewers for helpful comments

Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints

We examine a class of hybrid systems which we call Composite Hybrid Machines (CHM's) that consists of the concurrent (and partially synchronized) operation of Elementary Hybrid Machines (EHM's). Legal behavior, specified by a set of illegal configurations that the CHM may not enter, is to be achieved by the concurrent operation of the CHM with a suitably designed legal controller. In the present paper we focus on the problem of synthesizing a legal controller, whenever such a controller exists. More specifically, we address the problem of synthesizing the minimally restrictive legal controller. A controller is minimally restrictive if, when composed to operate concurrently with another legal controller, it will never interfere with the operation of the other controller and, therefore, can be composed to operate concurrently with any other controller that may be designed to achieve liveness specifications or optimality requirements without the need to reinvestigate or reverify legality of the composite controller. We confine our attention to a special class of CHM's where system dynamics is rate-limited and legal guards are conjunctions or disjunctions of atomic formulas in the dynamic variables (of the type x less than or equal to x(sub 0), or x greater than or equal to x(sub 0)). We present an algorithm for synthesis of the minimally restrictive legal controller. We demonstrate our approach by synthesizing a minimally restrictive controller for a steam boiler (the verification of which recently received a great deal of attention)