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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3385963
بازگشت