title: Synthesis equivalence of triples

authors: Mohajerani, Sahar

subjects: computer science

abstract: This working paper describes a framework for compositional supervisor synthesis, which is applicable to all discrete event systems modelled as a set of deterministic automata. Compositional synthesis exploits the modular structure of the input model, and therefore works best for models consisting of a large number of small automata. State-space explosion is mitigated by the use of abstraction to simplify individual components, and the property of synthesis equivalence guarantees that the final synthesis result is the same as it would have been for the non-abstracted model. The working paper describes synthesis equivalent abstractions and shows their use in an algorithm to compute supervisors efficiently. The algorithm has been implemented in the DES software tool Supremica and successfully computes modular supervisors, even for systems with more than 1014 reachable states, in less than 30 seconds.

text: Synthesis equivalence of triples This working paper describes a framework for compositional supervisor synthesis, which is applicable to all discrete event systems modelled as a set of deterministic automata. Compositional synthesis exploits the modular structure of the input model, and therefore works best for models consisting of a large number of small automata. State-space explosion is mitigated by the use of abstraction to simplify individual components, and the property of synthesis equivalence guarantees that the final synthesis result is the same as it would have been for the non-abstracted model. The working paper describes synthesis equivalent abstractions and shows their use in an algorithm to compute supervisors efficiently. The algorithm has been implemented in the DES software tool Supremica and successfully computes modular supervisors, even for systems with more than 1014 reachable states, in less than 30 seconds.

year: 2012-09-19

title: Unheard voices: Adults with ADHD in Aotearoa New Zealand

authors: Murray, Amy Jo

subjects: attention-deficit/hyperactivity disorder

abstract: Attention-deficit/hyperactivity disorder (ADHD) is a well-researched condition within multiple editions of the Diagnostic and statistical manual of mental disorders (DSM). Historically, ADHD was believed to be a childhood condition that typically diminished in adolescence. However, current research confirms that not only does ADHD often continue into adulthood, but its impact also has a cumulative effect over the lifespan. Consequently, adults not diagnosed in childhood are a growing demographic of ADHD diagnoses. Within this growing demographic, there is little research on the lived experiences of adults with ADHD, and none were found in Aotearoa New Zealand. The purpose of this study was to explore the similar and differing lived and ableist experiences between groups of adults who were diagnosed with ADHD in childhood, adolescence, adulthood, and those who suspect they have ADHD. Data were collected from eight participants (two from each diagnosis group) using online survey software and online one-to-one interviews. The study used a mixed-method design, and data were interpreted using hermeneutic phenomenology and critical disability theory frameworks to explore participants' lived experiences with ADHD. Findings revealed some differences in life trajectories and between-group experiences of participants with diagnosed or suspected ADHD. However, most experiences revealed a commonality centred around feelings of frustration, rejection, shame, and the lack of personal agency. These experiences and normative social discourses prompted participants to actively police and mask their behaviours and ADHD characteristics. Participants reported lacking crucial knowledge to navigate life internally and externally with ADHD due to the absence of relevant guidance and support. The impact of these internal and external difficulties was compounded by the ableism they faced related to their ADHD. Early ADHD diagnosis followed by comprehensive ADHD information and support within the broader community, i.e. educators and health professionals, would have facilitated more positive lived experiences according to participants. This study indicates that early information, treatment, and support could mitigate the unseen personal toll associated with having ADHD. Additionally, the results highlight the need for further research to understand better the most needed supports and how they might best be made available.

text: Unheard voices: Adults with ADHD in Aotearoa New Zealand Attention-deficit/hyperactivity disorder (ADHD) is a well-researched condition within multiple editions of the Diagnostic and statistical manual of mental disorders (DSM). Historically, ADHD was believed to be a childhood condition that typically diminished in adolescence. However, current research confirms that not only does ADHD often continue into adulthood, but its impact also has a cumulative effect over the lifespan. Consequently, adults not diagnosed in childhood are a growing demographic of ADHD diagnoses. Within this growing demographic, there is little research on the lived experiences of adults with ADHD, and none were found in Aotearoa New Zealand. The purpose of this study was to explore the similar and differing lived and ableist experiences between groups of adults who were diagnosed with ADHD in childhood, adolescence, adulthood, and those who suspect they have ADHD. Data were collected from eight participants (two from each diagnosis group) using online survey software and online one-to-one interviews. The study used a mixed-method design, and data were interpreted using hermeneutic phenomenology and critical disability theory frameworks to explore participants' lived experiences with ADHD. Findings revealed some differences in life trajectories and between-group experiences of participants with diagnosed or suspected ADHD. However, most experiences revealed a commonality centred around feelings of frustration, rejection, shame, and the lack of personal agency. These experiences and normative social discourses prompted participants to actively police and mask their behaviours and ADHD characteristics. Participants reported lacking crucial knowledge to navigate life internally and externally with ADHD due to the absence of relevant guidance and support. The impact of these internal and external difficulties was compounded by the ableism they faced related to their ADHD. Early ADHD diagnosis followed by comprehensive ADHD information and support within the broader community, i.e. educators and health professionals, would have facilitated more positive lived experiences according to participants. This study indicates that early information, treatment, and support could mitigate the unseen personal toll associated with having ADHD. Additionally, the results highlight the need for further research to understand better the most needed supports and how they might best be made available.

year: 2021

title: A proposed hauora Māori clinical guide for psychologists: Using the hui process and meihana model in clinical assessment and formulation

authors: Pitama, Suzanne G.

subjects: Māori

abstract: This paper documents a joint initiative of clinical practice educators from four tertiary institutions and their engagement in the design and development of a proposed Hauora Māori Clinical Guide for Psychologists, which outlines how to apply the Hui Process and Meihana Model to applied psychology. It describes the ability for this proposed Hauora Maori Clinical Guide for Psychologists to assist clinicians, professional psychology training programmes and institutions in meeting the expectations of the Health Practitioners Act and The New Zealand Psychologists Board’s (NZPB) Standards and Procedures document. It presents how this proposed guide can support the implementation of clinical and cultural competence and the Code of Ethics for Psychologists Working in New Zealand. It also provides an opportunity for the psychology profession to demonstrate responsivity to Te Tiriti o Waitangi obligations.

text: A proposed hauora Māori clinical guide for psychologists: Using the hui process and meihana model in clinical assessment and formulation This paper documents a joint initiative of clinical practice educators from four tertiary institutions and their engagement in the design and development of a proposed Hauora Māori Clinical Guide for Psychologists, which outlines how to apply the Hui Process and Meihana Model to applied psychology. It describes the ability for this proposed Hauora Maori Clinical Guide for Psychologists to assist clinicians, professional psychology training programmes and institutions in meeting the expectations of the Health Practitioners Act and The New Zealand Psychologists Board’s (NZPB) Standards and Procedures document. It presents how this proposed guide can support the implementation of clinical and cultural competence and the Code of Ethics for Psychologists Working in New Zealand. It also provides an opportunity for the psychology profession to demonstrate responsivity to Te Tiriti o Waitangi obligations.

year: 2017