Search

• < Previous
• 1
• Next >

---

Refinement and Difference for Probabilistic Automata

Benoît Delahaye ; Uli Fahrenberg ; Kim G. Larsen ; Axel Legay.

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 specification APA that represents all witness PAs of&nbsp;[&hellip;]

---

An $\omega$-Algebra for Real-Time Energy Problems

David Cachera ; Uli Fahrenberg ; Axel Legay.

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. Using recent results on $^*$-continuous Kleene&nbsp;[&hellip;]

---

Sculptures in Concurrency

Uli Fahrenberg ; Christian Johansen ; Christopher A. Trotter ; Krzysztof Ziemiański.

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 result of this paper is that not all HDA can be&nbsp;[&hellip;]

---