EXPERIMENTAL TREE TRIMMING TO CONTROL AN URBAN WINTER BLACKBIRD ROOST

Every fall millions of blackbirds come down the Mississippi Flyway to return to their winter roosts in Arkansas, Louisiana, and East Texas. When these roosts are located in urban areas, public pressure makes the more common chemical means of control impractical. A less destructive and more permanent method of control was sought. At Rice University, in Houston, Texas, there has been a blackbird roost of various sizes and durations since 1956. For the past two years we have had the opportunity both to study roosting blackbird biology and experiment with habitat alteration as a control method. This particular report concentrates on the results and interpretation of the tree- trimming program initiated in August 1974. The birds involved are primarily Brown-headed Cowbirds (Molothrus ater), along with Starlings (sturnus vulgaris), Common and Great-tailed Grackles (Quiscalus quiscula and Cassidix mexicanus), Red-winged Blackbirds (Agelaius phoenicus) and Robins (Turdus migratorius). The campus comprises 121 ha and was planted with live oaks (Quercus virginiana) in 1912. These trees retain their foliage throughout the winter and now form a closed canopy over some 5-6 ha. In the 60s and early 70s most of the birds that came to Houston for the winter roosted in a 64-ha woodlot 10 km north of campus. In January 1970, the U.S. Fish and Wildlife Roosting Survey reported one million birds at this site we call the North Loop. Fifteen- thousand birds were estimated at Rice.

Nitric Oxide Mediates the Hormonal Control of Crassulacean Acid Metabolism Expression in Young Pineapple Plants

Genotypic, developmental, and environmental factors converge to determine the degree of Crassulacean acid metabolism (CAM) expression. To characterize the signaling events controlling CAM expression in young pineapple (Ananas comosus) plants, this photosynthetic pathway was modulated through manipulations in water availability. Rapid, intense, and completely reversible up-regulation in CAM expression was triggered by water deficit, as indicated by the rise in nocturnal malate accumulation and in the expression and activity of important CAM enzymes. During both up-and down-regulation of CAM, the degree of CAM expression was positively and negatively correlated with the endogenous levels of abscisic acid (ABA) and cytokinins, respectively. When exogenously applied, ABA stimulated and cytokinins repressed the expression of CAM. However, inhibition of water deficit-induced ABA accumulation did not block the up-regulation of CAM, suggesting that a parallel, non-ABA-dependent signaling route was also operating. Moreover, strong evidence revealed that nitric oxide (NO) may fulfill an important role during CAM signaling. Up-regulation of CAM was clearly observed in NO-treated plants, and a conspicuous temporal and spatial correlation was also evident between NO production and CAM expression. Removal of NO from the tissues either by adding NO scavenger or by inhibiting NO production significantly impaired ABA-induced up-regulation of CAM, indicating that NO likely acts as a key downstream component in the ABA-dependent signaling pathway. Finally, tungstate or glutamine inhibition of the NO-generating enzyme nitrate reductase completely blocked NO production during ABA-induced up-regulation of CAM, characterizing this enzyme as responsible for NO synthesis during CAM signaling in pineapple plants.

Increased Expression of Regulatory T Cells and Down-Regulatory Molecules in Lepromatous Leprosy

T regulatory cells (Tregs) play an important role in the mechanism of host's failure to control pathogen dissemination in severe forms of different chronic granulomatous diseases, but their role in leprosy has not yet been elucidated; 28 newly diagnosed patients (16 patients with lepromatous leprosy and 12 patients with tuberculoid leprosy) and 6 healthy Mycobacterium leprae-exposed individuals (contacts) were studied. Tregs were quantified by flow cytometry (CD4+ CD25+ Foxp3+) in peripheral blood mononuclear cells stimulated in vitro with a M. leprae antigenic preparation and phytohemagglutinin as well as in skin lesions by immunohistochemistry. The lymphoproliferative (LPR), interleukin-10 (IL-10), and interferon-gamma (IFN-gamma) responses of the in vitro-stimulated peripheral blood mononuclear cells and the in situ expression of IL-10, transforming growth factor-beta (TGF-beta), and cytotoxic T-lymphocyte antigen 4 (CTLA-4) were also determined. We show that M. leprae antigens induced significantly lower LPR but significantly higher Treg numbers in lepromatous than tuberculoid patients and contacts. Mitogen-induced LPR and Treg frequencies were not significantly different among the three groups. Tregs were also more frequent in situ in lepromatous patients, and this finding was paralleled by increased expression of the antiinflammatory molecules IL-10 and CTLA-4 but not TGF-beta. In lepromatous patients, Tregs were intermingled with vacuolized hystiocyte infiltrates all over the lesion, whereas in tuberculoid patients, Tregs were rare. Our results suggest that Tregs are present in increased numbers, and they may have a pathogenic role in leprosy patients harboring uncontrolled bacillary multiplication but not in those individuals capable of limiting M. leprae growth.

