BDD-based supervisory control on extended finite automata

In this paper, we settle some problems that are encountered when modeling and synthesizing complex industrial systems by the supervisory control theory. First, modeling such huge systems with explicit state-transition models typically results in an intractable model. An alternative modeling approach is to use extended finite automata (EFAs), which is an augmentation of ordinary automata with variables. The main advantage of utilizing EFAs for modeling is that more compact models are obtained. The second problem concerns the ease to understand and implement the supervisor. To handle this problem, we represent the supervisor in a modular manner by extending the original EFAs by compact conditional expressions generated from the monolithic supervisor. In order to, potentially, be able to handle complex systems efficiently, the models are symbolically represented by binary decision diagrams (BDDs). All computations that are performed in this framework are based on BDD operations. The framework has been implemented in a supervisory control tool and applied to industrially relevant benchmark problems

Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory

Supervisory Control Theory (SCT) is a model-based framework for automatically synthesizing a supervisor that minimally restricts the behavior of a plant such that a given specification is fulfilled. A problem, which prevents SCT from having a major breakthrough industrially, is that the supervisory synthesis often suffers from the state-space explosion problem. To alleviate this problem, a well-known strategy is to represent and explore the state-space symbolically by using Binary Decision Diagrams. Based on this principle, an efficient symbolic state-space traversal approach, depending on the disjunctive partitioning technique, is presented and the correctness of it is proved. Finally, the efficiency of the presented approach is demonstrated on a set of benchmark examples

Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems

In this paper, we symbolically compute a minimally restrictive nonblocking supervisor for timed discrete event systems, in the supervisory control theory context. The method is based on Timed Extended Finite Automata, which is an augmentation of extended finite automata (EFAs) by incorporating discrete time into the model. EFAs are ordinary automaton extended with discrete variables, guard expressions and action functions. To tackle large problems all computations are based on binary decision diagrams (BDDs). The main feature of this approach is that the BDD-based fixed-point computations is not based on “tick” models that have been commonly used in this area, leading to better performance in many cases. As a case study, we effectively computed the minimally restrictive nonblocking supervisor for a well-known production cell

Efficient Symbolic Supervisory Synthesis and Guard Generation: Evaluating partitioning techniques for the state-space exploration

The supervisory control theory (SCT) is a model-based framework, which automatically synthesizes a supervisor that restricts a plant to be controlled based on specifications to be fulfilled. Two main problems, typically encountered in industrial applications, prevent SCT from having a major breakthrough. First, the supervisor which is synthesized automatically from the given plant and specification models might be incomprehensible to the users. To tackle this problem, an approach was recently presented to extract compact propositional formulae (guards) from the supervisor, represented symbolically by binary decision diagrams (BDD). These guards are then attached to the original models, which results in a modular and comprehensible representation of the supervisor. However, this approach, which computes the supervisor symbolically in the conjunctive way, might lead to another problem: the state-space explosion, because of the large number of intermediate BDD nodes during computation. To alleviate this problem, we introduce in this paper an alternative approach that is based on the disjunctive partitioning technique, including a set of selection heuristics. Then this approach is adapted to the guard generation procedure. Finally, the efficiency of the presented approach is demonstrated on a set of benchmark examples

Fruktträdskräfta/ lövträdskräfta

Fruktträdskräfta är en svampsjukdom, som blir särskilt vanlig efter stränga vintrar med mycket frostskador som följd. Den slår till i sårskador av olika slag och invaderar lätt lösa, frodiga vävnader. Fruktträdskräfta är vanlig på fruktträd men kan också infektera olika lövträd och kallas då lövträdskräfta. Ask, asp, avenbok, björk, bok, ek, hagtorn, kastanj, lind, lönn, poppel, rönn och sälg är växtslag som kan angripas. Även andra sjukdomar kan ge kräftsymptom på träd. Så kan till exempel poppel angripas både av poppelkräfta (svampsjukdom) och bakteriekräfta (bakteriesjukdom) förutom av lövträdskräfta

Age-dependent variation of genotypes in MHC II transactivator gene (CIITA) in controls and association to type 1 diabetes

