Modeling of Distributed Control Systems in Intelligent Building based on Colored Petri Nets

Distributed control systems consist of sensors, actuators and controllers, interconnected by communication networks and are characterized by a high number of concurrent process. This work presents a proposal for a procedure to model and analyze communication networks for distributed control systems in intelligent building. The approach considered for this purpose is based on the characterization of the control system as a discrete event system and application of coloured Petri net as a formal method for specification, analysis and verification of control solutions. With this approach, we develop the models that compose the communication networks for the control systems of intelligent building, which are considered the relationships between the various buildings systems. This procedure provides a structured development of models, facilitating the process of specifying the control algorithm. An application example is presented in order to illustrate the main features of this approach.

A safety assessment methodology applied to CNS/ATM-based air traffic control system

In the last decades, the air traffic system has been changing to adapt itself to new social demands, mainly the safe growth of worldwide traffic capacity. Those changes are ruled by the Communication, Navigation, Surveillance/Air Traffic Management (CNS/ATM) paradigm, based on digital communication technologies (mainly satellites) as a way of improving communication, surveillance, navigation and air traffic management services. However, CNS/ATM poses new challenges and needs, mainly related to the safety assessment process. In face of these new challenges, and considering the main characteristics of the CNS/ATM, a methodology is proposed at this work by combining ""absolute"" and ""relative"" safety assessment methods adopted by the International Civil Aviation Organization (ICAO) in ICAO Doc.9689 [14], using Fluid Stochastic Petri Nets (FSPN) as the modeling formalism, and compares the safety metrics estimated from the simulation of both the proposed (in analysis) and the legacy system models. To demonstrate its usefulness, the proposed methodology was applied to the ""Automatic Dependent Surveillance-Broadcasting"" (ADS-B) based air traffic control system. As conclusions, the proposed methodology assured to assess CNS/ATM system safety properties, in which FSPN formalism provides important modeling capabilities, and discrete event simulation allowing the estimation of the desired safety metric. (C) 2011 Elsevier Ltd. All rights reserved.

Modeling, control and experimental validation of a novel actuator based on shape memory alloys

The paper presents the development of a mechanical actuator using a shape memory alloy with a cooling system based on the thermoelectric effect (Seebeck-Peltier effect). Such a method has the advantage of reduced weight and requires a simpler control strategy as compared to other forced cooling systems. A complete mathematical model of the actuator was derived, and an experimental prototype was implemented. Several experiments are used to validate the model and to identify all parameters. A robust and nonlinear controller, based on sliding-mode theory, was derived and implemented. Experiments were used to evaluate the actuator closed-loop performance, stability, and robustness properties. The results showed that the proposed cooling system and controller are able to improve the dynamic response of the actuator. (C) 2009 Elsevier Ltd. All rights reserved.

A sensor array based on mass and capacitance transducers for the detection of adulterated gasolines

The simultaneous use of different sensors technologies is an efficient method to increase the performance of chemical sensors systems. Among the available technologies, mass and capacitance transducers are particularly interesting because they can take advantage also from non-conductive sensing layers, such as most of the more interesting molecular recognition systems. In this paper, an array of quartz microbalance sensors is complemented by an array of capacitors obtained from a commercial biometrics fingerprints detector. The two sets of transducers, properly functionalized by sensitive molecular and polymeric films, are utilized for the estimation of adulteration in gasolines, and in particular to quantify the content of ethanol in gasolines, an application of importance for Brazilian market. Results indicate that the hybrid system outperforms the individual sensor arrays even if the quantification of ethanol in gasoline, due to the variability of gasolines formulation, is affected by a barely acceptable error. (C) 2009 Elsevier B.V. All rights reserved.

Distributed power control algorithm for multiple access systems based on Verhulst model

In this paper the continuous Verhulst dynamic model is used to synthesize a new distributed power control algorithm (DPCA) for use in direct sequence code division multiple access (DS-CDMA) systems. The Verhulst model was initially designed to describe the population growth of biological species under food and physical space restrictions. The discretization of the corresponding differential equation is accomplished via the Euler numeric integration (ENI) method. Analytical convergence conditions for the proposed DPCA are also established. Several properties of the proposed recursive algorithm, such as Euclidean distance from optimum vector after convergence, convergence speed, normalized mean squared error (NSE), average power consumption per user, performance under dynamics channels, and implementation complexity aspects, are analyzed through simulations. The simulation results are compared with two other DPCAs: the classic algorithm derived by Foschini and Miljanic and the sigmoidal of Uykan and Koivo. Under estimated errors conditions, the proposed DPCA exhibits smaller discrepancy from the optimum power vector solution and better convergence (under fixed and adaptive convergence factor) than the classic and sigmoidal DPCAs. (C) 2010 Elsevier GmbH. All rights reserved.

