loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th International Symposium on Temporal Representation and Reasoning (TIME'05)
Axiomatisation and Decidability of Multi-dimensional Duration Calculus
Burlington, Vermont
June 23-June 25
ISBN: 0-7695-2370-6
ASCII Text
x 
 
Andreas Schäfer, "Axiomatisation and Decidability of Multi-dimensional Duration Calculus," Temporal Representation and Reasoning, International Syposium on, pp. 122-130, 12th International Symposium on Temporal Representation and Reasoning (TIME'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/TIME.2005.15,
author = {Andreas Schäfer},
title = {Axiomatisation and Decidability of Multi-dimensional Duration Calculus},
journal ={Temporal Representation and Reasoning, International Syposium on},
volume = {0},
year = {2005},
issn = {1530-1311},
pages = {122-130},
doi = {http://doi.ieeecomputersociety.org/10.1109/TIME.2005.15},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Temporal Representation and Reasoning, International Syposium on
TI - Axiomatisation and Decidability of Multi-dimensional Duration Calculus
SN - 1530-1311
SP122
EP130
A1 - Andreas Schäfer,
PY - 2005
KW - Real-time systems
KW - mobile systems
KW - spatial logic
KW - temporal logic
KW - Duration Calculus
VL - 0
JA - Temporal Representation and Reasoning, International Syposium on
ER -
 
Andreas Schäfer, University of Oldenburg
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.
Index Terms:
Real-time systems, mobile systems, spatial logic, temporal logic, Duration Calculus
Citation:
Andreas Schäfer, "Axiomatisation and Decidability of Multi-dimensional Duration Calculus," time, pp.122-130, 12th International Symposium on Temporal Representation and Reasoning (TIME'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.