Synchronous composition of interval weighted automata using tensor algebra of product semirings
نویسندگان
چکیده
Interval weighted automata are introduced as automata with weights in a product dioid (idempotent semiring). They constitute an extension of (max,+) automata since they enable us to model temporal constraints (instead of exact durations) for transitions. Their synchronous composition, that coincides with the synchronous product of underlying (one clock) timed automata, results in multi-event interval weighted automata, whose behaviors are studied. Our approach is illustrated by examples.
منابع مشابه
Synchronous composition of interval weighted automata
Interval weighted automata are introduced as automata with weights in a product dioid (idempotent semiring). They constitute an extension of (max,+) automata since they enable us to model temporal constraints (instead of exact durations) for transitions. Their synchronous composition, which coincides with the synchronous product of underlying (one clock) timed automata, results in multi-event i...
متن کاملOn strongly Jordan zero-product preserving maps
In this paper, we give a characterization of strongly Jordan zero-product preserving maps on normed algebras as a generalization of Jordan zero-product preserving maps. In this direction, we give some illustrative examples to show that the notions of strongly zero-product preserving maps and strongly Jordan zero-product preserving maps are completely different. Also, we prove that the direct p...
متن کاملWeighted Tree Automata over Strong Bimonoids
We consider weighted tree automata over strong bimonoids which are, roughly speaking, semirings without distributivity. We prove sufficient and necessary conditions under which the initial algebra semantics and the run semantics of these automata coincide. We prove closure properties of the class of recognizable tree series, a determinization result, and a characterization of recognizable step ...
متن کاملLukasiewicz Logic and Weighted Logics over MV-Semirings
We connect Lukasiewicz logic, a well-established many-valued logic, with weighted logics, recently introduced by Droste and Gastin. We use this connection to show that for formal series with coefficients in semirings derived from MValgebras, recognizability and definability in a fragment of second order Lukasiewicz logic coincide.
متن کاملPositive Cone in $p$-Operator Projective Tensor Product of Fig`a-Talamanca-Herz Algebras
In this paper we define an order structure on the $p$-operator projective tensor product of Herz algebras and we show that the canonical isometric isomorphism between $A_p(Gtimes H)$ and $A_p(G)widehat{otimes}^p A_p(H)$ is an order isomorphism for amenable groups $G$ and $H$.
متن کامل