Hardware/firmware implementation of a soft sensor using an improved version of a fuzzy identification algorithm

This paper presents the design and implementation of an embedded soft sensor, i. e., a generic and autonomous hardware module, which can be applied to many complex plants, wherein a certain variable cannot be directly measured. It is implemented based on a fuzzy identification algorithm called ""Limited Rules"", employed to model continuous nonlinear processes. The fuzzy model has a Takagi-Sugeno-Kang structure and the premise parameters are defined based on the Fuzzy C-Means (FCM) clustering algorithm. The firmware contains the soft sensor and it runs online, estimating the target variable from other available variables. Tests have been performed using a simulated pH neutralization plant. The results of the embedded soft sensor have been considered satisfactory. A complete embedded inferential control system is also presented, including a soft sensor and a PID controller. (c) 2007, ISA. Published by Elsevier Ltd. All rights reserved.

A new technique to control brushless motor for blood pump application

This article presents a back-electromotive force (BEMF)-based technique of detection for sensorless brushless direct current motor (BLDCM) drivers. The BLDCM has been chosen as the energy converter in rotary or pulsatile blood pumps that use electrical motors for pumping. However, in order to operate properly, the BLDCM driver needs to know the shaft position. Usually, that information is obtained through a set of Hall sensors assembled close to the rotor and connected to the electronic controller by wires. Sometimes, a large distance between the motor and controller makes the system susceptible to interference on the sensor signal because of winding current switching. Thus, the goal of the sensorless technique presented in this study is to avoid this problem. First, the operation of BLDCM was evaluated on the electronic simulator PSpice. Then, a BEMF detector circuitry was assembled in our laboratories. For the tests, a sensor-dependent system was assembled where the direct comparison between the Hall sensors signals and the detected signals was performed. The obtained results showed that the output sensorless detector signals are very similar to the Hall signals at speeds of more than 2500 rpm. Therefore, the sensorless technique is recommended as a responsible or redundant system to be used in rotary blood pumps.

A power system control scheme based on security visualisation in parameter space

Power system real time security assessment is one of the fundamental modules of the electricity markets. Typically, when a contingency occurs, it is required that security assessment and enhancement module shall be ready for action within about 20 minutes’ time to meet the real time requirement. The recent California black out again highlighted the importance of system security. This paper proposed an approach for power system security assessment and enhancement based on the information provided from the pre-defined system parameter space. The proposed scheme opens up an efficient way for real time security assessment and enhancement in a competitive electricity market for single contingency case

Hormonal factors and risk of aneurysmal subarachnoid hemorrhage - An international population-based, case-control study

Background and Purpose-Subarachnoid hemorrhage (SAH) is more common in women than in men, but the role of hormonal factors in its etiology remains uncertain. The aim of this study was to examine the relationship between hormonal factors and risk of SAH in women. Methods-This was a prospective, multicenter, population-based, case-control study performed in 4 major urban centers in Australia and New Zealand. Two hundred sixty-eight female cases of first-ever aneurysmal SAH occurred during 1995-1998. Controls were 286 frequency-matched women from the general population of each center. Outcome measures included risk of SAH associated with use of oral contraceptive pills (OCPs), hormone replacement therapy (HRT), and various endogenous hormonal factors including menstrual patterns, parity, age at birth of first child, and breast-feeding practices. Results-Cases and controls did not differ with regard to menstrual and reproductive history except in age at bir th of first child, where older age was associated with reduced risk of SAH (odds ratio [OR], 0.63; 95% CI, 0.43, 0.91). Relative to never use of HRT, the adjusted OR for over use of HRT was 0.64 (95% CI, 0.41, 0.98), which did not alter significantly after further adjustment for possible confounding factors. Borderline evidence of an inverse association was detected for past use of HRT (adjusted OR, 0.59; 95% CI, 0.30, 1.13) and current use of HRT (adjusted OR, 0.67; 95% CI, 0.40, 1.13), but there was no evidence of an association for use of OCPs (adjusted OR, 0.97; 95% CI, 0.58, 1.60). Conclusions-The risks of SAH are lower in women whose first pregnancy is at an older age and women who have ever used HRT but not OCPs. The findings suggest an independent etiologic role for hormonal factors in the pathogenesis of aneurysmal SAH and provide support for a protective role fur HRT on risk of SAH in postmenopausal women.

