CLIMA
2007
13 years 6 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
ISSS
1997
IEEE
13 years 8 months ago
1997
IEEE
We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Auto...
STACS
1999
Springer
13 years 9 months ago
1999
Springer
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the spe...
STACS
2010
Springer
13 years 10 months ago
2010
Springer
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
ISPDC
2003
IEEE
13 years 10 months ago
2003
IEEE
The paper describes ITW – a multi-platform and multilanguage architecture used to discover (multimedia) resources. The ITW system is based on Web services and software agents, e...
TIME
2005
IEEE
13 years 10 months ago
2005
IEEE
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. Aft...
TABLEAUX
2007
Springer
13 years 11 months ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...