9 citations · 17 across the 4 of their papers we have counts for
4 papers
Deep learning for brake squeal: vibration detection, characterization and prediction
Merten Stender, Merten Tiedemann, David Spieler +3
Despite significant advances in modeling of friction-induced vibrations and brake squeal, the majority of industrial research and design is still conducted experimentally, since ma…
Model Checking CSL for Markov Population Models
David Spieler, Ernst Moritz Hahn, Lijun Zhang
Markov population models (MPMs) are a widely used modelling formalism in the area of computational biology and related areas. The semantics of a MPM is an infinite-state continuous…
Parameter Identification for Markov Models of Biochemical Reactions
Aleksandr Andreychenko, Linar Mikeev, David Spieler +1
We propose a numerical technique for parameter inference in Markov models of biological processes. Based on time-series data of a process we estimate the kinetic rate constants by…
Bounding the Equilibrium Distribution of Markov Population Models
Tugrul Dayar, Holger Hermanns, David Spieler +1
Arguing about the equilibrium distribution of continuous-time Markov chains can be vital for showing properties about the underlying systems. For example in biological systems, bis…