Axiomatisation and Decidability of Multi-dimensional Duration Calculus

Authors:
Andreas Schafer
Affiliations:
University of Oldenburg
Venue:
TIME '05 Proceedings of the 12th International Symposium on Temporal Representation and Reasoning
Year:
2005

Citing 0
Cited 2

Axiomatisation and decidability of multi-dimensional Duration Calculus

Information and Computation
Spatio-temporal model checking for mobile real-time systems

ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. After showing non-axiomatisability, we give a complete embedding in n-dimensional interval temporal logic and present two different decidable subsets, which are important for tool support and practical use.