DocumentCode
3385963
Title
Axiomatisation and decidability of multi-dimensional duration calculus
Author
Schäfer, Andreas
Author_Institution
Dept. of Comput. Sci., Oldenburg Univ., Germany
fYear
2005
fDate
23-25 June 2005
Firstpage
122
Lastpage
130
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.
Keywords
calculus; decidability; formal specification; formal verification; mobile computing; real-time systems; temporal logic; axiomatisation; decidability; duration calculus; formal specification; formal verification; mobile real-time systems; mobile systems; spatial logic; spatio-temporal logic; temporal logic; Air traffic control; Automatic control; Calculus; Embedded system; Logic; Mobile computing; Mobile robots; Orbital robotics; Real time systems; Shape; Duration Calculus; Real-time systems; mobile systems; spatial logic; temporal logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 2005. TIME 2005. 12th International Symposium on
ISSN
1530-1311
Print_ISBN
0-7695-2370-6
Type
conf
DOI
10.1109/TIME.2005.15
Filename
1443359
Link To Document