Compositional Set Invariance in Network Systems with Assume-Guarantee Contracts

This paper presents an assume-guarantee reasoning approach to the computation of robust invariant sets for network systems. Parameterized signal temporal logic (pSTL) is used to formally describe the behaviors of the subsystems, which we use as the template for the contract. We show that set invariance can be proved with a valid assume-guarantee contract by reasoning about individual subsystems. If a valid assume-guarantee contract with monotonic pSTL template is known, it can be further refined by value iteration. When such a contract is not known, an epigraph method is proposed to solve for a contract that is valid, ---an approach that has linear complexity for a sparse network. A microgrid example is used to demonstrate the proposed method. The simulation result shows that together with control barrier functions, the states of all the subsystems can be bounded inside the individual robust invariant sets.Comment: Submitted to 2019 American Control Conferenc

Socioeconomic indicators of health inequalities and female mortality: a nested cohort study within the United Kingdom Collaborative Trial of Ovarian Cancer Screening (UKCTOCS)

Evidence is mounting that area-level socioeconomic indicators are important tools for predicting health outcomes. However, few studies have examined these alongside individual-level education. This nested cohort study within the control arm of the United Kingdom Collaborative Trial of Ovarian Cancer Screening (UKCTOCS) assesses the association of mutually adjusted individual (education) and area-level (Index of Multiple Deprivation-IMD 2007) socioeconomic status indicators and all-cause female mortality

Compositional Set Invariance in Network Systems with Assume-Guarantee Contracts

This paper presents an assume-guarantee reasoning approach to the computation of robust invariant sets for network systems. Parameterized signal temporal logic (pSTL) is used to formally describe the behaviors of the subsystems, which we use as the template for the contract. We show that set invariance can be proved with a valid assume-guarantee contract by reasoning about individual subsystems. If a valid assume-guarantee contract with monotonic pSTL template is known, it can be further refined by value iteration. When such a contract is not known, an epigraph method is proposed to solve for a contract that is valid, -an approach that has linear complexity for a sparse network. A microgrid example is used to demonstrate the proposed method. The simulation result shows that together with control barrier functions, the states of all the subsystems can be bounded inside the individual robust invariant sets

Dehydration accelerates reductions in cerebral blood flow during prolonged exercise in the heat without compromising brain metabolism

Dehydration hastens the decline in cerebral blood flow (CBF) during incremental exercise, while the cerebral metabolic rate for oxygen (CMRO2) is preserved. It remains unknown whether CMRO2 is also maintained during prolonged exercise in the heat and whether an eventual decline in CBF is coupled to fatigue. Two studies were undertaken. In study 1, ten male cyclists cycled in the heat for ~2 h with (control) and without fluid replacement (dehydration) while internal (ICA) and external (ECA) carotid artery blood flow and core and blood temperature were obtained. Arterial and internal jugular venous blood samples were assessed with dehydration to evaluate the CMRO2. In study 2 (8 males), middle cerebral artery blood velocity (MCA Vmean) was measured during prolonged exercise to exhaustion in both dehydrated and euhydrated states. After a rise at the onset of exercise, ICA flow declined to baseline with progressive dehydration (P < 0.05). However, cerebral metabolism remained stable through enhanced oxygen and glucose extraction (P < 0.05). ECA flow increased for one hour but declined prior to exhaustion. Fluid ingestion maintained cerebral and extra-cranial perfusion throughout non-fatiguing exercise. During exhaustive exercise, however, euhydration delayed but did not prevent the decline in cerebral perfusion. In conclusion, during prolonged exercise in the heat dehydration accelerates the decline in CBF without affecting CMRO2 and also restricts extra-cranial perfusion. Thus fatigue is related to reduction in CBF and extra-cranial perfusion rather than in CMRO2.The study was supported by a grant from the Gatorade Sports Science Institute, PepsiCo Inc, USA

