Zobrazeno 1 - 10
of 72
pro vyhledávání: '"Uli Fahrenberg"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 17, Issue 2 (2021)
We give a formalization of Pratt's intuitive sculpting process for higher-dimensional automata (HDA). Intuitively, an HDA is a sculpture if it can be embedded in (i.e., sculpted from) a single higher dimensional cell (hypercube). A first important re
Externí odkaz:
https://doaj.org/article/d2947ca53bd3400ca20951217cda190f
Publikováno v:
Logical Methods in Computer Science, Vol Volume 15, Issue 2 (2019)
We develop a $^*$-continuous Kleene $\omega$-algebra of real-time energy functions. Together with corresponding automata, these can be used to model systems which can consume and regain energy (or other types of resources) depending on available time
Externí odkaz:
https://doaj.org/article/7491bf8f6bb74e578e3db8a683b8735b
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 191, Iss Proc. FICS 2015, Pp 48-59 (2015)
Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on star-continuous Kleene omega-algebras, we show here that energy problems can be solved by algebraic manipulations on the transition matrix
Externí odkaz:
https://doaj.org/article/4d70eb6dd1754cc39fd927627ed3eb66
Autor:
Uli Fahrenberg, Axel Legay
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 87, Iss Proc. FIT 2012, Pp 5-16 (2012)
In a series of recent work, we have introduced a general framework for quantitative reasoning in specification theories. The contribution of this paper is to show how this framework can be applied to yield a robust specification theory for timed spec
Externí odkaz:
https://doaj.org/article/b79e82548f6e405d880723ad2f90bf1f
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 57, Iss Proc. QAPL 2011, Pp 134-147 (2011)
We develop a general framework for reasoning about distances between transition systems with quantitative information. Taking as starting point an arbitrary distance on system traces, we show how this leads to natural definitions of a linear and a br
Externí odkaz:
https://doaj.org/article/fb6812f9f9ea401b9d7d0631f9085e7d
Publikováno v:
Logical Methods in Computer Science, Vol Volume 10, Issue 3 (2014)
This paper studies a difference operator for stochastic systems whose specifications are represented by Abstract Probabilistic Automata (APAs). In the case refinement fails between two specifications, the target of this operator is to produce a speci
Externí odkaz:
https://doaj.org/article/ff49804158e94e009e7c107eda1bf7e6
Publikováno v:
Algebra universalis. 84
We show how modal quantales arise as convolution algebras $$Q^X$$ Q X of functions from catoids X, multisemigroups equipped with source and target maps, into modal quantales value or weight quantales Q. In the tradition of boolean algebras with opera
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::225bbcf637cc14879c087f073a91ac6d
https://doi.org/10.1007/s00012-023-00805-9
https://doi.org/10.1007/s00012-023-00805-9
Publikováno v:
Formal Methods ISBN: 9783031274800
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::706c14369ca8d27d3238a523b92a4c55
https://doi.org/10.1007/978-3-031-27481-7_14
https://doi.org/10.1007/978-3-031-27481-7_14
Autor:
Uli Fahrenberg, Krzysztof Ziemiański
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783031336195
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::61b63708ac8ef467f0d56b5042b21883
https://doi.org/10.1007/978-3-031-33620-1_9
https://doi.org/10.1007/978-3-031-33620-1_9
Publikováno v:
Acta Cybernetica.
Domain operations on semirings have been axiomatised in two different ways: by a map from an additively idempotent semiring into a boolean subalgebra of the semiring bounded by the additive and multiplicative unit of the semiring, or by an endofuncti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d9051348bf9844ab3ec4a1456d517d0
https://doi.org/10.14232/actacyb.291111
https://doi.org/10.14232/actacyb.291111