title: A survey on compositional algorithms for verification and synthesis in supervisory control

authors: Malik, Robi

subjects: software engineering

abstract: This survey gives an overview of the current research on compositional algorithms for verification and synthesis of modular systems modelled as interacting finite-state machines. Compositional algorithms operate by repeatedly simplifying individual components of a large system, replacing them by smaller so-called abstractions, while preserving critical properties. In this way, the exponential growth of the state space can be limited, making it possible to analyse much bigger state spaces than possible by standard state space exploration. This paper gives an introduction to the principles underlying compositional methods, followed by a survey of algorithmic solutions from the recent literature that use compositional methods to analyse systems automatically. The focus is on applications in supervisory control of discrete event systems, particularly on methods that verify critical properties or synthesise controllable and nonblocking supervisors.

text: A survey on compositional algorithms for verification and synthesis in supervisory control This survey gives an overview of the current research on compositional algorithms for verification and synthesis of modular systems modelled as interacting finite-state machines. Compositional algorithms operate by repeatedly simplifying individual components of a large system, replacing them by smaller so-called abstractions, while preserving critical properties. In this way, the exponential growth of the state space can be limited, making it possible to analyse much bigger state spaces than possible by standard state space exploration. This paper gives an introduction to the principles underlying compositional methods, followed by a survey of algorithmic solutions from the recent literature that use compositional methods to analyse systems automatically. The focus is on applications in supervisory control of discrete event systems, particularly on methods that verify critical properties or synthesise controllable and nonblocking supervisors.

year: 2023-08-21

title: Scaling the mountain to principalship in New Zealand: The enablers and barriers in a female principal’s journey

authors: Mortimer, Samantha

abstract: This chapter describes the journey to school principalship of a New Zealand woman committed to making a difference for the students with whom she worked. Janet described her journey into and through leadership. She identified the enablers and barriers she experienced along the way and the identity work that enabled her to gain her first position as a school principal. Janet acknowledged the impact of gender, being a wife, and being a mother to a school-aged child, and the gender-specific expectations others have of principals, as barriers in her journey.

text: Scaling the mountain to principalship in New Zealand: The enablers and barriers in a female principal’s journey This chapter describes the journey to school principalship of a New Zealand woman committed to making a difference for the students with whom she worked. Janet described her journey into and through leadership. She identified the enablers and barriers she experienced along the way and the identity work that enabled her to gain her first position as a school principal. Janet acknowledged the impact of gender, being a wife, and being a mother to a school-aged child, and the gender-specific expectations others have of principals, as barriers in her journey.

year: 2018

title: Te Aka Roa o Te Oranga, the far reaching vines of wellness: The development of a framework to evaluate alcohol and drug treatment for Māori

authors: Robertson, Paul

subjects: Maori

abstract: The impact of alcohol and other drug
problems for Māori is well documented.
Substance use has been implicated in a
range of physical and mental health
problems, and a variety of negative social
statistics such as high rates of imprisonment. To date there has been
little systematic documentation of treatment
practices, and limited operationalisation of
Māori health frameworks. The evaluation
of the outcomes of alcohol and other drug
treatments is an area in which there is a
paucity of documentation, in terms of
methods and frameworks for evaluation,
and actual data. Te Aka Roa O Te Oranga (TAROTO)
was developed from a range of projects
undertaken by the National Addiction
Centre. The TARATO evaluation framework
embraces a holistic perspective: developed
to examine the interaction between the
client, whānau, practitioner, and
service/organisation. The aim of the
framework is to clarify the complex
relationships and interactions between
stakeholders within the context of
treatment. It will also help to elucidate the
strengths and weaknesses of individual
services. Within this framework, a range of
indicators and outcomes of “successful
treatment” will be explored. The current project is the first phase of
a broader project that will make a
significant contribution to improvements in
Māori health via further developing
effective treatments of alcohol and other
drug related problems.

text: Te Aka Roa o Te Oranga, the far reaching vines of wellness: The development of a framework to evaluate alcohol and drug treatment for Māori The impact of alcohol and other drug
problems for Māori is well documented.
Substance use has been implicated in a
range of physical and mental health
problems, and a variety of negative social
statistics such as high rates of imprisonment. To date there has been
little systematic documentation of treatment
practices, and limited operationalisation of
Māori health frameworks. The evaluation
of the outcomes of alcohol and other drug
treatments is an area in which there is a
paucity of documentation, in terms of
methods and frameworks for evaluation,
and actual data. Te Aka Roa O Te Oranga (TAROTO)
was developed from a range of projects
undertaken by the National Addiction
Centre. The TARATO evaluation framework
embraces a holistic perspective: developed
to examine the interaction between the
client, whānau, practitioner, and
service/organisation. The aim of the
framework is to clarify the complex
relationships and interactions between
stakeholders within the context of
treatment. It will also help to elucidate the
strengths and weaknesses of individual
services. Within this framework, a range of
indicators and outcomes of “successful
treatment” will be explored. The current project is the first phase of
a broader project that will make a
significant contribution to improvements in
Māori health via further developing
effective treatments of alcohol and other
drug related problems.

year: 2003