title: Certainly Unsupervisable States

authors: Ware, Simon

abstract: This paper proposes an abstraction method for compositional synthesis. Synthesis is a method to automatically compute a control program or supervisor that restricts the behaviour of a given system to ensure safety and liveness. Compositional synthesis uses repeated abstraction and simplification to combat the state-space explosion problem for large systems. The abstraction method proposed in this paper finds and removes the so-called certainly unsupervisable states. By removing these states at an early stage, the final state space can be reduced substantially. The paper describes an algorithm with cubic time complexity to compute the largest possible set of removable states. A practical example demonstrates the feasibility of the method to solve real-world problems.

text: Certainly Unsupervisable States This paper proposes an abstraction method for compositional synthesis. Synthesis is a method to automatically compute a control program or supervisor that restricts the behaviour of a given system to ensure safety and liveness. Compositional synthesis uses repeated abstraction and simplification to combat the state-space explosion problem for large systems. The abstraction method proposed in this paper finds and removes the so-called certainly unsupervisable states. By removing these states at an early stage, the final state space can be reduced substantially. The paper describes an algorithm with cubic time complexity to compute the largest possible set of removable states. A practical example demonstrates the feasibility of the method to solve real-world problems.

year: 2014

title: “To dream of a wildness distant from ourselves”: Capitalism, colonialism, and the Robinsonade

authors: Pepperell, Nicole

subjects: Charles Mills

abstract: Daniel Defoe’s novel Robinson Crusoe holds an iconic position, not solely as a work of literature, but also for its influence in economic and social theory. This article reflects on this influence by mobilising Charles Mills’ concept of epistemologies of ignorance and Lorenzo Veracini’s work on psychological defence mechanisms in settler colonial societies. This theoretical framework motivates a close textual analysis of Robinson Crusoe that focuses particularly on four textual strategies: paired contrasts between Xury and Friday that frame enslavement as a sacrificial act; strategic use of “cosmopolitan” ideals; a theory of subjection as the foundation for legitimate power; and moral relativisms that rationalise Crusoe’s theft of Indigenous land. This analysis then provides the foundation for an original interpretation of Marx’s Capital as a critically inverted Robinsonade: one designed to demonstrate how global relations of colonial expropriation generate a crucible in which a particular imaginary of autonomous individuality is forged.

text: “To dream of a wildness distant from ourselves”: Capitalism, colonialism, and the Robinsonade Daniel Defoe’s novel Robinson Crusoe holds an iconic position, not solely as a work of literature, but also for its influence in economic and social theory. This article reflects on this influence by mobilising Charles Mills’ concept of epistemologies of ignorance and Lorenzo Veracini’s work on psychological defence mechanisms in settler colonial societies. This theoretical framework motivates a close textual analysis of Robinson Crusoe that focuses particularly on four textual strategies: paired contrasts between Xury and Friday that frame enslavement as a sacrificial act; strategic use of “cosmopolitan” ideals; a theory of subjection as the foundation for legitimate power; and moral relativisms that rationalise Crusoe’s theft of Indigenous land. This analysis then provides the foundation for an original interpretation of Marx’s Capital as a critically inverted Robinsonade: one designed to demonstrate how global relations of colonial expropriation generate a crucible in which a particular imaginary of autonomous individuality is forged.

year: 2023-09-06

title: Our Place in New Zealand Culture: How the Museum of New Zealand Constructs Biculturalism

authors: Goldsmith, Michael

subjects: museum

abstract: The Museum of New Zealand Te Papa Tongarewa opened in 1998 amidst controversy but has been a huge popular success and has become an icon of national identity. The controversy was confined to elite circles and stemmed from criticisms of the contrasting ways in which Maori and Pakeha (European) cultural items were displayed — the former in a reverential manner and the latter as a kind of 'amusement arcade' of supposedly incoherent, temporary and mocking exhibits. Through an analysis of these displays and of the representations surrounding them, this paper argues that the sacred/profane dichotomy promulgated by the Museum may be open to argument but is probably an inescapable feature of the official policy of biculturalism in a postcolonial setting.

text: Our Place in New Zealand Culture: How the Museum of New Zealand Constructs Biculturalism The Museum of New Zealand Te Papa Tongarewa opened in 1998 amidst controversy but has been a huge popular success and has become an icon of national identity. The controversy was confined to elite circles and stemmed from criticisms of the contrasting ways in which Maori and Pakeha (European) cultural items were displayed — the former in a reverential manner and the latter as a kind of 'amusement arcade' of supposedly incoherent, temporary and mocking exhibits. Through an analysis of these displays and of the representations surrounding them, this paper argues that the sacred/profane dichotomy promulgated by the Museum may be open to argument but is probably an inescapable feature of the official policy of biculturalism in a postcolonial setting.

year: 2003