Linear parameter varying control design for rotating systems supported by journal bearings

Linear parameter varying (LPV) control is a model-based control technique that takes into account time-varying parameters of the plant. In the case of rotating systems supported by lubricated bearings, the dynamic characteristics of the bearings change in time as a function of the rotating speed. Hence, LPV control can tackle the problem of run-up and run-down operational conditions when dynamic characteristics of the rotating system change significantly in time due to the bearings and high vibration levels occur. In this work, the LPV control design for a flexible shaft supported by plain journal bearings is presented. The model used in the LPV control design is updated from unbalance response experimental results and dynamic coefficients for the entire range of rotating speeds are obtained by numerical optimization. Experimental implementation of the designed LPV control resulted in strong reduction of vibration amplitudes when crossing the critical speed, without affecting system behavior in sub- or supercritical speeds. (C) 2012 Elsevier Ltd. All rights reserved.

Polymorphism C1420T of Serine hydroxymethyltransferase gene on maternal risk for Down syndrome

Recent researches have investigated the factors that determine the maternal risk for Down syndrome (DS) in young woman. In this context, some studies have demonstrated the association between polymorphisms in genes involved on folate metabolism and the maternal risk for DS. These polymorphisms may result in abnormal folate metabolism and methyl deficiency, which is associated with aberrant chromosome segregation leading to trisomy 21. In this study, we analyzed the influence of the polymorphism C1420T in Serine hydroxymethyltransferase (SHMT) gene on maternal risk for DS and on metabolites concentrations of the folate pathway (serum folate and plasma homocysteine and methylmalonic acid). The study group was composed by 105 mothers with DS children (case group) and 185 mothers who had no children with DS (control group). The genotype distribution did not show significant statistical difference between case and control mothers (P = 0.24) however a protective effect between genotypes CC (P = 0.0002) and CT (P < 0.0001) and maternal risk for DS was observed. Furthermore, the SHMT C1420T polymorphism (rs1979277) does not affect the concentration of metabolites of folate pathway in our DS mothers. In conclusion, our data showed a protective role for the genotypes SHMT CC and CT on maternal risk for DS. The concentrations of metabolites of folate pathway did not differ significantly between the genotypes SHMT.

Short-Term Effects of the Use of Non-Rigid Tools for Postural Control by Adults with Intellectual Disabilities

We tested the short-term effects of a nonrigid tool, identified as an "anchor system" (e.g., ropes attached to varying weights resting on the floor), on the postural stabilization of blindfolded adults with and without intellectual disabilities (ID). Participants held a pair of anchors one in each hand, under three weight conditions (250 g, 500 g and 1,000 g), while they performed a restricted balance task (standing for 30 s on a balance beam placed on top of a force platform). These conditions were called anchor practice trials. Before and after the practice trials, a condition without anchors was tested. Control practice groups, who practiced blocks of trials without anchors, included individuals with and without ID. The anchor system improved subjects' balance during the standing task, for both groups. For the control groups, the performance of successive trials in the condition without the anchor system showed no improvement in postural stability. The individuals with intellectual disability, as well as their peers without ID, used the haptic cues of nonrigid tools (i.e., the anchor system) to stabilize their posture, and the short-term stabilizing effects appeared to result from their previous use of the anchor system.

Selection of Top 10 Quality Indicators for Nutrition Therapy

