title: Nonblocking and safe control of discrete-event systems modeled as extended finite automata

authors: Ouedraogo, L.

subjects: discrete event-systems

abstract: Extended Finite Automata (EFA), i.e., finite automata extended with variables, are a suitable modeling framework for discrete event systems owing to their compactness, resulting from the use of variables. In this paper, we propose a symbolic algorithm that efficiently synthesizes a supervisor for a plant modeled by an EFA and a specification defined by another EFA. The principle of the algorithm is to iteratively strengthen the guards of the plant EFA so that forbidden or blocking states become unreachable in the controlled plant. As a consequence of the algorithm, the controlled behavior is modeled by an EFA having the same structure as the plant EFA, having stronger guards and is shown to be maximally permissive. We illustrate our algorithm via a simple manufacturing example.

text: Nonblocking and safe control of discrete-event systems modeled as extended finite automata Extended Finite Automata (EFA), i.e., finite automata extended with variables, are a suitable modeling framework for discrete event systems owing to their compactness, resulting from the use of variables. In this paper, we propose a symbolic algorithm that efficiently synthesizes a supervisor for a plant modeled by an EFA and a specification defined by another EFA. The principle of the algorithm is to iteratively strengthen the guards of the plant EFA so that forbidden or blocking states become unreachable in the controlled plant. As a consequence of the algorithm, the controlled behavior is modeled by an EFA having the same structure as the plant EFA, having stronger guards and is shown to be maximally permissive. We illustrate our algorithm via a simple manufacturing example.

year: 2011

title: ASEAN-New Zealand trade relations and trade potential

authors: Bano, Sayeeda

subjects: international trade

abstract: This paper explores trade development by the Association of South East Asian Nations (ASEAN) with a particular reference to New Zealand and in the context of free trade agreements and partnerships. It describes the history of ASEAN, its trade composition, diversity and intensity. The paper includes an analysis of Kojima indices of trade intensities, the trade potential index and a gravity trade model using panel data and multivariate analysis. Hypotheses derived from trade theories are then tested to identify the key determinants of trade and the implications for policy. Overall, the study shows that economic integration has had a positive impact on ASEAN nations and with New Zealand and with ongoing potential.

text: ASEAN-New Zealand trade relations and trade potential This paper explores trade development by the Association of South East Asian Nations (ASEAN) with a particular reference to New Zealand and in the context of free trade agreements and partnerships. It describes the history of ASEAN, its trade composition, diversity and intensity. The paper includes an analysis of Kojima indices of trade intensities, the trade potential index and a gravity trade model using panel data and multivariate analysis. Hypotheses derived from trade theories are then tested to identify the key determinants of trade and the implications for policy. Overall, the study shows that economic integration has had a positive impact on ASEAN nations and with New Zealand and with ongoing potential.

year: 2010-04

title: Different coloured tears: Dual cultural identity and Tangihanga

authors: Edge, Kiri

subjects: bereavement

abstract: Although whānau/family that are configured by both Pākehā and Māori identities number significantly within New Zealand, there has been little or no attention paid to the ways in which these identities influence the bereavement processes that will inevitably impact upon the lives of these whānau/family. The present study explored the experiences of an individual, whose whānau/family included two life ways: Māori and Pākehā. Of specific focus was the ways in which these identities influenced his bereavement subsequent to the death of his beloved wife, who was of Māori descent. One elderly male Pākehā participant was interviewed, using an open ended narrative approach. The interview was semi-structured around five broad themes, but the focus was upon the participant’s experiences and his preference in expressing these. The data analysis utilised a thematic process which allowed the participant’s experiences to determine the emergent themes. The results depicted the diversity of issues that may be raised for dual cultural whānau/family within bereavement processes. Two central themes are discussed in relation to intercultural conflict and the eventual resolution that was created. Decision-making processes, cultural and language differences played significant roles within the conflict and exclusion experienced by the participant. Communication and compromise provided resolution to the prior conflicts experienced. This created positive and unexpected outcomes which resulted in increased understandings and the strengthening of links between the participant, his whānau/family and his wife’s marae.

text: Different coloured tears: Dual cultural identity and Tangihanga Although whānau/family that are configured by both Pākehā and Māori identities number significantly within New Zealand, there has been little or no attention paid to the ways in which these identities influence the bereavement processes that will inevitably impact upon the lives of these whānau/family. The present study explored the experiences of an individual, whose whānau/family included two life ways: Māori and Pākehā. Of specific focus was the ways in which these identities influenced his bereavement subsequent to the death of his beloved wife, who was of Māori descent. One elderly male Pākehā participant was interviewed, using an open ended narrative approach. The interview was semi-structured around five broad themes, but the focus was upon the participant’s experiences and his preference in expressing these. The data analysis utilised a thematic process which allowed the participant’s experiences to determine the emergent themes. The results depicted the diversity of issues that may be raised for dual cultural whānau/family within bereavement processes. Two central themes are discussed in relation to intercultural conflict and the eventual resolution that was created. Decision-making processes, cultural and language differences played significant roles within the conflict and exclusion experienced by the participant. Communication and compromise provided resolution to the prior conflicts experienced. This created positive and unexpected outcomes which resulted in increased understandings and the strengthening of links between the participant, his whānau/family and his wife’s marae.

year: 2011