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.

Symbolic Dynamics Analysis: a new methodology for foetal heart rate variability analysis

Cardiotocography (CTG) is a widespread foetal diagnostic methods. However, it lacks of objectivity and reproducibility since its dependence on observer's expertise. To overcome these limitations, more objective methods for CTG interpretation have been proposed. In particular, many developed techniques aim to assess the foetal heart rate variability (FHRV). Among them, some methodologies from nonlinear systems theory have been applied to the study of FHRV. All the techniques have proved to be helpful in specific cases. Nevertheless, none of them is more reliable than the others. Therefore, an in-depth study is necessary. The aim of this work is to deepen the FHRV analysis through the Symbolic Dynamics Analysis (SDA), a nonlinear technique already successfully employed for HRV analysis. Thanks to its simplicity of interpretation, it could be a useful tool for clinicians. We performed a literature study involving about 200 references on HRV and FHRV analysis; approximately 100 works were focused on non-linear techniques. Then, in order to compare linear and non-linear methods, we carried out a multiparametric study. 580 antepartum recordings of healthy fetuses were examined. Signals were processed using an updated software for CTG analysis and a new developed software for generating simulated CTG traces. Finally, statistical tests and regression analyses were carried out for estimating relationships among extracted indexes and other clinical information. Results confirm that none of the employed techniques is more reliable than the others. Moreover, in agreement with the literature, each analysis should take into account two relevant parameters, the foetal status and the week of gestation. Regarding the SDA, results show its promising capabilities in FHRV analysis. It allows recognizing foetal status, gestation week and global variability of FHR signals, even better than other methods. Nevertheless, further studies, which should involve even pathological cases, are necessary to establish its reliability.

Kostenorientiertes Controlling von E-Learning-Plattformen mit dem TCO-Konzept

Zur administrativen Unterstützung von Lehr- und Lernprozessen werden E-Learning-Plattformen eingesetzt, die auf der Grundlage des Internet Funktionen zur Distribution von Lehr- und Lernmaterialien und zur Kommunikation zwischen Lehrenden und Lernenden anbieten. Zahlreiche wissenschaftliche Beiträge und Marktstudien beschäftigen sich mit der multikriteriellen Evaluation dieser Softwareprodukte zur informatorischen Fundierung strategischer Investitionsentscheidungen. Demgegenüber werden Instrumente zum kostenorientierten Controlling von E-Learning-Plattformen allenfalls marginal thematisiert. Dieser Beitrag greift daher das Konzept der Total Cost of Ownership (TCO) auf, das einen methodischen Ansatzpunkt zur Schaffung von Kostentransparenz von E-Learning-Plattformen bildet. Aufbauend auf den konzeptionellen Grundlagen werden Problembereiche und Anwendungspotenziale für das kostenorientierte Controlling von LMS identifiziert. Zur softwaregestützten Konstruktion und Analyse von TCO-Modellen wird das Open Source-Werkzeug TCO-Tool eingeführt und seine Anwendung anhand eines synthetischen Fallbeispiels erörtert. Abschließend erfolgt die Identifikation weiterführender Entwicklungsperspektiven des TCO-Konzepts im Kontext des E-Learning. Die dargestellte Thematik ist nicht nur von theoretischem Interesse, sondern adressiert auch den steigenden Bedarf von Akteuren aus der Bildungspraxis nach Instrumenten zur informatorischen Fundierung von Investitions- und Desinvestitionsentscheidungen im Umfeld des E-Learning.

Integriertes Informationsmanagement für Bildungseinrichtungen

Der CampusSource Workshop fand vom 10. bis 12. Oktober 2006 an der Westfälischen Wilhelms Universität (WWU) in Münster statt. Kernpunkte der Veranstaltung waren die Entwicklung einer Engine zur Verknüpfung von e-Learning Anwendungen mit Systemen der HIS GmbH und die Erstellung von Lehr- und Lerninhalten mit dem Ziel der Wiederverwendung. Im zweiten Kapitel sind Vorträge der Veranstaltung im Adobe Flash Format zusammengetragen. Zur Betrachtung der Vorträge ist der Adobe Flash Player, mindestens in der Version 6 erforderlich

Teachers' professional development in a community

The goal of this article was to study teachers' professional development related to web-based learning in the context of the teacher community. The object was to learn in what kind of networks teachers share the knowledge of web-based learning and what are the factors in the community that support or challenge teachers professional development of web-based learning. The findings of the study revealed that there are teachers who are especially active, called the central actors in this study, in the teacher community who collaborate and share knowledge of web-based learning. These central actors share both technical and pedagogical knowledge of web-based learning in networks that include both internal and external relations in the community and involve people, artefacts and a variety of media. Furthermore, the central actors appear to bridge different fields of teaching expertise in their community. According to the central actors' experiences the important factors that support teachers' professional development of web-based learning in the community are; the possibility to learn from colleagues and from everyday working practices, an emotionally safe atmosphere, the leader's personal support and community-level commitment. Also, the flexibility in work planning, challenging pupils, shared lessons with colleagues, training events in an authentic work environment and colleagues' professionalism are considered meaningful for professional development. As challenges, the knowledge sharing of web-based learning in the community needs mutual interests, transactive memory, time and facilities, peer support, a safe atmosphere and meaningful pedagogical practices. On the basis of the findings of the study it is suggested that by intensive collaboration related to web-based learning it may be possible to break the boundaries of individual teachership and create such sociocultural activities which support collaborative professional development in the teacher community. Teachers' in-service training programs should be more sensitive to the culture of teacher communities and teachers' reciprocal relations. Further, teacher trainers should design teachers' in-service training of web-based learning in co-evolution with supporting networks which include the media and artefacts as well as people.

