Axiomatisation and Decidability of Multi-dimensional Duration Calculus

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Andreas Schäfer

12th International Symposium on Temporal Representation and Reasoning (TIME'05)

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TIME.2005.15

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.