title: Incremental verification and synthesis of discrete-event systems guided by counter-examples

authors: Brandin, Bertil A.

subjects: computer science

abstract: This article presents new approaches to system verification and synthesis based on subsystem verification and the novel combined use of counterexamples and heuristics to identify suitable subsystems incrementally. The scope of safety properties considered is limited to behavioral inclusion and controllability. The verification examples considered provide a comparison of the approaches presented with straightforward state exploration and an understanding of their applicability in an industrial context.

text: Incremental verification and synthesis of discrete-event systems guided by counter-examples This article presents new approaches to system verification and synthesis based on subsystem verification and the novel combined use of counterexamples and heuristics to identify suitable subsystems incrementally. The scope of safety properties considered is limited to behavioral inclusion and controllability. The verification examples considered provide a comparison of the approaches presented with straightforward state exploration and an understanding of their applicability in an industrial context.

year: 2004

title: Modular Supervisor Synthesis for Extended Finite-State Machines Subject to Controllability

authors: Malik, Robi

subjects: Science & Technology

abstract: This paper proposes an algorithm for the synthesis of modular supervisors using extended finite-state machines, i.e., state machines with variables and guards on the transitions. Synthesis is performed by iteratively selecting components from a synchronous composition until a least restrictive controllable solution is obtained. This method is usually faster and produces smaller supervisors than standard monolithic synthesis, while offering the modelling benefits of variables. An example of manufacturing system control illustrates the approach.

text: Modular Supervisor Synthesis for Extended Finite-State Machines Subject to Controllability This paper proposes an algorithm for the synthesis of modular supervisors using extended finite-state machines, i.e., state machines with variables and guards on the transitions. Synthesis is performed by iteratively selecting components from a synchronous composition until a least restrictive controllable solution is obtained. This method is usually faster and produces smaller supervisors than standard monolithic synthesis, while offering the modelling benefits of variables. An example of manufacturing system control illustrates the approach.

year: 2016-01-01

title: Beyond Pākehā paralysis: Exploring the journeys & experiences of Pākehā allyship in psychology

authors: Stolte, Ottilie Emma Elisabeth

abstract: The monocultural foundation of psychology is interwoven with the colonial history of Aotearoa New Zealand. Not all of the mahi of decolonising psychology is the responsibility of Māori. In Aotearoa, there is currently less literature around the development of racial justice allyship and how Pākehā (as the dominant majority) can work towards honouring Te Tiriti o Waitangi. This paper draws on interviews with three Pākehā allies who have taken actions towards greater inclusion of Māori and raising awareness of systemic injustices and racial disparities. The objective of this paper is to document the understandings shared by these ‘reluctant allies’, focusing on the challenges, possibilities, and suggestions for a more culturally relevant psychological education and practice for Aotearoa New Zealand.

text: Beyond Pākehā paralysis: Exploring the journeys & experiences of Pākehā allyship in psychology The monocultural foundation of psychology is interwoven with the colonial history of Aotearoa New Zealand. Not all of the mahi of decolonising psychology is the responsibility of Māori. In Aotearoa, there is currently less literature around the development of racial justice allyship and how Pākehā (as the dominant majority) can work towards honouring Te Tiriti o Waitangi. This paper draws on interviews with three Pākehā allies who have taken actions towards greater inclusion of Māori and raising awareness of systemic injustices and racial disparities. The objective of this paper is to document the understandings shared by these ‘reluctant allies’, focusing on the challenges, possibilities, and suggestions for a more culturally relevant psychological education and practice for Aotearoa New Zealand.

year: 2025