title: Progressive events in supervisory control and compositional verification

authors: Ware, Simon

subjects: controller constraints and structure

abstract: This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results. To address such cases, the paper introduces progressive events as a means to specify more precisely how a synthesised supervisor should complete its tasks. The nonblocking property is modified to take progressive events into account, and appropriate methods for verification and synthesis are proposed. Experiments show that progressive events can be used in the analysis of industrial-scale systems, and can expose issues that remain undetected by standard nonblocking verification.

text: Progressive events in supervisory control and compositional verification This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results. To address such cases, the paper introduces progressive events as a means to specify more precisely how a synthesised supervisor should complete its tasks. The nonblocking property is modified to take progressive events into account, and appropriate methods for verification and synthesis are proposed. Experiments show that progressive events can be used in the analysis of industrial-scale systems, and can expose issues that remain undetected by standard nonblocking verification.

year: 2014-08

title: Hawke’s Bay forearc basin (eastern North Island, New Zealand): Stratigraphy, biostratigraphy, chronology, geological maps and paleogeography

authors: Bland, Kyle J.

abstract: This report documents the results of analysis of the late Neogene forearc basin in central Hawke’s Bay, eastern North Island (Hikurangi subduction margin), New Zealand. This analysis is based on new 1:50,000-scale geological maps of the succession exposed in outcrop in central Hawke’s Bay, which are reproduced here as six sheets (Enclosures 3 & 4). The analysis builds on detailed stratigraphic and facies descriptions of the Late Miocene (Tongaporutuan) to Pleistocene (Castlecliffian) basin fill (see also Bland et al. 2007; Kamp et al. 2008), its biostratigraphy and chronology, which are integrated here. The history of Late Neogene basin development is summarised in a series of paleogeographic maps.

text: Hawke’s Bay forearc basin (eastern North Island, New Zealand): Stratigraphy, biostratigraphy, chronology, geological maps and paleogeography This report documents the results of analysis of the late Neogene forearc basin in central Hawke’s Bay, eastern North Island (Hikurangi subduction margin), New Zealand. This analysis is based on new 1:50,000-scale geological maps of the succession exposed in outcrop in central Hawke’s Bay, which are reproduced here as six sheets (Enclosures 3 & 4). The analysis builds on detailed stratigraphic and facies descriptions of the Late Miocene (Tongaporutuan) to Pleistocene (Castlecliffian) basin fill (see also Bland et al. 2007; Kamp et al. 2008), its biostratigraphy and chronology, which are integrated here. The history of Late Neogene basin development is summarised in a series of paleogeographic maps.

year: 2014

title: Ngā wāhine ariki tapairu o Te Arawa: Te Kuraimonoa, Kearoa, Whakaotirangi

authors: Retikaukau, Georgia-Louise

subjects: Te Arawa

abstract: Similar to many other iwi (tribes) in Aotearoa, the Arawa people have a rich ancestral heritage that traces back to our origins in Hawaiki through our esteemed canoe traditions. However, within these narratives, the prominence of our heroic male ancestors tends to overshadow the stories of their wives, who are often mentioned merely as secondary characters. Te Kuraimonoa, Kearoa, and Whakaotirangi represent the first three women to be named in Te Arawa traditions, yet their narratives remain vague, existing only from a male perspective. Although their names can be found scattered throughout European and Māori literature, their stories are fragmented and incomplete, varying from tribe to tribe.

The objective of this research is to delve into these three ancestresses' lives from a Te Arawa female perspective, aiming to provide a more comprehensive and nuanced understanding. Employing a mixed-method research approach, this study will investigate Māori and European literature, supplemented by thematical analysis to study and compare data gathered from interviews with female Te Arawa descendants. The insights gained from this endeavour will contribute to the creation of substantial knowledge that can benefit both present and future generations.

Comprising of seven chapters, this thesis unfolds as follows: Chapter one introduces the research purpose and provides an overview of the subsequent chapters. Chapter two outlines the research methodology employed. Chapter three presents an in-depth exploration of Te Arawa iwi, elucidating their significance and cultural context. Chapter four encompasses a comprehensive literature review, while chapter five is solely dedicated to the insights derived from the interview dialogues. Chapter six delves into the findings and engages in detailed discussions, offering a comprehensive analysis. Lastly, chapter seven serves as the conclusion, summarizing the key findings and their implications.

text: Ngā wāhine ariki tapairu o Te Arawa: Te Kuraimonoa, Kearoa, Whakaotirangi Similar to many other iwi (tribes) in Aotearoa, the Arawa people have a rich ancestral heritage that traces back to our origins in Hawaiki through our esteemed canoe traditions. However, within these narratives, the prominence of our heroic male ancestors tends to overshadow the stories of their wives, who are often mentioned merely as secondary characters. Te Kuraimonoa, Kearoa, and Whakaotirangi represent the first three women to be named in Te Arawa traditions, yet their narratives remain vague, existing only from a male perspective. Although their names can be found scattered throughout European and Māori literature, their stories are fragmented and incomplete, varying from tribe to tribe.

The objective of this research is to delve into these three ancestresses' lives from a Te Arawa female perspective, aiming to provide a more comprehensive and nuanced understanding. Employing a mixed-method research approach, this study will investigate Māori and European literature, supplemented by thematical analysis to study and compare data gathered from interviews with female Te Arawa descendants. The insights gained from this endeavour will contribute to the creation of substantial knowledge that can benefit both present and future generations.

Comprising of seven chapters, this thesis unfolds as follows: Chapter one introduces the research purpose and provides an overview of the subsequent chapters. Chapter two outlines the research methodology employed. Chapter three presents an in-depth exploration of Te Arawa iwi, elucidating their significance and cultural context. Chapter four encompasses a comprehensive literature review, while chapter five is solely dedicated to the insights derived from the interview dialogues. Chapter six delves into the findings and engages in detailed discussions, offering a comprehensive analysis. Lastly, chapter seven serves as the conclusion, summarizing the key findings and their implications.

year: 2023