Background: The identification of useful quality indicators for nutrition therapy (QINTs) is of great interest and a challenge. This study attempted to identify the 10 QINTs that best suit the practice of quality control in nutrition therapy (NT) by evaluating the opinion of experts in NT with the use of psychometric techniques and statistical tools. Methods: Thirty-six QINTs available for clinical application in Brazil were assessed in 2 distinct phases. In phase 1, 26 nutrition experts ranked QINTs by scoring 4 attributes (utility, simplicity, objectivity, low cost) to assess each QINT on a 5-point Likert scale. The top 10 QINTs were identified from the 10 best scores obtained, and the reliability of expert opinion for each indicator was assessed by Cronbach's alpha. In phase 2, experts provided feedback regarding the selected top 10 QINTs by answering 2 closed questions. Results: The top 10 QINTs, in descending order, are the frequency of nutrition screening of hospitalized patients, diarrhea, involuntary withdrawal of enteral feeding tubes, feeding tube obstruction, fasting longer than 24 hours, glycemic dysfunction, estimated energy expenditure and protein needs, central venous catheter infection, compliance of NT indication, and frequency of application of subjective global assessment. Opinions were consistent among the interviewed experts. During feedback, 96% of experts were satisfied with the top 10 QINTs, and 100% had considered them in accordance with their previous opinion. Conclusion: The top 10 QINTs were identified according to their usefulness in clinical practice by obtaining adequate agreement and representativeness of opinion of nutrition experts. (Nutr Clin Pract. 2012;27:261-267)

Inflammatory and Immunological parameters in adults with Down syndrome

Abstract Background The increase in life expectancy within the general population has resulted in an increasing number of elderly adults, including patients with Down syndrome (DS), with a current life expectancy of about 50 years. We evaluate the parameters of humoral and cellular immune response, the quantitative expression of the regulator of calcineurin1 gene (RCAN1) and the production of cytokines. The study group consisted of adults DS (n = 24) and a control group with intellectual disability without Down syndrome (ID) (n = 21) and living in a similar environmental background. It was evaluated serology, immunophenotyping, the quantitative gene expression of RCAN1 and the production of cytokines. Results In the DS group, the results showed an increase in NK cells, CD8, decreased CD19 (p < 0.05) and an increase spontaneous production of IFNgamma, TNFalpha and IL-10 (p < 0.05). There was not any difference in RCAN1 gene expression between the groups. Conclusions These data suggest a similar humoral response in the two groups. The immunophenotyping suggests sign of premature aging of the immune system and the cytokine production show a proinflammatory profile.

Seven years of external control of fluoride levels in the public water supply in Bauru, São Paulo, Brazil

Fluoridation of the public water supplies is recognized as among the top ten public health achievements of the twentieth century. However, the positive aspects of this measure depend on the maintenance of fluoride concentrations within adequate levels. To report the results of seven years of external control of the fluoride (F) concentrations in the public water supply in Bauru, SP, Brazil in an attempt to verify, on the basis of risk/benefit balance, whether the levels are appropriate. From March 2004 to February 2011, 60 samples were collected every month from the 19 supply sectors of the city, totaling 4,641 samples. F concentrations in water samples were determined in duplicate, using an ion-specific electrode (Orion 9609) coupled to a potentiometer after buffering with TISAB II. After the analysis, the samples were classified according to the best risk-benefit adjustment. Means (±standard deviation) of F concentrations ranged between 0.73±0.06 and 0.81±0.10 mg/L for the different sectors during the seven years. The individual values ranged between 0.03 and 2.63 mg/L. The percentages of the samples considered “low risk” for dental fluorosis development and of “maximum benefit” for dental caries prevention (0.55-0.84 mg F/L) in the first, second, third, fourth, fifth, sixth, and seventh years of the study were 82.0, 58.5, 37.4, 61.0, 89.9, 77.3, and 72.4%, respectively, and 69.0% for the entire period. Fluctuations of F levels were found in the public water supply in Bauru during the seven years of evaluation. These results suggest that external monitoring of water fluoridation by an independent assessor should be implemented in cities where there is adjusted fluoridation. This measure should be continued in order to verify that fluoride levels are suitable and, if not, to provide support for the appropriate adjustments

Annexin-A1 peptide down-regulates the leukocyte recruitment and up-regulates interleukin-10 release into lung after intestinal ischemia-reperfusion in mice

