title: Discussion

authors: Groot, Shiloh Ann Maree

abstract: Guy standing’s words have served as the launching point from which this book began. The book is a call for us all to renew our commitment and dedication to building diverse and powerful movements for a secure, stable and equitable society. To do so we must address inequality, as all peoples within our communities experience it. The book offers a revived purpose: not to surrender to economic and social practices as if they were inevitable and immutable but rather to pursue a common security that would enhance our communities.

text: Discussion Guy standing’s words have served as the launching point from which this book began. The book is a call for us all to renew our commitment and dedication to building diverse and powerful movements for a secure, stable and equitable society. To do so we must address inequality, as all peoples within our communities experience it. The book offers a revived purpose: not to surrender to economic and social practices as if they were inevitable and immutable but rather to pursue a common security that would enhance our communities.

year: 2017

title: Robust stutter bisimulation for abstraction and controller synthesis with disturbance

authors: Krook, Jonas

subjects: controller synthesis

abstract: This paper proposes a method to synthesise controllers for cyber-physical systems subjected to disturbances, such that the controlled system satisfies specifications given as linear temporal logic formulas. To solve this problem, a finite-state abstraction of the original system is first constructed, and then a controller is synthesised for the abstraction. Due to the disturbances and uncertainty in the environment, future states cannot be predicted exactly, and the abstraction must take this into account. For this purpose, the robust stutter bisimulation relation is introduced, which preserves the existence of controllers for any given linear temporal logic formula that excludes the next operator. States are related by the robust stutter bisimulation relation if the same target sets can be guaranteed to be reached or avoided under control of some controller, thus ensuring that disturbances have similar effect on paths that start in related states. It is shown that there exists a controller enforcing a linear temporal logic formula for the original system if and only if a controller exists for the abstracted system. The approach is illustrated by a robot navigation example.

text: Robust stutter bisimulation for abstraction and controller synthesis with disturbance This paper proposes a method to synthesise controllers for cyber-physical systems subjected to disturbances, such that the controlled system satisfies specifications given as linear temporal logic formulas. To solve this problem, a finite-state abstraction of the original system is first constructed, and then a controller is synthesised for the abstraction. Due to the disturbances and uncertainty in the environment, future states cannot be predicted exactly, and the abstraction must take this into account. For this purpose, the robust stutter bisimulation relation is introduced, which preserves the existence of controllers for any given linear temporal logic formula that excludes the next operator. States are related by the robust stutter bisimulation relation if the same target sets can be guaranteed to be reached or avoided under control of some controller, thus ensuring that disturbances have similar effect on paths that start in related states. It is shown that there exists a controller enforcing a linear temporal logic formula for the original system if and only if a controller exists for the abstracted system. The approach is illustrated by a robot navigation example.

year: 2023

title: He Pikinga Waiora Kimi Ora lifestyle programme: Case study of a successful community-based indigenous diabetes intervention

authors: Masters-Awatere, Bridgette

subjects: adult

abstract: AIM: To co-design and implement a whānau-centred, community-based lifestyle programme (Kimi Ora) intended to ensure no worsening of HbA1c and to improve wellbeing for Māori whānau and communities with diabetes or pre-diabetes. 

METHODS: Māori healthcare providers, community members, research advisors and wider stakeholders used a co-design process underpinned by He Pikinga Waiora to collaboratively develop and implement Kimi Ora Control group comparisons and participants were recruited from Te Kōhao Health. Multi-method monitoring and collection captured individual, whānau and community data. 

RESULTS: Kimi Ora was run in two communities in Aotearoa New Zealand. In total, there were 35 participants who took part in an eight-week programme offered five times alongside a comparison group comprising 21 participants. Kimi Ora resulted in significant improvements on all biomedical measures compared to baseline, and participants had gains relative to the comparison group for variables including weight, BMI, blood pressure and waist measurement. Of particular note was the 100% retention rate and sustained community support for Kimi Ora.

CONCLUSIONS: Outcomes from Kimi Ora demonstrate this programme, which was actively tailored for and worked with Māori communities in a responsive and flexible manner, resulted in successful biomedical outcomes, high engagement and high retention.

text: He Pikinga Waiora Kimi Ora lifestyle programme: Case study of a successful community-based indigenous diabetes intervention AIM: To co-design and implement a whānau-centred, community-based lifestyle programme (Kimi Ora) intended to ensure no worsening of HbA1c and to improve wellbeing for Māori whānau and communities with diabetes or pre-diabetes. 

METHODS: Māori healthcare providers, community members, research advisors and wider stakeholders used a co-design process underpinned by He Pikinga Waiora to collaboratively develop and implement Kimi Ora Control group comparisons and participants were recruited from Te Kōhao Health. Multi-method monitoring and collection captured individual, whānau and community data. 

RESULTS: Kimi Ora was run in two communities in Aotearoa New Zealand. In total, there were 35 participants who took part in an eight-week programme offered five times alongside a comparison group comprising 21 participants. Kimi Ora resulted in significant improvements on all biomedical measures compared to baseline, and participants had gains relative to the comparison group for variables including weight, BMI, blood pressure and waist measurement. Of particular note was the 100% retention rate and sustained community support for Kimi Ora.

CONCLUSIONS: Outcomes from Kimi Ora demonstrate this programme, which was actively tailored for and worked with Māori communities in a responsive and flexible manner, resulted in successful biomedical outcomes, high engagement and high retention.

year: 2021