Systemtheorie als Strukturwissenschaft: Vermittlerin zwischen Praxis und Forschung

Im Wettstreit systemtheoretischer Ansätze für klinische und psychotherapeutische Arbeit, sei es in Praxis oder Forschung, wird oft der synergetische Ansatz als »naturwissenschaftlich« gekennzeichnet – nicht selten mit einem pejorativen Unterton, dass er damit für nicht-naturwissenschaftliche Fragen weniger gut geeignet sei. Die Autoren zeigen hingegen auf, dass synergetische Systemtheorie als Strukturwissenschaft zu verstehen ist: Sie kann zwar auf Gegenstände des naturwissenschaftlichen Bereiches angewendet werden, genauso gut aber auch auf Prozesse, bei denen es um Sinn, Bedeutung, Narration, Interaktion etc. geht. Dialogisch erarbeiten die Autoren dabei Aspekte, die ihnen an der synergetischen Systemtheorie besonders wichtig sind, und erörtern, welche zentralen Fragen damit beantwortet bzw. untersucht werden können. Insbesondere wird diskutiert, was eine »strukturwissenschaftliche« Perspektive eigentlich meint und warum ein solcher Ansatz sowohl für Fragen der Forschung als auch der Praxis besonders geeignet erscheint.

From school to work: A comprehensive model of work-related motivation in the transition to working life.

Motivation is a core concept to understand work related outcomes and vocational pursuits. However, existing research mostly focused on specific aspects of motivation, such as goals or self-efficacy beliefs, while falling short of adequately addressing more complex and integrative notions of motivation. Advancing the current state of research, we draw from Motivational Systems Theory and a model of proactive motivation to propose a comprehensive model of work-related motivation. Specifically, we define motivation as a system of mutually related factors consisting of goals, emotions, and personal agency beliefs, comprised by capability beliefs and context evaluations. Adapting this model of motivation to the school-to-work transition, we postulate that this motivational system is affected by different social, personal, and environmental variables, for example social support, the presence of role-models, personality traits, and scholastic achievement. We further expect that students with more autonomous work-related goals, expectations of more positive emotional experiences in their future working life, fewer perceived barriers to their career development, and higher work-related self-efficacy beliefs would be more successful in their transition from school to work. We also propose that goal-directed engagement acts as a partial mediator in the relationship between motivation and a successful transition. Finally, we hypothesize that work-related motivation while in school will have meaningful effects on positive outcomes while in vocational training, as represented by more work engagement, higher career commitment, job satisfaction, and lower intentions to quit training. In sum, we advance the point that the adaptation of a broader concept of work-related motivation in the school-to-work transition would result in more powerful predictions of success in this transition and would enhance scientific research and interventions in career development and counselling practice.

Career adaptability development in adolescence: Multiple prdictors and effect on sense of power and life satisfaction

This longitudinal panel study investigated predictors of career adaptability development and its effect on development of sense of power and experience of life satisfaction among 330 Swiss eighth graders. A multivariate measure of career adaptability consisting of career choice readiness, planning, exploration, and confidence was applied. Based on Motivational Systems Theory four groups of predictors were assessed: positive emotional disposition, goal decidedness, capability beliefs and social context beliefs. Influence of gender, age, immigration background, parental educational level, and college-bound or vocational education plans were also assessed. Perceived social support and positive emotional disposition, non-immigration background, and continuing to vocational education were single significant predictors of more career adaptability development over the school year. Supporting the connection of career adaptability and positive youth development, increase in career adaptability over time predicted increase in sense of power and experience of life satisfaction.

Dichotomous Hamiltonians with unbounded entries and solutions of Riccati equations

An operator Riccati equation from systems theory is considered in the case that all entries of the associated Hamiltonian are unbounded. Using a certain dichotomy property of the Hamiltonian and its symmetry with respect to two different indefinite inner products, we prove the existence of nonnegative and nonpositive solutions of the Riccati equation. Moreover, conditions for the boundedness and uniqueness of these solutions are established.

A Dynamical Tool to Study the Cultural Context of Conflict Escalation

