Analysis for a class of singularly perturbed hybrid systems via averaging

A class of singularly perturbed hybrid dynamical systems is analyzed. The fast states are restricted to a compact set a priori. The continuous-time boundary layer dynamics produce solutions that are assumed to generate a well-defined average vector field for the slow dynamics. This average, the projection of the jump map in the direction of the slow states, and flow and jump sets from the original dynamics define the reduced, or average, hybrid dynamical system. Assumptions about the average system lead to conclusions about the original, higher-dimensional system. For example, forward pre-completeness for the average system leads to a result on closeness of solutions between the original and average system on compact time domains. In addition, global asymptotic stability for the average system implies semiglobal, practical asymptotic stability for the original system. We give examples to illustrate the averaging concept and to relate it to classical singular perturbation results as well as to other singular perturbation results that have appeared recently for hybrid systems. We also use an example to show that our results can be used as an analysis tool to design hybrid feedbacks for continuous-time plants implemented by fast but continuous actuators.     

Supervisory control synthesis of discrete-event systems using a coordination scheme

Supervisory control of distributed DES with a global specification and local supervisors is a difficult problem. For global specifications, the equivalent conditions for local control synthesis to equal global control synthesis may not be met. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combination of a coordinator and local controllers. Conditional controllability is proven to be an equivalent condition for the existence of such a coordinated controller. A procedure to compute the least restrictive solution within our coordination control architecture is provided and conditions under which the result coincides with the supremal controllable sublanguage are stated.     

A note on controllability of deterministic context-free systems

In this paper, we prove that the most important concept of supervisory control of discrete-event systems, the controllability property, is undecidable for two deterministic context-free languages $K$ and $L$, where $L$ is prefix closed, even though $K$ is a subset of $L$. If $K$ is not a subset of $L$, the undecidability follows from the work by Sreenivas. However, the case where $K$ is a subset of $L$ does not follow from that work because it is decidable whether $K$ and $L$ are equivalent as shown by Sénizergues. Thus, our result completes this study. The problem is also mentioned as open in the Ph.D. thesis by Griffin, who extended the supervisory control framework so that the specification language is modeled as a deterministic context-free language (compared to the classical approach where the specification is regular) and the plant language is regular. This approach is of interest because it brings an opportunity for more concise representations of the specification (as discussed, e.g., in the work by Geffert et al.) and, therefore, in some sense it treats the most interesting problem of current supervisory control theory, the state-space explosion problem.     

Decision support aids with anthropomorphic characteristics influence trust and performance in younger and older adults

This study examined the use of deliberately anthropomorphic automation on younger and older adults' trust, dependence and performance on a diabetes decision-making task. Research with anthropomorphic interface agents has shown mixed effects in judgments of preferences but has rarely examined effects on performance. Meanwhile, research in automation has shown some forms of anthropomorphism (e.g. etiquette) have effects on trust and dependence on automation. Participants answered diabetes questions with no-aid, a non-anthropomorphic aid or an anthropomorphised aid. Trust and dependence in the aid was measured. A minimally anthropomorphic aide primarily affected younger adults' trust in the aid. Dependence, however, for both age groups was influenced by the anthropomorphic aid. Automation that deliberately embodies person-like characteristics can influence trust and dependence on reasonably reliable automation. However, further research is necessary to better understand the specific aspects of the aid that affect different age groups. Automation that embodies human-like characteristics may be useful in situations where there is under-utilisation of reasonably reliable aids by enhancing trust and dependence in that aid. Practitioner Summary: The design of decision-support aids on consumer devices (e.g. smartphones) may influence the level of trust that users place in that system and their amount of use. This study is the first step in articulating how the design of aids may influence user's trust and use of such systems.     

Influence of oxygen content on some properties of Nb3Sn tape used for superconducting transmission lines

