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.     

Dynamic modeling of the secondary drying stage of freeze drying reveals distinct desorption kinetics for bound water

In freeze drying, the desorption step for reaching a low target moisture content may take a significant fraction of the total process duration. Because the long-term stability of freeze-dried biological products strongly depends on the current moisture content, modeling the desorption process may help safely optimize the secondary drying step. Most published models assume a first-order desorption kinetic, but experimental evidence shows that strongly bound water in the monolayer takes a much longer time to be desorbed than less bound water in multilayer. The proposed model for desorption of freeze-dried lactic acid bacteria preparation accounts for monolayer and multilayer water state in the solid matrix, with very different desorption kinetics. Results showed that the ratio of characteristic desorption times (monolayer/multilayer) was almost 30. Temperature dependence was adequately described by an Arrhenius law in the range of 15 to 40°C. Model parameter identification used simultaneously gravimetric measurements with high time resolution and direct Karl-Fisher titration, from several experiments at different, time-varying temperatures.     

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.     

Interactions Between Calix[8]arenes and Fullerenes. Molecular Dynamics and Molecular Mechanics Simulation of the 1:1 and 1:2 complexes

Abstract

The interaction of tBu-calix[8]arene with C60 and C70 in the 1:1 and 1:2 models have been investigated by means of molecular dynamics and molecular mechanics (CVFF91 force field) calculations. The results reveal that one C60 molecule can be encapsulated in the cavity of the calixarene which adopts a conformation with six phenyl groups oriented upward and the other two (1 and 5) outward. The relatively weak bonded 1:1 C60-calixarene system is a result of attractive π…H(C-tBu. C-methylene) and repulsive π…π interactions. C70, more voluminous than C60 can not be accommodated in the cavity of the calixarcnc and forces it to a relatively opened conformation where the number of atractive interactions is less than in the C60-calixarene system. This conformation allows however the interaction with a second molecule and thus 1:2 adducts are formed. Thus, if proper substituents are on the calixarene and the fullerene size permite the encapsulation, 1:1 complexes are obtainable while if the fullerene size is larger than the cavity of the calixarene can cope with, only the 1:2 adducts can be separated.

     

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.