The present article describes research in progress which is developing a simple, replicable methodology aimed at identifying the regularities and specificity of human behavior in conflict escalation and de-escalation prooesses. These research efforts will ultimately be used to study conflict dynamics across cultures. The experimental data collected through this methodology, together with case studies and aggregated, time-series macro data are key for identifying relevant parameters, systems' properties, and micromechanisms defining the behavior of naturally occurring conflict escalation and de-escalation dynamics. This, in turn, is critical for the development of realistic, empirically supported computational models. The article outlines the theoretical assumptions of Dynamical Systems Theory with regard to conflict dynamics, with an emphasis on the process of conflict escalation and de-escalation. Next, work on a methodology for empirical study of escalation processes from a DST perspective is outlined. Specifically, the development of a progressive scenario methodology designed to map escalation sequences, together with anexample of a preliminary study based on the proposed researcb paradigm, is presented. Implications of the approach for the study of culture are discussed.

The utility of rapid participatory appraisal for community assessment, diagnosis, and policy development

The selection of a model to guide the understanding and resolution of community problems is an important issue relating to the foundation of public health practice: assessment, policy development, and assurance. Many assessment models produce a diagnosis of community weaknesses, but fail to promote planning and interventions. Rapid Participatory Appraisal (RPA) is a participatory action research model which regards assessment as the first step in the problem solving process, and claims to achieve assessment and policy development within limited resources of time and money. Literature documenting the fulfillment of these claims, and thereby supporting the utility of the model, is relatively sparse and difficult to obtain. Very few articles discuss the changes resulting from RPA assessments in urban areas, and those that do describe studies conducted outside the U.S.A. ^ This study examines the utility of the RPA model and its underlying theories: systems theory, grounded theory, and principles of participatory change, as illustrated by the case study of a community assessment conducted for the Texas Diabetes Institute (TDI), San Antonio, Texas, and subsequent outcomes. Diabetes has a high prevalence and is a major issue in San Antonio. Faculty and students conducted the assessment by informal collaboration between two nursing and public health assessment courses, providing practical student experiences. The study area was large, and the flexibility of the model tested by its use in contiguous sub-regions, reanalyzing aggregated results for the study area. Official TDI reports, and a mail survey of agency employees, described policy development resulting from community diagnoses revealed by the assessment. ^ The RPA model met the criteria for utility from the perspectives of merit, worth, efficiency, and effectiveness. The RPA model best met the agencies' criteria (merit), met the data needs of TDI in this particular situation (worth), provided valid results within budget, time, and personnel constraints (efficiency), and stimulated policy development by TDI (effectiveness). ^ The RPA model appears to have utility for community assessment, diagnosis, and policy development in circumstances similar to the TDI diabetes study. ^

Los vínculos de intercambio entre el noreste de Africa y el Levante (ca.3400 - 3000 a.C.)

El estudio de los vínculos entre distintas comunidades generó diversos modelos teóricos e interpretaciones que fueron desarrollados para el estudio de las relaciones de intercambio existentes entre las poblaciones antiguas. En general, estas posturas teóricas se pueden diferenciar entre las que se concentran específicamente en los vínculos de intercambio establecidos entre distintas comunidades y diferentes áreas, y las que analizan el efecto de ellos en los procesos internos de una comunidad. En este trabajo nos enfocamos en el primer aspecto, ya que nuestro objeto es abordar las relaciones de intercambio existentes desde la Alta Nubia hasta el Levante, atravesando Baja Nubia, Alto Egipto y Bajo Egipto durante el período que se extiende desde el 3400 a.C al 3000 a.C., aplicando la teoría sistema-mundo y los análisis de los sistemas-mundo

Los vínculos de intercambio entre el noreste de Africa y el Levante (ca.3400 - 3000 a.C.)

El estudio de los vínculos entre distintas comunidades generó diversos modelos teóricos e interpretaciones que fueron desarrollados para el estudio de las relaciones de intercambio existentes entre las poblaciones antiguas. En general, estas posturas teóricas se pueden diferenciar entre las que se concentran específicamente en los vínculos de intercambio establecidos entre distintas comunidades y diferentes áreas, y las que analizan el efecto de ellos en los procesos internos de una comunidad. En este trabajo nos enfocamos en el primer aspecto, ya que nuestro objeto es abordar las relaciones de intercambio existentes desde la Alta Nubia hasta el Levante, atravesando Baja Nubia, Alto Egipto y Bajo Egipto durante el período que se extiende desde el 3400 a.C al 3000 a.C., aplicando la teoría sistema-mundo y los análisis de los sistemas-mundo

Los vínculos de intercambio entre el noreste de Africa y el Levante (ca.3400 - 3000 a.C.)

El estudio de los vínculos entre distintas comunidades generó diversos modelos teóricos e interpretaciones que fueron desarrollados para el estudio de las relaciones de intercambio existentes entre las poblaciones antiguas. En general, estas posturas teóricas se pueden diferenciar entre las que se concentran específicamente en los vínculos de intercambio establecidos entre distintas comunidades y diferentes áreas, y las que analizan el efecto de ellos en los procesos internos de una comunidad. En este trabajo nos enfocamos en el primer aspecto, ya que nuestro objeto es abordar las relaciones de intercambio existentes desde la Alta Nubia hasta el Levante, atravesando Baja Nubia, Alto Egipto y Bajo Egipto durante el período que se extiende desde el 3400 a.C al 3000 a.C., aplicando la teoría sistema-mundo y los análisis de los sistemas-mundo