Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

We propose algorithms for the synthesis of state-feedback controllers with partial observation of infinite state discrete event systems modelled by Symbolic Transition Systems. We provide models of safe memoryless controllers both for potentially deadlocking and deadlock free controlled systems. The termination of the algorithms solving these problems is ensured using abstract interpretation techniques which provide an overapproximation of the transitions to disable. We then extend our algorithms to controllers with memory and to online controllers. We also propose improvements in the synthesis of controllers in the finite case which, to our knowledge, provide more permissive solutions than what was previously proposed in the literature. Our tool SMACS gives an empirical validation of our methods by showing their feasibility, usability and efficiency.     

The fracture process in quasi‐brittle materials simulated using a lattice dynamical model

The damage process in quasi‐brittle materials is characterized by the evolution of a micro‐crack field, followed by the joining of micro‐cracks, stress localization and crack instability. In network models, masses are lumped at nodal points which are interconnected by one‐dimensional elements with a bilinear constitutive relation, considering the energy consistency during the simulated process. In order to replicate the material imperfections, to render a realistic behaviour in damage localization, the model has not only random elastic and rupture properties, but also a geometric perturbation. In the present paper 2D plates with different levels of brittleness are simulated. The numerical results are presented in terms of global stress vs strain diagram, final network configuration, energy balance during the process and as geometric damage evolution. Therefore, the predictive potential of the lattice discrete element model to capture fracture processes in quasi‐brittle materials is demonstrated.     

Dynamic workflow analysis in a multiuser task context

With the ongoing development of computer‐mediated collaboration environments, computer‐supported collaborative work (CSCW) systems are at hand. An emerging theme is the treatment of dynamic groups. The interest in this article is in the automated construction of dynamic policies for workflow situations in cooperative environments. The system described in this article operates on the events that are recorded in solving workflow problems. These are analyzed in order to derive policies that may be used to guide future cooperative activities.     

Survey of 1012 moldy dwellings by culture fungal analysis: Threshold proposal for asthmatic patient management

Different countries have tried to define guidelines to quantify what levels of fungi are considered as inappropriate for housing. This retrospective study analyzes indoor fungi by cultures of airborne samples from 1012 dwellings. Altogether, 908 patients suffering from rhinitis, conjunctivitis, and asthma were compared to 104 controls free of allergies. Portuguese decree law no 118/2013 (PDL118), ANSES (a French environmental and health agency) recommendations, and health regulations of Besançon University Hospital were applied to determine the rates of non‐conforming dwellings, which were respectively 55.2%, 5.2%, and 19%. Environmental microbiological results and medical data were compared. The whole number of colonies per cubic meter of air was correlated with asthma (P < 0.001) and rhinitis (P = 0.002). Sixty‐seven genera and species were detected in bedrooms. Asthma was correlated to Aspergillus versicolor (P = 0.004) and Cladosporium spp. (P = 0.02). Thresholds of 300 cfu/m³ for A. versicolor or 495 cfu/m³ for Cladosporium spp. are able to discriminate 90% of the asthmatic dwellings. We propose a new protocol to obtain an optimal cost for indoor fungi surveys, excluding surface analyses, and a new guideline to interpret the results based on >1000 cfu/m³ of whole colonies and/or above threshold levels for A. versicolor or Cladosporium spp.     

Fault Tolerance Mechanisms for FPGA-Based Regular Expression Matching

Traditional fault-tolerance techniques relying on spatial and temporal redundancy typically imply high power, delay, and area overheads. Cost-effective solutions often depend on system’s design and hardware platform at hand. Particularly for Field-Programmable Gate Arrays (FPGAs), soft errors on the configuration memory are a significant dependability threat. In this work, we present an extended and comprehensive fault tolerance mechanism especially suited for dealing with configuration faults on FPGA-based systems that must deal multiple failure modes. Each failure mode may present different criticality and probability of occurrence, and these properties are measured and exploited to provide low-cost solutions when compared to standard approaches such as triple modular redundancy. The exploited properties are typically found in critical monitoring systems that may trigger security- or safety-critical alarms and warnings in general. In such systems, failing to trigger an alarm when necessary is frequently regarded as more critical than providing an occasional false alarm. For instance, Regular Expression Matching (REM), a compute-intensive mechanism heavily used to perform Deep Packet Inspection in critical network applications, presents such properties, and it can be greatly accelerated by FPGAs to meet performance constraints in high-throughput networks. Therefore, we use FPGA-based REM engines as a case study to demonstrate the effectiveness of the proposed techniques. Additionally, a mutually-aware placement and scrubbing mechanism is introduced to reduce the repair time, improving the system reliability and availability. Experimental results show that the failure rate and the repair time can be reduced by 95 and 90% respectively while avoiding the costs of triplication.     

Global image signature for visual loop-closure detection

This work details a new method for loop-closure detection based on using multiple orthogonal projections to generate a global signature for each image of a video sequence. The new multi-projection function permits the detection of images corresponding to the same scene, but taken from different points of view. The signature generation process preserves enough information for robust loop-closure detection, although it transforms each image to a simple and compact representation. Thanks to these characteristics, a real-time operation is possible, even for long sequences with thousands of images. In addition, it has proved to work on very different scenarios without the need to change the parameters or to perform an onffline training stage, which makes it very independent on the environment and camera configuration. Results of an extensive set of experiments of the algorithm on several datasets, both indoors and outdoors and including underwater scenarios, are presented. Furthermore, an implementation, named HALOC, is available at a public repository as a C++ library for its use under the BSD license.     

The Bark Beetle Dendroctonus rhizophagus (Curculionidae: Scolytinae) Has Digestive Capacity to Degrade Complex Substrates: Functional Characterization and Heterologous Expression of an α-Amylase

Dendroctonus-bark beetles are natural agents contributing to vital processes in coniferous forests, such as regeneration, succession, and material recycling, as they colonize and kill damaged, stressed, or old pine trees. These beetles spend most of their life cycle under stem and roots bark where they breed, develop, and feed on phloem. This tissue is rich in essential nutrients and complex molecules such as starch, cellulose, hemicellulose, and lignin, which apparently are not available for these beetles. We evaluated the digestive capacity of Dendroctonus rhizophagus to hydrolyze starch. Our aim was to identify α-amylases and characterize them both molecularly and biochemically. The findings showed that D. rhizophagus has an α-amylase gene (AmyDr) with a single isoform, and ORF of 1452 bp encoding a 483-amino acid protein (53.15 kDa) with a predicted signal peptide of 16 amino acids. AmyDr has a mutation in the chlorine-binding site, present in other phytophagous insects and in a marine bacterium. Docking analysis showed that AmyDr presents a higher binding affinity to amylopectin compared to amylose, and an affinity binding equally stable to calcium, chlorine, and nitrate ions. AmyDr native protein showed amylolytic activity in the head-pronotum and gut, and its recombinant protein, a polypeptide of ~53 kDa, showed conformational stability, and its activity is maintained both in the presence and absence of chlorine and nitrate ions. The AmyDr gene showed a differential expression significantly higher in the gut than the head-pronotum, indicating that starch hydrolysis occurs mainly in the midgut. An overview of the AmyDr gene expression suggests that the amylolytic activity is regulated through the developmental stages of this bark beetle and associated with starch availability in the host tree.