Abstract Background Intestinal ischemia/reperfusion (IR) injury is a serious and triggering event in the development of remote organ dysfunction, from which the lung is the main target. This condition is characterized by intense neutrophil recruitment, increased microvascular permeability. Intestinal IR is also responsible for induction of adult respiratory distress syndrome, the most serious and life-threatening form of acute lung injury. The purpose of this study was to investigate the effect of annexin-A1 protein as an endogenous regulator of the organ remote injury induced by intestinal ischemia/reperfusion. Male C57bl/6 mice were subjected to intestinal ischemia, induced by 45 min occlusion of the superior mesenteric artery, followed by reperfusion. Results The intestinal ischemia/reperfusion evoked a high intensity lung inflammation as indicated by the number of neutrophils as compared to control group. Treatment with annexin-A1 peptidomimetic Ac2-26, reduced the number of neutrophils in the lung tissue and increased its number in the blood vessels, which suggests a regulatory effect of the peptide Ac2-26 in the neutrophil migration. Moreover, the peptide Ac2-26 treatment was associated with higher levels of plasma IL-10. Conclusion Our data suggest that the annexin-A1 peptidomimetic Ac2-26 treatment has a regulatory and protective effect in the intestinal ischemia/reperfusion by attenuation of the leukocyte migration to the lung and induction of the anti-inflammatory cytokine IL-10 release into the plasma. The anti-inflammatory action of annexin-A1 and its peptidomimetic described here may serve as a basis for future therapeutic approach in mitigating inflammatory processes due to intestinal ischemia/reperfusion.

Performance of Down syndrome subjects during a coincident timing task

Abstract Background The time synchronization is a very important ability for the acquisition and performance of motor skills that generate the need to adapt the actions of body segments to external events of the environment that are changing their position in space. Down Syndrome (DS) individuals may present some deficits to perform tasks with synchronization demand. We aimed to investigate the performance of individuals with DS in a simple Coincident Timing task. Method 32 individuals were divided into 2 groups: the Down syndrome group (DSG) comprised of 16 individuals with average age of 20 (+/− 5 years old), and a control group (CG) comprised of 16 individuals of the same age. All individuals performed the Simple Timing (ST) task and their performance was measured in milliseconds. The study was conducted in a single phase with the execution of 20 consecutive trials for each participant. Results There was a significant difference in the intergroup analysis for the accuracy adjustment - Absolute Error (Z = 3.656, p = 0.001); and for the performance consistence - Variable Error (Z = 2.939, p = 0.003). Conclusion DS individuals have more difficulty in integrating the motor action to an external stimulus and they also present more inconsistence in performance. Both groups presented the same tendency to delay their motor responses.

Annexin-A1 peptide down-regulates the leukocyte recruitment and up-regulates interleukin-10 release into lung after intestinal ischemia-reperfusion in mice

BACKGROUND: Intestinal ischemia/reperfusion (IR) injury is a serious and triggering event in the development of remote organ dysfunction, from which the lung is the main target. This condition is characterized by intense neutrophil recruitment, increased microvascular permeability. Intestinal IR is also responsible for induction of adult respiratory distress syndrome, the most serious and life-threatening form of acute lung injury. The purpose of this study was to investigate the effect of annexin-A1 protein as an endogenous regulator of the organ remote injury induced by intestinal ischemia/reperfusion. Male C57bl/6 mice were subjected to intestinal ischemia, induced by 45 min occlusion of the superior mesenteric artery, followed by reperfusion. RESULTS: The intestinal ischemia/reperfusion evoked a high intensity lung inflammation as indicated by the number of neutrophils as compared to control group. Treatment with annexin-A1 peptidomimetic Ac2-26, reduced the number of neutrophils in the lung tissue and increased its number in the blood vessels, which suggests a regulatory effect of the peptide Ac2-26 in the neutrophil migration. Moreover, the peptide Ac2-26 treatment was associated with higher levels of plasma IL-10. CONCLUSION: Our data suggest that the annexin-A1 peptidomimetic Ac2-26 treatment has a regulatory and protective effect in the intestinal ischemia/reperfusion by attenuation of the leukocyte migration to the lung and induction of the anti-inflammatory cytokine IL-10 release into the plasma. The anti-inflammatory action of annexin-A1 and its peptidomimetic described here may serve as a basis for future therapeutic approach in mitigating inflammatory processes due to intestinal

