Towards a concurrency theory for supervisory control

In this paper we propose a process-theoretic concurrency model to express supervisory control properties. In light of the present importance of reliable control software, the current work ow of direct conversion from informal specication documents to control software implementations can be improved. A separate modeling step in terms of controllable and uncontrollable behavior of the device under control is desired. We consider the control loop as a feedback model for supervisory control, in terms of the three distinct components of plant, requirements and supervisor. With respect to the control ow, we consider event-based models as well as state-based ones. We study the process theory TCP as a convenient modeling formalism that includes parallelism, iteration, communication features and non-determinism. Via structural operational semantics, we relate the terms in TCP to labeled transition systems. We consider the partial bisimulation preorder to express controllability that is better suited to handle non-determinism, compared to bisimulation-based models. It is shown how precongruence of partial bisimulation can be derived from the format of the deduction rules. The theory of TCP is studied under nite axiomatization for which soundness and ground-completeness (modulo iteration) is proved with respect to partial bisimulation. Language-based controllability, as the neccesary condition for event-based supervisory control is expressed in terms of partial bisimulation and we discuss several drawbacks of the strict event-based approach. Statebased control is considered under partial bisimulation as a dependable solution to address non-determinism. An appropriate renaming operator is introduced to address an issue in parallel communication. A case for automated guided vehicles (AGV) is modeled using the theory TCP. The latter theory is henceforth extended to include state-based valuations for which partial bisimulation and an axiomatization are dened. We consider an extended case on industrial printers to show the modeling abilities of this extended theory. In our concluding remarks, we sketch a future research path in terms of a new formal language for concurrent control modeling

Millimeter Wave Scattering from Neutral and Charged Water Droplets

We investigated 94GHz millimeter wave (MMW) scattering from neutral and charged water mist produced in the laboratory with an ultrasonic atomizer. Diffusion charging of the mist was accomplished with a negative ion generator (NIG). We observed increased forward and backscattering of MMW from charged mist, as compared to MMW scattering from an uncharged mist. In order to interpret the experimental results, we developed a model based on classical electrodynamics theory of scattering from a dielectric sphere with diffusion-deposited mobile surface charge. In this approach, scattering and extinction cross-sections are calculated for a charged Rayleigh particle with effective dielectric constant consisting of the volume dielectric function of the neutral sphere and surface dielectric function due to the oscillation of the surface charge in the presence of applied electric field. For small droplets with (radius smaller than 100nm), this model predicts increased MMW scattering from charged mist, which is qualitatively consistent with the experimental observations. The objective of this work is to develop indirect remote sensing of radioactive gases via their charging action on atmospheric humid air.Comment: 18 pages, 8 figure

Aberrant B cell receptor signaling in naïve B cells from patients with idiopathic pulmonary fibrosis

Idiopathic pulmonary fibrosis (IPF) is a chronic and ultimately fatal disease in which an impaired healing response to recurrent micro-injuries is thought to lead to fibrosis. Recent findings hint at a role for B cells and autoimmunity in IPF pathogenesis. We previously reported that circulating B cells from a fraction of patients, compared with healthy controls, express increased levels of the signaling molecule Bruton’s tyrosine kinase (BTK). However, it remains unclear whether B cell receptor (BCR) signaling is altered in IPF. Here, we show that the response to BCR stimulation is enhanced in peripheral blood B cells from treatment-naïve IPF patients. We observed increased anti-immunoglobulin-induced phosphorylation of BTK and its substrate phospholipase Cγ2 (PLCγ2) in naïve but not in memory B cells of patients with IPF. In naïve B cells of IPF patients enhanced BCR signaling correlated with surface expression of transmembrane activator and calcium-modulator and cyclophilin ligand interactor (TACI) but not B cell activating factor receptor (BAFFR), both of which provide pro-survival signals. Interestingly, treatment of IPF patients with nintedanib, a tyrosine kinase inhibitor with anti-fibrotic and anti-inflammatory activity, induced substantial changes in BCR signaling. These findings support the involvement of B cells in IPF pathogenesis and suggest that targeting BCR signaling has potential value as a treatment option.</p

Tnfaip3 expression in pulmonary conventional type 1 Langerin‐expressing dendritic cells regulates T helper 2‐mediated airway inflammation in mice

