Abstract
In this paper, a timed modal logic L c is presented for the specification and verification of real-time systems. Several important results for L c are discussed. First we address the model checking problem and we show that it is an EXPTIME-complete problem. Secondly we consider expressiveness and we explain how to express strong timed bisimilarity and how to build characteristic formulas for timed automata. We also propose a compositional algorithm for L c model checking. Finally we consider several control problems for which L c can be used to check controllability
Keywords Model checking  Timed automata  Timed modal logic  Timed control
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10849-010-9127-4
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,232
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Well (and Better) Quasi-Ordered Transition Systems.Parosh Aziz Abdulla - 2010 - Bulletin of Symbolic Logic 16 (4):457-515.
Visually Timed Action: Time-Out for Tau?James R. Tresilian - 1999 - Trends in Cognitive Sciences 3 (8):301-310.
Polyadic Dynamic Logics for Hpsg Parsing.Anders Søgaard & Martin Lange - 2009 - Journal of Logic, Language and Information 18 (2):159-198.
Adaptive Timing, Attention, and Movement Control.Stephen Grossberg - 1997 - Behavioral and Brain Sciences 20 (4):619-619.
The Unity of the Senses.Em Von Hornbostel - 1927 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 4 (28):1-6.
Why Not Socialism? [REVIEW]Andy Lamey - 2010 - The Literary Review of Canada (June).

Analytics

Added to PP index
2013-11-22

Total views
24 ( #407,629 of 2,329,886 )

Recent downloads (6 months)
1 ( #582,921 of 2,329,886 )

How can I increase my downloads?

Downloads

My notes