Probabilistic behavior is omnipresent in computer-controlled systems, particular, so-called safety-critical hybrid due to various reasons, like uncertain environments or fundamental properties of nature. In this paper, we extend the existing process algebra ACP[Formula: see text] with probability without sacrificing nondeterministic choice operator. The approximate probabilistic bisimulation re...

Stochastic HYPE is a novel process algebra that models stochastic, instantaneous and continuous behaviour. It develops the flow-based approach of the hybrid process algebra HYPE by replacing non-urgent events with events with exponentially-distributed durations and also introduces random resets. The random resets allow for general stochasticity, and in particular allow for the use of event dura...

Hybrid organizations face the fundamental challenge of building legitimacy. To deal with this in administrative theory and practice, we apply an analytical framework following organizational logic legitimacy to exemplary case hybridity—the Swiss Institute for Translational Entrepreneurial Medicine. Our application illustrates that pragmatic (i.e., establishing instrumental value) must be built ...

Abstract The current study presents a novel Tailored Forming process chain developed for the production of hybrid bearing bushings. In first step, semi-finished products in form locally reinforced hollow profiles were produced using new co-extrusion process. For this purpose, modular tool concept was which steel tube made case-hardening steel, either C15 (AISI 1015) or 20MnCr5 5120), is fed lat...

We study the cooling of hybrid stars coupling with spin-down. Due to the spindown of hybrid stars, the interior density continuously increases, different neutrino reactions may be triggered(from the modified Urca process to the quark and nucleon direct Urca process) at different stages of evolution. We calculate the rate of neutrino emissivity of different reactions and simulate the cooling cur...

We begin by reviewing a technique to approximate the dynamics of stochastic programs—written in a stochastic process algebra—by a hybrid system, suitable to capture a mixed discrete/continuous evolution. In a nutshell, the discrete dynamics is kept stochastic while the continuous evolution is given in terms of ODEs, and the overall technique, therefore, naturally associates a Piecewise Determin...