AbstractThe denotational semantics of a deterministic timed system can be described by a function F:(T→V)→(T→V) with T partially ordered. The semantics of a feedback loop then is usually defined by a special (unique) fixed point of F but it is not always obvious that such a fixed point exists. This paper proves that every function F in the very general class of strictly causal functions has a unique fixed point
We consider discrete-time dynamical systems generated by a strictly non-Volterra quadratic stochasti...
The behaviour and interaction of finite limits (products, pullbacks and equalisers) and colimits (co...
In this paper, we define a variant of temporal logic that is designed to capture the temporal and c...
AbstractThe denotational semantics of a deterministic timed system can be described by a function F:...
We ask whether strictly causal components form well defined systems when arranged in feedback config...
Abstract — Deterministic timed systems can be modeled as fixed point problems [15], [16], [4]. In pa...
AbstractGiven is an ordered set in which every chain has an upper bound and every pair of elements h...
Given is an ordered set in which every chain has an upper bound and every pair of elements has a gre...
We consider timed system behaviors seen as functions acting over streams of timed events (timed stre...
If one applies the standard definition of time invariance to systems whose input and output spaces c...
AbstractThis paper presents a simplification and generalisation of Barren's “Fixed point theory of u...
AbstractAn important class of timed transition systems can be modeled by deterministic weighted auto...
Contains fulltext : 60275.pdf (preprint version ) (Open Access) ...
A differential geometric approach based on the gap metric is taken to examine the uniqueness of solu...
In \cite{Andreka}, a large number of completeness results about variants of discrete linear-time tem...
We consider discrete-time dynamical systems generated by a strictly non-Volterra quadratic stochasti...
The behaviour and interaction of finite limits (products, pullbacks and equalisers) and colimits (co...
In this paper, we define a variant of temporal logic that is designed to capture the temporal and c...
AbstractThe denotational semantics of a deterministic timed system can be described by a function F:...
We ask whether strictly causal components form well defined systems when arranged in feedback config...
Abstract — Deterministic timed systems can be modeled as fixed point problems [15], [16], [4]. In pa...
AbstractGiven is an ordered set in which every chain has an upper bound and every pair of elements h...
Given is an ordered set in which every chain has an upper bound and every pair of elements has a gre...
We consider timed system behaviors seen as functions acting over streams of timed events (timed stre...
If one applies the standard definition of time invariance to systems whose input and output spaces c...
AbstractThis paper presents a simplification and generalisation of Barren's “Fixed point theory of u...
AbstractAn important class of timed transition systems can be modeled by deterministic weighted auto...
Contains fulltext : 60275.pdf (preprint version ) (Open Access) ...
A differential geometric approach based on the gap metric is taken to examine the uniqueness of solu...
In \cite{Andreka}, a large number of completeness results about variants of discrete linear-time tem...
We consider discrete-time dynamical systems generated by a strictly non-Volterra quadratic stochasti...
The behaviour and interaction of finite limits (products, pullbacks and equalisers) and colimits (co...
In this paper, we define a variant of temporal logic that is designed to capture the temporal and c...
DOI
Add to ORKG