BACKGROUND: Conventional type 1 dendritic cells (cDC1s) control antiviral and antitumor immunity by inducing antigen-specific cytotoxic CD8+ T-cell responses. Controversy exists whether cDC1s also control CD4+ T helper 2 (Th2) cell responses, since suppressive and activating roles have been reported. DC activation status, controlled by the transcription factor NF-κB, might determine the precise outcome of Th-cell differentiation upon encounter with cDC1s. To investigate the role of activated cDC1s in Th2-driven immune responses, pulmonary cDC1s were activated by targeted deletion of A20/Tnfaip3, a negative regulator of NF-κB signaling METHODS: To target pulmonary cDC1s, Cd207 (Langerin)-mediated excision of A20/Tnfaip3 was used, generating Tnfaip3fl/fl xCd207+/cre (Tnfaip3Lg-KO ) mice. Mice were exposed to house dust mite (HDM) to provoke Th2-mediated immune responses. RESULTS: Mice harboring Tnfaip3-deficient cDC1s did not develop Th2-driven eosinophilic airway inflammation upon HDM exposure, but rather showed elevated numbers of IFNγ-expressing CD8+ T-cells. In addition, Tnfaip3Lg-KO mice harbored increased numbers of IL-12-expressing cDC1s and elevated PD-L1 expression in all pulmonary DC subsets. Blocking either IL-12 or IFNγ in Tnfaip3Lg-KO mice restored Th2-responses, whereas administration of recombinant IFNγ during HDM sensitization in C57Bl/6 mice blocked Th2-development. CONCLUSIONS: These findings indicate that the activation status of cDC1s, shown by their specific expression of co-inhibitory molecules and cytokines, critically contributes to the development of Th2-cell-mediated disorders, most likely by influencing IFNγ production in CD8+ T-cells

Fluid hydration to prevent post-ERCP pancreatitis in average- to high-risk patients receiving prophylactic rectal NSAIDs (FLUYT trial): Study protocol for a randomized controlled trial

