Search Results - "Buchholz, Peter"

Scheduling Algorithms for a Hybrid Flow Shop under Uncertainty by Schumacher, Christin, Buchholz, Peter

“…In modern production systems, scheduling problems have to be solved in consideration of frequently changing demands and varying production parameters. This…”
Get full text

Assessing the long-term supply risks for mineral raw materials—a combined evaluation of past and future trends by Rosenau-Tornow, Dirk, Buchholz, Peter, Riemann, Axel, Wagner, Markus

“…This paper develops a method for identifying and assessing long-term supply risks for mineral raw materials. The method is based on a combined evaluation of…”
Get full text

Equivalence and Minimization for Model Checking Labeled Markov Chains by Buchholz, Peter, Kriege, Jan, Scheftelowitsch, Dimitri

“…Model checking of Markov chains using logics like CSL or asCSL proves whether a logical formula holds for a state of the Markov chain. It has been developed in…”
Get full text

Optimal decisions in stochastic graphs with uncorrelated and correlated edge weights by Buchholz, Peter, Dohndorf, Iryna

“…Stochastic graph models and algorithms for the computation of different stochastic shortest path problems (SSPPs) continue to play an important role in various…”
Get full text

Surrogate Models for Markov Reward Models with Uncertain Parameters by Buchholz, Peter

“…Markov Reward Models are widely used for performance or dependability analysis. Usually parameters of these models are assumed to be exactly known, results can…”
Get full text

Bisimulation relations for weighted automata by Buchholz, Peter

“…Bisimulation is a well known equivalence relation for discrete event systems and has been extended to probabilistic and stochastic systems. This paper…”
Get full text

Demand, Supply, and Price Trends for Mineral Raw Materials Relevant to the Renewable Energy Transition Wind Energy, Solar Photovoltaic Energy, and Energy Storage by Buchholz, Peter, Brandenburg, Torsten

“…For the next decades, wind and solar photovoltaic power generation is predicted to have the largest growth rates among renewable energy systems. This includes…”
Get full text

Light robustness in the optimization of Markov decision processes with uncertain parameters by Buchholz, Peter, Scheftelowitsch, Dimitri

“…•For uncertain MDPs, we propose a trade-off between robust and optimistic policies.•In our approach, one specifies a bound for the robust performance…”
Get full text

Computation of weighted sums of rewards for concurrent MDPs by Buchholz, Peter, Scheftelowitsch, Dimitri

“…We consider sets of Markov decision processes (MDPs) with shared state and action spaces and assume that the individual MDPs in such a set represent different…”
Get full text

Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis by Buchholz, Peter, Blume, Andreas

“…Dynamic Fault Trees (DFTs) are a powerful and widely used class of models for reliability analysis of technical systems. They describe the relation between…”
Get full text

Material fatigue testing of a new intraureteral wire stent (Zebrastent) by Staios, Dimitrios, Patel, Mayur, Papatsoris, Athanasios, Almpanis, Stefanos, Birch, Malcom, Buchholz, Niels-Peter Noor

“…Ureteral stenting plays a vital role in urology but still entails complications such as migration, encrustation, and blockage. We present our experience with a…”
Get more information

Fitting correlated arrival and service times and related queueing performance by Buchholz, Peter, Kriege, Jan

“…In this paper, we consider a queue where the inter-arrival times are correlated and, additionally, service times are also correlated with inter-arrival times…”
Get full text

Colon perforation after percutaneous nephrolithotomy revisited by Noor Buchholz, Niels-Peter

“…Objective was to remind the reader of a rare but nevertheless serious complication of percutaneous nephrolithotomy (PCNL) which is further complicated by the…”
Get more information

Toward an analytical method for SLA validation by Buchholz, Peter, Vastag, Sebastian

“…Quantitative properties of modern software systems are often defined as a part of a service-level agreement (SLA) that fixes the maximal load to be submitted…”
Get full text

Real-Time Simulation of Robot Swarms with Restricted Communication Skills by Puzicha, Alexander, Buchholz, Peter

“…The paper presents a new approach and a related software environment for the parallel simulation of swarms of autonomous robots in real time. The software…”
Get full text

Numerical analysis of continuous time Markov decision processes over finite horizons by Buchholz, Peter, Schulz, Ingo

“…Continuous time Markov decision processes (CTMDPs) with a finite state and action space have been considered for a long time. It is known that under fairly…”
Get full text

Numerical analysis of rational processes beyond Markov chains by Buchholz, Peter

“…Matrix exponential distributions and rational arrival processes have been proposed as an extension to pure Markov models. The paper presents an approach where…”
Get full text

Product form approximations for communicating Markov processes by Buchholz, Peter

“…Product form solutions have been found for several classes of stochastic models including some networks of stochastic automata or communicating Markov chains…”
Get full text

Stationary analysis of a constrained Markov fluid model with two buffers by Buchholz, Peter, Mészáros, András, Telek, Miklós

Get full text

A multi-objective approach for PH-graphs with applications to stochastic shortest paths by Buchholz, Peter, Dohndorf, Iryna

“…Stochastic shortest path problems (SSPPs) have many applications in practice and are subject of ongoing research for many years. This paper considers a variant…”
Get full text