Security control brought back to the user

The activity of the Ph.D. student Juri Luca De Coi involved the research field of policy languages and can be divided in three parts. The first part of the Ph.D. work investigated the state of the art in policy languages, ending up with: (i) identifying the requirements up-to-date policy languages have to fulfill; (ii) defining a policy language able to fulfill such requirements (namely, the Protune policy language); and (iii) implementing an infrastructure able to enforce policies expressed in the Protune policy language. The second part of the Ph.D. work focused on simplifying the activity of defining policies and ended up with: (i) identifying a subset of the controlled natural language ACE to express Protune policies; (ii) implementing a mapping between ACE policies and Protune policies; and (iii) adapting the ACE Editor to guide users step by step when defining ACE policies. The third part of the Ph.D. work tested the feasibility of the chosen approach by applying it to meaningful real-world problems, among which: (i) development of a security layer on top of RDF stores; and (ii) efficient policy-aware access to metadata stores. The research activity has been performed in tight collaboration with the Leibniz Universität Hannover and further European partners within the projects REWERSE, TENCompetence and OKKAM.

The Enhanced Single-dish Control System and wide surveys of compact sources

The Italian radio telescopes currently undergo a major upgrade period in response to the growing demand for deep radio observations, such as surveys on large sky areas or observations of vast samples of compact radio sources. The optimised employment of the Italian antennas, at first constructed mainly for VLBI activities and provided with a control system (FS – Field System) not tailored to single-dish observations, required important modifications in particular of the guiding software and data acquisition system. The production of a completely new control system called ESCS (Enhanced Single-dish Control System) for the Medicina dish started in 2007, in synergy with the software development for the forthcoming Sardinia Radio Telescope (SRT). The aim is to produce a system optimised for single-dish observations in continuum, spectrometry and polarimetry. ESCS is also planned to be installed at the Noto site. A substantial part of this thesis work consisted in designing and developing subsystems within ESCS, in order to provide this software with tools to carry out large maps, spanning from the implementation of On-The-Fly fast scans (following both conventional and innovative observing strategies) to the production of single-dish standard output files and the realisation of tools for the quick-look of the acquired data. The test period coincided with the commissioning phase for two devices temporarily installed – while waiting for the SRT to be completed – on the Medicina antenna: a 18-26 GHz 7-feed receiver and the 14-channel analogue backend developed for its use. It is worth stressing that it is the only K-band multi-feed receiver at present available worldwide. The commissioning of the overall hardware/software system constituted a considerable section of the thesis work. Tests were led in order to verify the system stability and its capabilities, down to sensitivity levels which had never been reached in Medicina using the previous observing techniques and hardware devices. The aim was also to assess the scientific potential of the multi-feed receiver for the production of wide maps, exploiting its temporary availability on a mid-sized antenna. Dishes like the 32-m antennas at Medicina and Noto, in fact, offer the best conditions for large-area surveys, especially at high frequencies, as they provide a suited compromise between sufficiently large beam sizes to cover quickly large areas of the sky (typical of small-sized telescopes) and sensitivity (typical of large-sized telescopes). The KNoWS (K-band Northern Wide Survey) project is aimed at the realisation of a full-northern-sky survey at 21 GHz; its pilot observations, performed using the new ESCS tools and a peculiar observing strategy, constituted an ideal test-bed for ESCS itself and for the multi-feed/backend system. The KNoWS group, which I am part of, supported the commissioning activities also providing map-making and source-extraction tools, in order to complete the necessary data reduction pipeline and assess the general system scientific capabilities. The K-band observations, which were carried out in several sessions along the December 2008-March 2010 period, were accompanied by the realisation of a 5 GHz test survey during the summertime, which is not suitable for high-frequency observations. This activity was conceived in order to check the new analogue backend separately from the multi-feed receiver, and to simultaneously produce original scientific data (the 6-cm Medicina Survey, 6MS, a polar cap survey to complete PMN-GB6 and provide an all-sky coverage at 5 GHz).

Architectures and design patterns for functional design of logic control and diagnostics in industrial automation

Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.