The influence of the presence of oxygen in the Nb-Zr substrate upon some physical and mechanical properties of the Nb-ZrO₂ substrate and/or Nb₃Sn tape superconductor prepared from such a substrate has been studied. The results have shown that the Nb₃Sn grains are much finer in the case of Nb-ZrO₂, than those obtained on Nb-Zr substrate. As a result, both the electrical and mechanical properties have been substantially improved. The critical current at a field of 5 T increased by between 100 and 200 %, the alternating current losses decreased by about one order of magnitude, the tensile strength increased by about a factor of three and the microhardness value also increased by about a factor of three for oxygen contents in the range 0.03 to 0.70 wt%. The specific resistance of this substrate increased at the same time from 17 to 22 cm and the relative elongation decreased from 5 to 3 %.     

Study of elementary reactions of free radicals formed on oxide and platinum containing catalysts

The formation of alkylperoxy radicals on catalysts CuCr₂O₄/ -Al₂O₃, Pt /--Al₂O₃ and on alumina upon the interaction of amines and alcohols with oxygen has been observed applying the matrix isolation ESR technique. Surface-generated gas phase radicals are shown to initiate a radical chain reaction. The efficiency of the yield of radicals depends on the catalyst mass and its arrangement in a reactor: the desorption of radicals into the gas phase occurs primarily from the outer geometrical surface of catalyst granules.     

Modeling and measurement of simultaneous switching noise coupling through signal via transition

The signal via is a heavily utilized interconnection structure in high-density System-on-Package (SoP) substrates and printed circuit boards (PCBs). Vias facilitate complicated routings in these multilayer structures. Significant simultaneous switching noise (SSN) coupling occurs through the signal via transition when the signal via suffers return current interruption caused by reference plane exchange. The coupled SSN decreases noise and timing margins of digital and analog circuits, resulting in reduction of achievable jitter performance, bit error ratio (BER), and system reliability. We introduce a modeling method to estimate SSN coupling based on a balanced transmission line matrix (TLM) method. The proposed modeling method is successfully verified by a series of time-domain and frequency-domain measurements of several via transition structures. First, it is clearly verified that SSN coupling causes considerable clock waveform distortion, increases jitter and noise, and reduces margins in pseudorandom bit sequence (PRBS) eye patterns. We also note that the major frequency spectrum component of the coupled noise is one of the plane pair resonance frequencies in the PCB power/ground pair. Furthermore, we demonstrate that the amount of SSN noise coupling is strongly dependent not only on the position of the signal via, but also on the layer configuration of the multilayer PCB. Finally, we have successfully proposed and confirmed a design methodology to minimize the SSN coupling based on an optimal via positioning approach.     

Thermodynamics of titanium and nitrogen in an Fe-Ni melt

The equilibrium solubility of titanium and nitrogen in Fe-Ni melts was measured in the presence of pure solid TiN under various nitrogen pressures in the temperature range of 1843 to 1923 K. The activity coefficients of titanium and nitrogen relative to a 1 mass pct standard state in liquid iron were calculated from the experimental results for Fe-Ni alloys of nickel contents up to 30 mass pct. Nickel decreases the activity coefficient of titanium, but it increases the activity coefficient of nitrogen in an Fe-Ni-Ti-N melt. Therefore, the effect of nickel on the solubility product of TiN is not significant. The first- and second-order interaction parameters of nickel on titanium (e _Ti ^Ni and r _Ti ^Ni , respectively) were determined to be −0.0115 and 0 at 1873 K, respectively. Similarly, the interaction parameters of nickel on nitrogen (e _N ^Ni and r _N ^Ni , respectively) were determined to be 0.012 and 0, respectively, at 1873 K. The temperature dependence of these interaction parameters was also determined.     

Simulation of Fuzzy-Logic-Based Intelligent Wheelchair Control System

Fuzzy logic control system for an intelligent wheelchair aimed for assistance by the severely handicapped persons is presented in the paper. It is based on a computer simulation of wheelchair navigation, in which fuzzy logic enables control priority to smoothly alternate between manual and automatic control of the wheelchair in the vicinity of obstacles. The main purpose of designing and simulating this control approach is to improve the safety of a wheelchair in the presence of obstacles. To analyze the success of the wheelchair control, a dynamic model of the wheelchair, together with the models of distance sensors, has been developed using Lagrange analysis.