2,664 research outputs found

    Unfolding-based Diagnosis of Systems with an Evolving Topology

    Get PDF
    We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-based diagnosis is aimed at constructing explanations of observed faulty behaviours on the basis of a given model of the system. Since the number of possible explanations may be huge, we exploit the unfolding as a compact data structure to store them, along the lines of previous work dealing with Petri net models. Given a model of a system and an observation, the explanations can be constructed by unfolding the model constrained by the observation, and then removing incomplete explanations in a pruning phase. The theory is formalised in a general categorical setting: constraining the system by the observation corresponds to taking a product in the chosen category of graph grammars, so that the correctness of the procedure can be proved by using the fact that the unfolding is a right adjoint and thus it preserves products. The theory should hence be easily applicable to a wide class of system models, including graph grammars and Petri nets

    Data-driven Soft Sensors in the Process Industry

    Get PDF
    In the last two decades Soft Sensors established themselves as a valuable alternative to the traditional means for the acquisition of critical process variables, process monitoring and other tasks which are related to process control. This paper discusses characteristics of the process industry data which are critical for the development of data-driven Soft Sensors. These characteristics are common to a large number of process industry fields, like the chemical industry, bioprocess industry, steel industry, etc. The focus of this work is put on the data-driven Soft Sensors because of their growing popularity, already demonstrated usefulness and huge, though yet not completely realised, potential. A comprehensive selection of case studies covering the three most important Soft Sensor application fields, a general introduction to the most popular Soft Sensor modelling techniques as well as a discussion of some open issues in the Soft Sensor development and maintenance and their possible solutions are the main contributions of this work

    Hyper Partial Order Logic

    Get PDF
    We define HyPOL, a local hyper logic for partial order models, expressing properties of sets of runs. These properties depict shapes of causal dependencies in sets of partially ordered executions, with similarity relations defined as isomorphisms of past observations. Unsurprisingly, since comparison of projections are included, satisfiability of this logic is undecidable. We then address model checking of HyPOL and show that, already for safe Petri nets, the problem is undecidable. Fortunately, sensible restrictions of observations and nets allow us to bring back model checking of HyPOL to a decidable problem, namely model checking of MSO on graphs of bounded treewidth

    Medial/skeletal linking structures for multi-region configurations

    Full text link
    We consider a generic configuration of regions, consisting of a collection of distinct compact regions {Ωi}\{\Omega_i\} in Rn+1\mathbb{R}^{n+1} which may be either smooth regions disjoint from the others or regions which meet on their piecewise smooth boundaries Bi\mathcal{B}_i in a generic way. We introduce a skeletal linking structure for the collection of regions which simultaneously captures the regions' individual shapes and geometric properties as well as the "positional geometry" of the collection. The linking structure extends in a minimal way the individual "skeletal structures" on each of the regions, allowing us to significantly extend the mathematical methods introduced for single regions to the configuration. We prove for a generic configuration of regions the existence of a special type of Blum linking structure which builds upon the Blum medial axes of the individual regions. This requires proving several transversality theorems for certain associated "multi-distance" and "height-distance" functions for such configurations. We show that by relaxing the conditions on the Blum linking structures we obtain the more general class of skeletal linking structures which still capture the geometric properties. In addition to yielding geometric invariants which capture the shapes and geometry of individual regions, the linking structures are used to define invariants which measure positional properties of the configuration such as: measures of relative closeness of neighboring regions and relative significance of the individual regions for the configuration. These invariants, which are computed by formulas involving "skeletal linking integrals" on the internal skeletal structures, are then used to construct a "tiered linking graph," which identifies subconfigurations and provides a hierarchical ordering of the regions.Comment: 135 pages, 36 figures. Version to appear in Memoirs of the Amer. Math. So

    The structural connectome constrains fast brain dynamics

    Get PDF
    Brain activity during rest displays complex, rapidly evolving patterns in space and time. Structural connections comprising the human connectome are hypothesized to impose constraints on the dynamics of this activity. Here, we use magnetoencephalography (MEG) to quantify the extent to which fast neural dynamics in the human brain are constrained by structural connections inferred from diffusion MRI tractography. We characterize the spatio-temporal unfolding of whole-brain activity at the millisecond scale from source-reconstructed MEG data, estimating the probability that any two brain regions will significantly deviate from baseline activity in consecutive time epochs. We find that the structural connectome relates to, and likely affects, the rapid spreading of neuronal avalanches, evidenced by a significant association between these transition probabilities and structural connectivity strengths (r = 0.37, p<0.0001). This finding opens new avenues to study the relationship between brain structure and neural dynamics

    Dynamic Configuration of Large-Scale Cortical Networks: A Useful Framework for Clarifying the Heterogeneity Found in Attention-Deficit/Hyperactivity Disorder

    Get PDF
    The heterogeneity of attention-deficit/hyperactivity disorder(ADHD) traits (inattention vs. hyperactivity/impulsivity) complicates diagnosis and intervention. Identifying how the configuration of large-scale functional brain networks during cognitive processing correlate with this heterogeneity could help us understand the neural mechanisms altered across ADHD presentations. Here, we recorded high-density EEG while 62 non-clinical participants (ages 18-24; 32 male) underwent an inhibitory control task (Go/No-Go). Functional EEG networks were created using sensors as nodes and across-trial phase-lag index values as edges. Using cross-validated LASSO regression, we examined whether graph-theory metrics applied to both static networks (averaged across time-windows: -500–0ms, 0–500ms) and dynamic networks (temporally layered with 2ms intervals), were associated with hyperactive/impulsive and inattentive traits. Network configuration during response execution/inhibition was associated with hyperactive/impulsive (mean R2across test sets = .20, SE = .02), but not inattentive traits. Post-stimulus results at higher frequencies (Beta, 14-29Hz; Gamma, 30-90Hz) showed the strongest association with hyperactive/impulsive traits, and predominantly reflected less burst-like integration between modules in oscillatory beta networks during execution, and increased integration/small-worldness in oscillatory gamma networks during inhibition. We interpret the beta network results as reflecting weaker integration between specialized pre-frontal and motor systems during motor response preparation, and the gamma results as reflecting a compensatory mechanism used to integrate processing between less functionally specialized networks. This research demonstrates that the neural network mechanisms underlying response execution/inhibition might be associated with hyperactive/impulsive traits, and that dynamic, task-related changes in EEG functional networks may be useful in disentangling ADHD heterogeneity
    corecore