This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start out by introducing an extension of the (priced) timed automata model that includes both costs and rewards as separate modelling features. A precise definition is then given of what constitutes optimal infinite behaviours for t...

Let M be a 2-torsion free prime Γ-ring satisfying the condition a α b β c=a β b α c,∀a,b,c∈M and α,β∈Γ, U be an admissible Lie ideal of M and F=(f i ) i∈N be a generalized higher (U,M)-derivation of M with an associated higher (U,M)-derivation D=(d i ) i∈N of M. Then for all n∈N we prove that [Formula: see text]. Mathematics Subject Classification (2010): 13N15; 16W10; 17C50.

Techniques for the verification of structural invariants in graph transformation systems typically rely on the derivation of negative application conditions that are attached to graph transformation rules in order to avoid the runtime occurrence of forbidden structural patterns in the system model. In this paper, we propose a practical approach for this derivation process, which produces the re...

We study momentum space dispersion formulas in general QFTs and their applications for CFT correlation functions. show, using two independent methods, that QFT can be written terms of causal commutators. The first derivation uses analyticity properties retarded correlators space. second the largest time equation defining time-ordered product. At four points we show formula depends on same doubl...

A bstract The generators of radial conformal symmetries in Minkowski space-time can be mapped to the time evolution quantum mechanics. Within this correspondence we show that mechanics state associated inertial vacuum has structure a thermofield double. Such is built from bipartite “vacuum state”, ground hyperbolic evolution, which cover only part domain. When restricted finite domain one obtai...

In this paper, we introduce the notions of $(odot, oplus)$-derivations and $(ominus, odot)$-derivations for $MV$-algebras and discuss some related results. We study the connection between these derivations on an $MV$-algebra $A$ and the derivations on its boolean center. We characterize the isotone $(odot, oplus)$-derivations and prove that $(ominus, odot)$-derivations are isotone. Finally we d...