Axiomatisation and decidability of multi-dimensional Duration Calculus

DOI10.1016/J.IC.2006.08.005zbMATH Open1109.68069OpenAlexW2003825675MaRDI QIDQ868026FDOQ868026

N. E. Zubov

Publication date: 19 February 2007

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2006.08.005

Recommendations

• Theoretical Aspects of Computing - ICTAC 2004
• Specification and verification of mobile real-time systems.
• Spatio-temporal Model Checking for Mobile Real-Time Systems
• scientific article; zbMATH DE number 1950253
• scientific article; zbMATH DE number 512815

zbMATH Keywords

real-time systemstemporal logicspatial logicmobile systemsDuration Calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Formal Methods for the Design of Real-Time Systems
• Title not available (Why is that?)
• A theory of timed automata
• Many-dimensional modal logics: theory and applications
• Duration calculus. A formal approach to real-time systems.
• Title not available (Why is that?)
• A really temporal logic
• Lectures on Concurrency and Petri Nets
• Symbolic model checking for real-time systems
• Hybrid languages
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning
• A calculus of durations
• A spatial logic for concurrency. I
• Mobile ambients
• Hybrid systems
• Model checking mobile ambients
• Title not available (Why is that?)
• Anytime, anywhere
• On axiomatizability within a system
• Title not available (Why is that?)
• A multiprocess network logic with temporal and spatial modalities
• Duration calculus: Logical foundations
• PLC-automata: A new class of implementable real-time automata
• Model-checking dense-time duration calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theoretical Aspects of Computing - ICTAC 2004

Cited In (7)

• Spatio-temporal Model Checking for Mobile Real-Time Systems
• Specification and verification of mobile real-time systems.
• Take It NP-Easy: Bounded Model Construction for Duration Calculus
• Hitting time and dimension in axiom A systems, generic interval exchanges and an application to Birkoff sums
• Decidability of a hybrid duration calculus
• Proving Safety of Traffic Manoeuvres on Country Roads
• A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus

Uses Software

• Kronos
• SLMC
• Uppaal
• MONA
• UniForM
• DCVALID

This page was built for publication: Axiomatisation and decidability of multi-dimensional Duration Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q868026)