Real-time and Probabilistic Temporal Logics: An Overview

Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for the formal specification of real-time and complex systems, an up to date comprehensive analysis of these logics does not exist in the literature. In this paper we analyse real-time and probabilistic temporal logics which have been widely used in this field. We extrapolate the notions of decidability, axiomatizability, expressiveness, model checking, etc. for each logic analysed. We also provide a comparison of features of the temporal logics discussed

Some remarks on modified power entropy

The aim of this note is to point out some observations concerning modified power entropy of $\Z$- and $\N$-actions. First, we provide an elementary example showing that this quantity is sensitive to transient dynamics, and therefore does not satisfy a variational principle. Further, we show that modified power entropy is not suitable to detect the break of equicontinuity which takes place during the transition from almost periodic to almost automorphic minimal systems. In this respect, it differs from power entropy and amorphic complexity, which are two further topological invariants for zero entropy systems (`slow entropies'). Finally, we construct an example of an irregular Toeplitz flow with zero modified power entropy.Comment: 17 pages, to appear in AMS Contemporary Mathematics serie

Governance for sustainability: learning from VSM practice

Purpose – While there is some agreement on the usefulness of systems and complexity approaches to tackle the sustainability challenges facing the organisations and governments in the twenty-first century, less is clear regarding the way such approaches can inspire new ways of governance for sustainability. The purpose of this paper is to progress ongoing research using the Viable System Model (VSM) as a meta-language to facilitate long-term sustainability in business, communities and societies, using the “Methodology to support self-transformation”, by focusing on ways of learning about governance for sustainability. Design/methodology/approach – It summarises core self-governance challenges for long-term sustainability, and the organisational capabilities required to face them, at the “Framework for Assessing Sustainable Governance”. This tool is then used to analyse capabilities for governance for sustainability at three real situations where the mentioned Methodology inspired bottom up processes of self-organisation. It analyses the transformations decided from each organisation, in terms of capabilities for sustainable governance, using the suggested Framework. Findings – Core technical lessons learned from using the framework are discussed, include the usefulness of using a unified language and tool when studying governance for sustainability in differing types and scales of case study organisations. Research limitations/implications – As with other exploratory research, it reckons the convenience for further development and testing of the proposed tools to improve their reliability and robustness. Practical implications – A final conclusion suggests that the suggested tools offer a useful heuristic path to learn about governance for sustainability, from a VSM perspective; the learning from each organisational self-transformation regarding governance for sustainability is insightful for policy and strategy design and evaluation; in particular the possibility of comparing situations from different scales and types of organisations. Originality/value – There is very little coherence in the governance literature and the field of governance for sustainability is an emerging field. This piece of exploratory research is valuable as it presents an effective tool to learn about governance for sustainability, based in the “Methodology for Self-Transformation”; and offers reflexions on applications of the methodology and the tool, that contribute to clarify the meaning of governance for sustainability in practice, in organisations from different scales and types

Theory of deferred action: Agent-based simulation model for designing complex adaptive systems

Deferred action is the axiom that agents act in emergent organisation to achieve predetermined goals. Enabling deferred action in designed artificial complex adaptive systems like business organisations and IS is problematical. Emergence is an intractable problem for designers because it cannot be predicted. We develop proof-of-concept, conceptual proto-agent model, of emergent organisation and emergent IS to understand better design principles to enable deferred action as a mechanism for coping with emergence in artefacts. We focus on understanding the effect of emergence when designing artificial complex adaptive systems by developing an exploratory proto-agent model and evaluate its suitability for implementation as agent-based simulation

The chaotic nature of healthcare information systems: The need for transdisciplinary collaboration

Copyright @ 2013 EMCIS.This paper demonstrates one of the challenges of the healthcare information systems development, namely the chaotic nature of healthcare systems. Although the reliable evidence demonstrating the positive effects of health information systems on safety and quality remains inconclusive (a growing body of research revealing the unintended consequences and potentially error producing effects of health information systems’ implementation. Different arguments from the literature concerning the chaotic nature of healthcare, including but not limited to the nature of patients and disease have been presented. The requirements of new ways of systems design and the need for transdisciplinary dynamic teams within the requirements engineering phase as a start has been discussed. These arguments have been investigated in the context of an exploratory case addressing one of the advanced oncology centres in the US. This paper concludes that there is an important need to rethink healthcare information systems development method, which has to be in a dynamic ongoing manner for some major issues