Approximate bisimulation relations for constrained linear systems

In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems are and remain identical, approximate bisimulation allows the observations to be different provided the distance between them remains bounded by some parameter called precision. Approximate bisimulation relations are conveniently defined as level sets of a so-called bisimulation function which can be characterized using Lyapunov-like differential inequalities. For a class of constrained linear systems, we develop computationally effective characterizations of bisimulation functions that can be interpreted in terms of linear matrix inequalities and optimal values of static games. We derive a method to evaluate the precision of the approximate bisimulation relation between a constrained linear system and its projection. This method has been implemented in a Matlab toolbox: MATISSE. An example of use of the toolbox in the context of safety verification is shown.     

Response inhibition deficit is involved in poor decision making under risk in nonamnesic individuals with alcoholism.

Individuals with alcoholism exhibit poor decision making as reflected by their continued alcohol use despite encountering problems and by low performance in laboratory tasks of decision making. Here, the authors investigated the relative contribution of several distinct processes of executive functions in performance on the Iowa Gambling Task (IGT; A. Bechara, A. R. Damasio, H. Damasio, & S. W. Anderson, 1994) in recently detoxified individuals with alcoholism. Compared to matched healthy participants, individuals with alcoholism showed below-normal scores in the last 20 trials of the IGT as well as on other tasks of executive functions, specifically those assessing the capacity to manipulate information stored in working memory, detect abstract rules, or inhibit prepotent responses. Prepotent response inhibition best predicted performance in the late trials of the IGT, that is, when participants have likely acquired knowledge about the reward/punishment contingencies of the task. These results underline the important role that response inhibition plays in decision making, especially in risky situations, when knowledge of the probability of a given outcome becomes available (i.e. decisions under risk). (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Embedded holonic fault diagnosis of complex transportation systems

The use of electronic equipment and embedded computing technologies in modern complex transportation systems continues to grow in a highly competitive market, in which product maintainability and availability is vital. These technological advances also make fault diagnosis and maintenance interventions much more challenging, since these operations require a deep understanding of the entire system. This paper proposes a holonic cooperative fault diagnosis approach, along with a generic architecture, to increase the embedded diagnosis capabilities of complex transportation systems. This concept is applied to the fault diagnosis of door systems of a railway transportation system.     

Quantised control of nonlinear systems: analysis of robustness to parameter uncertainty,measurement errors,and exogenous disturbances

We propose a variant of the recently introduced strategy for stabilisation with limited information by D. Liberzon and J.P. Hespanha and analyse its robustness properties. We show that, if the nominal plant can be made input-to-state stable with respect to measurement errors, parameter uncertainty and exogenous disturbances, then this robustness is preserved with this quantised feedback. More precisely, if a sufficient bandwidth is available on the communication network, then the resulting closed loop is shown to be semiglobally input-to-state practically stable.     

GPELab,a Matlab toolbox to solve Gross–Pitaevskii equations I: Computation of stationary solutions

This paper presents GPELab (Gross–Pitaevskii Equation Laboratory), an advanced easy-to-use and flexible Matlab toolbox for numerically simulating many complex physics situations related to Bose–Einstein condensation. The model equation that GPELab solves is the Gross–Pitaevskii equation. The aim of this first part is to present the physical problems and the robust and accurate numerical schemes that are implemented for computing stationary solutions, to show a few computational examples and to explain how the basic GPELab functions work. Problems that can be solved include: 1d, 2d and 3d situations, general potentials, large classes of local and nonlocal nonlinearities, multi-components problems, and fast rotating gases. The toolbox is developed in such a way that other physics applications that require the numerical solution of general Schrödinger-type equations can be considered.     

Flash pyrolysis of wood in a cyclone reactor

This paper reports the first results of an experimental study of the continuous flash pyrolysis of wood sawdust in a cyclone reactor between 893 and 1330 K. The reaction produces low fractions of char (4%) and the gasification yield increases from 0% at about 800 K to 90% at around 1330 K with a constant volume fraction of CO and H₂ (≈73%) and an increasing fraction of light hydrocarbons (up to 50% mass fraction). The heating value of the gas reaches 19 000 kJ m⁻³ STP for the highest temperatures. The wood particles mainly heated by radiation and solid convection react in less than 1 s while the carrier gas (residence time of the order of 0.05 s) seems to be only weakly heated. The 46.2 × 10⁻⁶ m³ cyclone reactor can operate with excellent stability for wood flow rates up to 0.35 kg h⁻¹ at a wall temperature of 1330 K. The cyclone seems to be very efficient for carrying out reactions of the solid → fluids type but more accurate determination of process parameters such as gas and solid residence times and heat transfer efficiencies are required to gain a better understanding of the behaviour of such a high temperature reactor.     

Linearly bounded infinite graphs

Linearly bounded Turing machines have been mainly studied as acceptors for context-sensitive languages. We define a natural class of infinite automata representing their observable computational behavior, called linearly bounded graphs. These automata naturally accept the same languages as the linearly bounded machines defining them. We present some of their structural properties as well as alternative characterizations in terms of rewriting systems and context-sensitive transductions. Finally, we compare these graphs to rational graphs, which are another class of automata accepting the context-sensitive languages, and prove that in the bounded-degree case, rational graphs are a strict sub-class of linearly bounded graphs.A preliminary version of this article appeared in MFCS 2005.     

Lesions of the lateral parabrachial nucleus block the aversive motivational effects of both morphine and morphine withdrawal but spare morphine's discrimination properties.

This study examined if the aversive properties of morphine, the aversive properties of morphine withdrawal, and the discriminative properties of morphine are mediated by common neurobiological substrates. Lesions of the lateral parabrachial nucleus, which blocked the aversive properties of morphine in the conditioned taste aversion paradigm, also blocked the acquisition of conditioned place aversions to environments paired with the aversive properties of morphine withdrawal in morphine-dependent rats. When morphine and saline were used as cues in a discrimination task, however, both sham-operated and lesioned rats were able to solve the task. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Delayed nonmatch-to-sample performance in HIV-seropositive and HIV-seronegative polydrug abusers.

Working memory (WM) deficits are common in HIV-seropositive (HIV+) individuals and can be amplified by manipulating a variety of task parameters, such as increasing memory load or information complexity. The authors investigated the role of timing in HIV-associated WM defects by varying the amount of time required to maintain information online while holding memory load and information complexity constant. The authors studied 50 HIV+ and 35 HIV-seronegative (HIV-) polydrug abusers abstinent at testing and well-matched on demographic variables. The HIV- group outperformed the HIV+ group across all stimulus-response time delays. HIV-associated WM defects are not critically dependent on the amount of time stimulus representations must be maintained and might be attributed to impaired encoding or retrieval of stimulus representations. (PsycINFO Database Record (c) 2010 APA, all rights reserved)