Validity of self-reported hysterectomy: a prospective cohort study within the UK Collaborative Trial of Ovarian Cancer Screening (UKCTOCS).

To evaluate the validity of self-reported hysterectomy against the gold standard of uterine visualisation using pelvic ultrasound

Fructose transport-deficient Staphylococcus aureus reveals important role of epithelial glucose transporters in limiting sugar-driven bacterial growth in airway surface liquid.

Hyperglycaemia as a result of diabetes mellitus or acute illness is associated with increased susceptibility to respiratory infection with Staphylococcus aureus. Hyperglycaemia increases the concentration of glucose in airway surface liquid (ASL) and promotes the growth of S. aureus in vitro and in vivo. Whether elevation of other sugars in the blood, such as fructose, also results in increased concentrations in ASL is unknown and whether sugars in ASL are directly utilised by S. aureus for growth has not been investigated. We obtained mutant S. aureus JE2 strains with transposon disrupted sugar transport genes. NE768(fruA) exhibited restricted growth in 10 mM fructose. In H441 airway epithelial-bacterial co-culture, elevation of basolateral sugar concentration (5-20 mM) increased the apical growth of JE2. However, sugar-induced growth of NE768(fruA) was significantly less when basolateral fructose rather than glucose was elevated. This is the first experimental evidence to show that S. aureus directly utilises sugars present in the ASL for growth. Interestingly, JE2 growth was promoted less by glucose than fructose. Net transepithelial flux of D-glucose was lower than D-fructose. However, uptake of D-glucose was higher than D-fructose across both apical and basolateral membranes consistent with the presence of GLUT1/10 in the airway epithelium. Therefore, we propose that the preferential uptake of glucose (compared to fructose) limits its accumulation in ASL. Pre-treatment with metformin increased transepithelial resistance and reduced the sugar-dependent growth of S. aureus. Thus, epithelial paracellular permeability and glucose transport mechanisms are vital to maintain low glucose concentration in ASL and limit bacterial nutrient sources as a defence against infection

Metformin reduces airway glucose permeability and hyperglycaemia-induced Staphylococcus aureus load independently of effects on blood glucose

Background Diabetes is a risk factor for respiratory infection, and hyperglycaemia is associated with increased glucose in airway surface liquid and risk of Staphylococcus aureus infection. Objectives To investigate whether elevation of basolateral/blood glucose concentration promotes airway Staphylococcus aureus growth and whether pretreatment with the antidiabetic drug metformin affects this relationship. Methods Human airway epithelial cells grown at air–liquid interface (±18 h pre-treatment, 30 μM–1 mM metformin) were inoculated with 5×105 colony-forming units (CFU)/cm2 S aureus 8325-4 or JE2 or Pseudomonas aeruginosa PA01 on the apical surface and incubated for 7 h. Wild-type C57BL/6 or db/db (leptin receptor-deficient) mice, 6–10 weeks old, were treated with intraperitoneal phosphate-buffered saline or 40 mg/kg metformin for 2 days before intranasal inoculation with 1×107 CFU S aureus. Mice were culled 24 h after infection and bronchoalveolar lavage fluid collected. Results Apical S aureus growth increased with basolateral glucose concentration in an in vitro airway epithelia–bacteria co-culture model. S aureus reduced transepithelial electrical resistance (RT) and increased paracellular glucose flux. Metformin inhibited the glucose-induced growth of S aureus, increased RT and decreased glucose flux. Diabetic (db/db) mice infected with S aureus exhibited a higher bacterial load in their airways than control mice after 2 days and metformin treatment reversed this effect. Metformin did not decrease blood glucose but reduced paracellular flux across ex vivo murine tracheas. Conclusions Hyperglycaemia promotes respiratory S aureus infection, and metformin modifies glucose flux across the airway epithelium to limit hyperglycaemia-induced bacterial growth. Metformin might, therefore, be of additional benefit in the prevention and treatment of respiratory infection