Active and passive smoking and the risk of subarachnoid hemorrhage - An international population-based case-control study

Background and Purpose - This study was undertaken to better clarify the risks associated with cigarette smoking and subarachnoid hemorrhage (SAH). Methods - The study included 432 incident cases of SAH frequency matched to 473 community SAH-free controls to determine dose-dependent associations of active and passive smoking ( at home) and smoking cessation with SAH. Results - Compared with never smokers not exposed to passive smoking, the adjusted odds ratio for SAH among current smokers was 5.0 (95% confidence interval [CI], 3.1 to 8.1); for past smokers, 1.2 ( 95% CI, 0.8 to 2.0); and for passive smokers, 0.9 ( 95% CI, 0.6 to 1.5). Current and lifetime exposures showed a clear dose-dependent effect, and risks appeared more prominent in women and for aneurysmal SAH. Approximately 1 in 3 cases of SAH could be attributed to current smoking, but risks decline quickly after smoking cessation, even among heavy smokers. Conclusions - A strong positive association was found between cigarette smoking and SAH, especially for aneurysmal SAH and women, which is virtually eliminated within a few years of smoking cessation. Large opportunities exist for preventing SAH through smoking avoidance and cessation programs.

Anisotropy-based performance analysis of linear discrete time invariant control systems

The anisotropic norm of a linear discrete-time-invariant system measures system output sensitivity to stationary Gaussian input disturbances of bounded mean anisotropy. Mean anisotropy characterizes the degree of predictability (or colouredness) and spatial non-roundness of the noise. The anisotropic norm falls between the H-2 and H-infinity norms and accommodates their loss of performance when the probability structure of input disturbances is not exactly known. This paper develops a method for numerical computation of the anisotropic norm which involves linked Riccati and Lyapunov equations and an associated special type equation.

A phylogeny for the genus Isoodon and a range extension for I-obesulus peninsulae based on mtDNA control region and morphology

Short-nosed bandicoots, Isoodon, have undergone marked range contractions since European colonisation of Australia and are currently divided into many subspecies, the validity of which is debated. Discriminant function analysis of morphology and a phylogeny of Isoodon based on mtDNA control region sequences indicate a clear split between two of the three recognised species, I. macrourus and I. obesulus/auratus. However, while all previously recognised taxa within the I. obesulus/auratus group are morphologically distinct, I. auratus and I. obesulus are not phylogenetically distinct for mtDNA. The genetic divergence between I. obesulus and I. auratus (2.6%) is similar to that found among geographic isolates of the former (I. o. obesulus and I. o. peninsulae: 2.7%). Further, the divergence between geographically close populations of two different species (I. o. obesulus from Western Australia and I. a. barrowensis: 1.2%) is smaller than that among subspecies within I. auratus (I. a. barrowensis and I. auratus from northern Western Australia: 1.7%). A newly discovered population of Isoodon in the Lamb Range, far north Queensland, sympatric with a population of I. m. torosus, is shown to represent a range extension of I. o. peninsulae (350 km). It seems plausible that what is currently considered as two species, I. obesulus and I. auratus, was once one continuous species now represented by isolated populations that have diverged morphologically as a consequence of adaptation to the diverse environments that occur throughout their range. The taxonomy of these populations is discussed in relation to their morphological distinctiveness and genetic similarity.

A randomized control trial of nursing-based case management for patients with chronic obstructive pulmonary disease

This study assessed the impact of a randomized trial of nursing-based case management for patients with chronic obstructive pulmonary disease, their caregivers, and nursing and medical staff. Sixty-six patients were matched by FEV1 on admission to hospital, and randomized into an intervention or control group. Intervention group patients reported significantly less anxiety at 1 month postdischarge; however, this effect was not sustained. There was little difference between groups in terms of unplanned readmissions, depression, symptoms, support, and subjective well being. Interviews with patients and caregivers found that the case management improved access to resources and staff-patient communication. Interviews with nursing and medical staff found that case management improved communication between staff and enhanced patient care.