title: Compositional synthesis of discrete event systems using synthesis abstraction

authors: Mohajerani, Sahar

subjects: computer science

abstract: This paper proposes a general method to synthesize a least restrictive supervisor for a large discrete event system model, consisting of a large number of arbitrary automata representing the plants and specifications. A new type of abstraction called synthesis abstraction is introduced and three rules are proposed to calculate an abstraction of a given automaton. Furthermore, a compositional algorithm for synthesizing a supervisor for large-scale systems of composed finite-state automata is proposed. In the proposed algorithm, the synchronous composition is computed step by step and intermediate results are simplified according to synthesis abstraction. Then a supervisor for the abstracted system is calculated, which in combination with the original system gives the least restrictive, nonblocking, and controllable behaviour.

text: Compositional synthesis of discrete event systems using synthesis abstraction This paper proposes a general method to synthesize a least restrictive supervisor for a large discrete event system model, consisting of a large number of arbitrary automata representing the plants and specifications. A new type of abstraction called synthesis abstraction is introduced and three rules are proposed to calculate an abstraction of a given automaton. Furthermore, a compositional algorithm for synthesizing a supervisor for large-scale systems of composed finite-state automata is proposed. In the proposed algorithm, the synchronous composition is computed step by step and intermediate results are simplified according to synthesis abstraction. Then a supervisor for the abstracted system is calculated, which in combination with the original system gives the least restrictive, nonblocking, and controllable behaviour.

year: 2011

title: Supporting collaboration among healthcare professionals and disease surveillance in remote areas

authors: Luz, Saturnino

abstract: It is estimated that global climate change and regional land use and cover changes in the Amazon region will contribute to the spread of vector-borne diseases such as bartonellosis and leishmaniasis. The large geographical distances and the sparsity of human settlements in the region pose challenges to the collaboration among health professionals whose goals range from diagnosing diseases to monitoring their spread. This paper presents work in progress on a system to support the tasks of local healthcare professionals and enabling collection, compilation, sharing and visualisation of data for purposes of epidemiological research and disease surveillance in remote regions.

text: Supporting collaboration among healthcare professionals and disease surveillance in remote areas It is estimated that global climate change and regional land use and cover changes in the Amazon region will contribute to the spread of vector-borne diseases such as bartonellosis and leishmaniasis. The large geographical distances and the sparsity of human settlements in the region pose challenges to the collaboration among health professionals whose goals range from diagnosing diseases to monitoring their spread. This paper presents work in progress on a system to support the tasks of local healthcare professionals and enabling collection, compilation, sharing and visualisation of data for purposes of epidemiological research and disease surveillance in remote regions.

year: 2012-06-20

title: Governance and legitimacy: Indigenous development in Aotearoa

authors: Dodd, Materoa

subjects: Māori governance

abstract: Within the indigenous paradigm lies a paradox over what constitutes legitimate Māori authority: Iwi structures are legitimated and recognised by the state, and traditional forms (for example, Hapū and Māori women), have had their authority diminished. Iwi authorities are colonial constructs that diminish the rights of Hapū and Māori women. The manner in which such constructs have come about generally has not involved tribewide debate over important issues in which Hapū and Māori women have an interest. For their legitimacy, emergent self-governing structures will need to be grounded in principles that ensure legitimate representation of Māori people and not socially constructed hybrids of a colonial past. Structures need to recognise Hapū and Māori women in the formulation, anything less than this will trigger a legitimation crisis.

text: Governance and legitimacy: Indigenous development in Aotearoa Within the indigenous paradigm lies a paradox over what constitutes legitimate Māori authority: Iwi structures are legitimated and recognised by the state, and traditional forms (for example, Hapū and Māori women), have had their authority diminished. Iwi authorities are colonial constructs that diminish the rights of Hapū and Māori women. The manner in which such constructs have come about generally has not involved tribewide debate over important issues in which Hapū and Māori women have an interest. For their legitimacy, emergent self-governing structures will need to be grounded in principles that ensure legitimate representation of Māori people and not socially constructed hybrids of a colonial past. Structures need to recognise Hapū and Māori women in the formulation, anything less than this will trigger a legitimation crisis.

year: 2000-10