Embedded systems are application specific digital systems that are usually designed using a microprocessor along with a set of programmable hardware and software components. Since these systems are real-time in nature, specification of temporal constraints is a key issue. We have recently proposed the CFSMcharts language for component-based specification of these systems. However, this proposal...

Simple Temporal Networks (STN) allow conjunctions of minimum and maximum distance constraints between pairs of temporal positions to be represented. This paper introduces an extension of STN called Time–dependent STN (TSTN), which covers temporal constraints for which the minimum and maximum distances required between two temporal positions x and y are not necessarily constant but may depend on...

A technique is presented for verifying real-time system speciications. A visual conceptual modeling language called ECM is used as a real-time speciication language. Speciications are translated into augmented Petri nets with timing and temporal logic constraints. A reachability tree of legal system states is generated from the timing constraints in the Petri net. Past temporal logic constraint...

The aim of this paper is an integration of graph grammars with diierent kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic semantics of graph transformation systems is not able to express constrained behaviour we introduce-in analogy to other approaches-a coalgebraic semantics which associates with each system a category of models (determi...

One of the major representational problems in massively parallel or connectionist models is the difficulty of representing temporal constraints. Temporal constraints are important and crucial sources of information for event perception in general. This paper describes a novel scheme which provides massively parallel models with the ability to represent and recognize temporal constraints such as...

In some temporal reasoning systems, inequations can give rise to disjunctions of inequa-tions when variable elimination is performed. Motivated by this observation, we extend previous research on temporal constraints by considering disjunctions of inequations (under the assumption that time is dense.) We present results on consistency checking, canonical forms and variable elimination for this ...

In this thesis we consider different problems arising in the context of planning the movement of objects. The common aspect of these problems is the interaction of spatial and temporal constraints. The three main problems analyzed are: ∙ The first problem is a pursuit-evasion problem where some lions have the task to clear a grid graph whose nodes are initially contaminated. The contamination s...

State space equations that constrain the values of related variables within individual states are often used in models of continuous dynamical systems such as ordinary differential equations . These models do not allow the representation of non-local information constraining the behavior of the system across time except through the application of continuity . Qualitative simulation (Kuipers, 19...

Representing temporal knowledge and information in temporal logics for ontologies and conceptual data models has faced issues due to inaccessibility of the underlying logic and limited intuitiveness of diagrammatic extensions to the modelling languages. We aim to address this by designing controlled natural language templates for generating sentences that verbalise in English the temporal const...