Background: Post-endoscopic retrograde cholangiopancreatography (ERCP) pancreatitis (PEP) is the most common complication of ERCP and may run a severe course. Evidence suggests that vigorous periprocedural hydration can prevent PEP, but studies to date have significant methodological drawbacks. Importantly, evidence for its added value in patients already receiving prophylactic rectal non-steroidal anti-inflammatory drugs (NSAIDs) is lacking and the cost-effectiveness of the approach has not been investigated. We hypothesize that combination therapy of rectal NSAIDs and periprocedural hydration would significantly lower the incidence of post-ERCP pancreatitis compared to rectal NSAIDs alone in moderate- to high-risk patients undergoing ERCP. Methods: The FLUYT trial is a multicenter, parallel group, open label, superiority randomized controlled trial. A total of 826 moderate- to high-risk patients undergoing ERCP that receive prophylactic rectal NSAIDs will be randomized to a control group (no fluids or normal saline with a maximum of 1.5 mL/kg/h and 3 L/24 h) or intervention group (lactated Ringer's solution with 20 mL/kg over 60 min at start of ERCP, followed by 3 mL/kg/h for 8 h thereafter). The primary endpoint is the incidence of post-ERCP pancreatitis. Secondary endpoints include PEP severity, hydration-related complications, and cost-effectiveness. Discussion: The FLUYT trial design, including hydration schedule, fluid type, and sample size, maximize its power of identifying a potential difference in post-ERCP pancreatitis incidence in patients receiving prophylactic rectal NSAIDs

Fibrocytes are increased in lung and peripheral blood of patients with idiopathic pulmonary fibrosis

Background: Fibrocytes are implicated in Idiopathic Pulmonary Fibrosis (IPF) pathogenesis and increased proportions in the circulation are associated with poor prognosis. Upon tissue injury, fibrocytes migrate to the affected organ. In IPF patients, circulating fibrocytes are increased especially during exacerbations, however fibrocytes in the lungs have not been examined. Therefore, we sought to evaluate if fibrocytes can be detected in IPF lungs and we compare percentages and phenotypic characteristics of lung fibrocytes with circulating fibrocytes in IPF. Methods: First we optimized flow cytometric detection circulating fibrocytes using a unique combination of intra- and extra-cellular markers to establish a solid gating strategy. Next we analyzed lung fibrocytes in single cell suspensions of explanted IPF and control lungs and compared characteristics and numbers with circulating fibrocytes of IPF. Results: Using a gating strategy for both circulating and lung fibrocytes, which excludes potentially contaminating cell populations (e.g. neutrophils and different leukocyte subsets), we show that patients with IPF have increased proportions of fibrocytes, not only in the circulation, but also in explanted end-stage IPF lungs. These lung fibrocytes have increased surface expression of HLA-DR, increased intracellular collagen-1 expression, and also altered forward and side scatter characteristics compared with their circulating counterparts. Conclusions: These findings demonstrate that lung fibrocytes in IPF patients can be quantified and characterized by flow cytometry. Lung fibrocytes have different characteristics than circulating fibrocytes and represent an intermediate cell population between circulating fibrocytes and lung fibroblast. Therefore, more insight in their phenotype might lead to specific therapeutic targeting in fibrotic lung diseases

Optical properties of dust

http://arxiv.org/abs/0808.4123Except in a few cases cosmic dust can be studied in situ or in terrestrial laboratories, essentially all of our information concerning the nature of cosmic dust depends upon its interaction with electromagnetic radiation. This chapter presents the theoretical basis for describing the optical properties of dust -- how it absorbs and scatters starlight and reradiates the absorbed energy at longer wavelengths.Partial support by a Chandra Theory program and HST Theory Programs is gratefully acknowledged

Postponed or immediate drainage of infected necrotizing pancreatitis (POINTER trial): study protocol for a randomized controlled trial

Background Infected necrosis complicates 10% of all acute pancreatitis episodes and is associated with 15–20% mortality. The current standard treatment for infected necrotizing pancreatitis is the step-up approach (catheter drainage, followed, if necessary, by minimally invasive necrosectomy). Catheter drainage is preferably postponed until the stage of walled-off necrosis, which usually takes 4 weeks. This delay stems from the time when open necrosectomy was the standard. It is unclear whether such delay is needed for catheter drainage or whether earlier intervention could actually be beneficial in the current step-up approach. The POINTER trial investigates if immediate catheter drainage in patients with infected necrotizing pancreatitis is superior to the current practice of postponed intervention. Methods POINTER is a randomized controlled multicenter superiority trial. All patients with necrotizing pancreatitis are screened for eligibility. In total, 104 adult patients with (suspected) infected necrotizing pancreatitis will be randomized to immediate (within 24 h) catheter drainage or current standard care involving postponed catheter drainage. Necrosectomy, if necessary, is preferably postponed until the stage of walled-off necrosis, in both treatment arms. The primary outcome is the Comprehensive Complication Index (CCI), which covers all complications between randomization and 6-month follow up. Secondary outcomes include mortality, complications, number of (repeat) interventions, hospital and intensive care unit (ICU) lengths of stay, quality-adjusted life years (QALYs) and direct and indirect costs. Standard follow-up is at 3 and 6 months after randomization. Discussion The POINTER trial investigates if immediate catheter drainage in infected necrotizing pancreatitis reduces the composite endpoint of complications, as compared with the current standard treatment strategy involving delay of intervention until the stage of walled-off necrosis

Clinical validation of an evidence-based method to adjust Pancreatic Enzyme Replacement Therapy through a prospective interventional study in paediatric patients with Cystic Fibrosis

Background A method to adjust Pancreatic Enzyme Replacement Therapy in Cystic Fibrosis is not currently available. Objectives To assess the in vivo efficacy of a method to adjust the dose of enzymatic supplement in CF extrapolated from previous in vitro digestion studies (theoretical optimal dose, TOD). Secondly, to assess how individual patient characteristics influence the expected coefficient of fat absorption (CFA) and thus to identify an individual correction factor to improve TOD. Methods A prospective interventional study in 43 paediatric patients with CF from 5 European centres. They followed a 24h fixed diet with the theoretical optimal dose for each meal. Faecal collection was carried out between colorimetric markers in order to include all the faeces corresponding to the fixed diet. Beta regression models were applied to assess the associations of individual patient characteristics with the CFA. Results Median CFA was 90% (84, 94% 1st, 3rd Q.) with no significant differences among centres. Intestinal transit time was positively associated with CFA (p = 0.007), but no statistical associations were found with and age, gender, phenotype or BMI. Regression model showed no improvement of the in vitro predicted theoretical optimal dose when taking individual patient characteristics into account. Conclusion Strict adherence to the theoretical optimal dose of enzymatic supplement for a prescribed meal, led to median CFA levels at the clinical target of 90% with a low variability between patients. The proposed method can be considered as a first approach for an evidencebased method in PERT dosing based on food characteristics. Results have to be confirmed in free dietary settings