The major histocompatibility complex class II transactivator (CIITA) gene (16p13) has been reported to associate with susceptibility to multiple sclerosis, rheumatoid arthritis and myocardial infarction, recently also to celiac disease at genome-wide level. However, attempts to replicate association have been inconclusive. Previously, we have observed linkage to the CIITA region in Scandinavian type 1 diabetes (T1D) families. Here we analyze five Swedish T1D cohorts and a combined control material from previous studies of CIITA. We investigate how the genotype distribution within the CIITA gene varies depending on age, and the association to T1D. Unexpectedly, we find a significant difference in the genotype distribution for markers in CIITA (rs11074932, P=4 × 10(-5) and rs3087456, P=0.05) with respect to age, in the collected control material. This observation is replicated in an independent cohort material of about 2000 individuals (P=0.006, P=0.007). We also detect association to T1D for both markers, rs11074932 (P=0.004) and rs3087456 (P=0.001), after adjusting for age at sampling. The association remains independent of the adjacent T1D risk gene CLEC16A. Our results indicate an age-dependent variation in CIITA allele frequencies, a finding of relevance for the contrasting outcomes of previously published association studies.Juvenile Diabetes Research Foundation International (2-2000-570) and (1-2001-873The Swedish Research CouncilSvenska Diabetes FondenBarndiabetes FondenNovo Nordisk FoundationMagnus Bergvalls FoundationNeuropromise (LSHM-CT-2005-018637)NIH grant DK-17047Swedish Brain Power initiativeGun and Bertil Stohne’s Foundation,Foundation for Old ServantsAlzheimer FoundationLIONS Foundation for Research of Age Related DisordersAFA foundationSöderberg FoundationKnut and Alice Wallenbergs FoundationManuscrip

Estimating Heritabilities and Genetic Correlations: Comparing the ‘Animal Model’ with Parent-Offspring Regression Using Data from a Natural Population

Quantitative genetic parameters are nowadays more frequently estimated with restricted maximum likelihood using the ‘animal model’ than with traditional methods such as parent-offspring regressions. These methods have however rarely been evaluated using equivalent data sets. We compare heritabilities and genetic correlations from animal model and parent-offspring analyses, respectively, using data on eight morphological traits in the great reed warbler (Acrocephalus arundinaceus). Animal models were run using either mean trait values or individual repeated measurements to be able to separate between effects of including more extended pedigree information and effects of replicated sampling from the same individuals. We show that the inclusion of more pedigree information by the use of mean traits animal models had limited effect on the standard error and magnitude of heritabilities. In contrast, the use of repeated measures animal model generally had a positive effect on the sampling accuracy and resulted in lower heritabilities; the latter due to lower additive variance and higher phenotypic variance. For most trait combinations, both animal model methods gave genetic correlations that were lower than the parent-offspring estimates, whereas the standard errors were lower only for the mean traits animal model. We conclude that differences in heritabilities between the animal model and parent-offspring regressions were mostly due to the inclusion of individual replicates to the animal model rather than the inclusion of more extended pedigree information. Genetic correlations were, on the other hand, primarily affected by the inclusion of more pedigree information. This study is to our knowledge the most comprehensive empirical evaluation of the performance of the animal model in relation to parent-offspring regressions in a wild population. Our conclusions should be valuable for reconciliation of data obtained in earlier studies as well as for future meta-analyses utilizing estimates from both traditional methods and the animal model

Neuromusculoskeletal disorders in the neck and upper extremities among drivers of all-terrain vehicles – a case series

BACKGROUND: The purpose of this study was to investigate whether professional drivers of all-terrain vehicles (ATVs) with neck pain have a different array of neuromusculoskeletal disorders in the neck and upper extremities than a referent group with neck pain from the general population. It is hypothesized that exposure to shock-type vibration and unfavorable working postures in ATVs have the capacity to cause peripheral nervous lesions. METHODS: This study was based on a case series analyzed according to a case-case comparison design. The study population consisted of 60 male subjects, including professional drivers of forest machines (n = 15), snowmobiles (n = 15), snowgroomers (n = 15) and referents from the general population (n = 15) all of whom had reported neck pain in a questionnaire and underwent an extensive physical examination of the neck and upper extremities. Based on symptom history, symptoms and signs, and in some cases chemical, electroneurographical and radiological findings, subjects were classified as having a nociceptive or neuropathic disorder or a mix of these types. RESULTS: The occurrence of asymmetrical and focal neuropathies (peripheral nervous lesion), pure or in a mix with a nociceptive disorder was common among cases in the ATV driver groups (47%–79%). This contrasted with the referents that were less often classified as having asymmetrical and focal neuropathy (27%), but instead had more nociceptive disorders. The difference was most pronounced among drivers of snowgroomers, while drivers of forest machines were more frequently classified as having a nociceptive disorder originating in the muscles. CONCLUSION: This study found a high prevalence of assymetrical and focal neuropathies among drivers with pain in the neck, operating various ATVs. It seems as if exposure to shock-type whole-body vibration (WBV) and appurtenant unfavorable postures in ATVs may be associated to peripheral nervous lesions

Selection for Heterozygosity Gives Hope to a Wild Population of Inbred Wolves

Recent analyses have questioned the usefulness of heterozygosity estimates as measures of the inbreeding coefficient (f), a finding that may have dramatic consequences for the management of endangered populations. We confirm that f and heterozygosity is poorly correlated in a wild and highly inbred wolf population. Yet, our data show that for each level of f, it was the most heterozygous wolves that established themselves as breeders, a selection process that seems to have decelerated the loss of heterozygosity in the population despite a steady increase of f. The markers contributing to the positive relationship between heterozygosity and breeding success were found to be located on different chromosomes, but there was a substantial amount of linkage disequilibrium in the population, indicating that the markers are reflecting heterozygosity over relatively wide genomic regions. Following our results we recommend that management programs of endangered populations include estimates of both f and heterozygosity, as they may contribute with complementary information about population viability

Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements